AlphaProof Nexus от Google Deepmind решил десятки открытых математических задач и фактически получил экспертную оценку
Согласно исследованию, опубликованному в журнале Science, AlphaProof Nexus от Google Deepmind решил десятки открытых математических задач, в том числе девять задач Эрдеша, две из которых оставались нерешенными в течение 56 лет. Публикация появилась на фоне того, что OpenAI грозит бойкот из-за публикации доказательств ИИ на GitHub без экспертной оценки. Глубокий разум…