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