AlphaProof Nexus от DeepMind (на базе Gemini 3.1 Pro) решил десятки открытых задач по математике — статья в Science
Система DeepMind под названием AlphaProof Nexus, основанная на Gemini 3.1 Pro и работающая с доказательным ассистентом Lean (с возможностью обращения к специализированному модулю AlphaProof), формально доказала десятки открытых результатов: девять из 353 открытых задач Эрдёша (две из которых оставались неразрешёнными 56 лет), 44 гипотезы из OEIS, один открытый вопрос в алгебраической геометрии и улучшение оценки в min-max оптимизации; решения опубликованы онлайн и сопровождаются рецензируемой статьёй в журнале Science. DeepMind утверждает, что девять задач Эрдёша были решены и без использования специализированного AlphaProof.