AlphaProof Nexus от Google DeepMind решил десятки открытых математических задач и прошёл рецензирование
decoder ·
Новое исследование, опубликованное в журнале Science, показывает, что система AlphaProof Nexus от Google DeepMind успешно решила десятки открытых математических задач. Искусственный интеллект решил девять из 353 открытых проблем Эрдёша, включая две, которые оставались нерешёнными на протяжении 56 лет. Кроме того, он доказал 44 гипотезы из базы данных целочисленных последовательностей OEIS и разрешил открытую проблему алгебраической геометрии. Модель построена на базе Gemini 3.1 Pro и использует формальный язык Lean для пошагового составления и проверки доказательств. Для сложных подзадач она может использовать специализированный инструмент доказательства AlphaProof, хотя значимых результатов удалось достичь и без него. Этот строгий подход контрастирует с недавними скандалами, когда другие компании-разработчики ИИ выкладывали доказательства напрямую на GitHub без рецензирования. В ответ на призывы к бойкоту со стороны математиков DeepMind обеспечила традиционную академическую проверку своей работы.
decoder