AlphaProof Nexus от Google DeepMind решил десятки открытых математических задач и действительно прошёл рецензирование

ИИ Google DeepMind самостоятельно решил десятки нерешенных математических задач, говорится в новом исследовании в журнале Science. AlphaProof Nexus решил девять из 353 нерешенных задач Эрдёша, две из которых оставались нерешенными 56 лет. Команда опубликовала эти решения в интернете до выхода статьи.

Кроме того, AlphaProof Nexus доказал 44 гипотезы из базы данных целочисленных последовательностей OEIS, решил открытую задачу в алгебраической геометрии и улучшил известную оценку в минимаксной оптимизации — методе, используемом для обучения некоторых моделей ИИ. Система построена на базе Gemini 3.1 Pro, которая создает и редактирует доказательства на формальном языке Lean. Lean проверяет каждый черновик после каждого изменения, а сообщения об ошибках помогают в следующей попытке. Для более сложных подзадач система может обращаться к AlphaProof — специализированному инструменту для доказательств. Даже без AlphaProof система решила девять задач Эрдёша, сообщает Google DeepMind.

Исследование выходит на фоне ожесточенной дискуссии об ИИ в математике. Недавно OpenAI выложила сотни доказательств, созданных ИИ, на GitHub, вместо того чтобы отправить их в научные журналы. Ассоциация человеческой математики под руководством Теренса Тао призвала к бойкоту. DeepMind подвергла свою работу рецензированию.

Новости об ИИ без хайпа — отобраны людьми

Подпишитесь на THE DECODER, чтобы читать материалы без рекламы, получать еженедельную рассылку об ИИ, эксклюзивный фронтирный отчет «AI Radar» шесть раз в год, полный доступ к архиву и доступ к разделу комментариев.