Google DeepMind-ів AlphaProof Nexus розв'яв десятки відкритих математичних задач

Дев'ять задач Ердоша та 44 гіпотези

AI-система Google DeepMind, AlphaProof Nexus, самостійно розв'яла десятки відкритих математичних задач, що підтверджується рецензованим дослідженням, опублікованим у Science. Система розв'язала дев'ять із 353 відкритих задач Ердоша, дві з яких залишалися нерозв'язаними протягом 56 років.

Команда поділилася цими розв'язками онлайн до публікації статті. Крім задач Ердоша, AlphaProof Nexus довів 44 гіпотези з бази цілих числових послідовностей OEIS, розв'яв відкриту проблему в алгебричній геометрії та покращив відмежування в min-max оптимізації — техніці, що використовується для тренування деяких AI-моделей.

Як працює система

AlphaProof Nexus побудований на Gemini 3,1 Pro, яка створює та виправляє докази формальною мовою Lean. Lean перевіряє кожний ескіз після кожної зміни, а повідомлення про помилки запускають наступну спробу.

Для складніших підзадач система може звертатися до AlphaProof — спеціалізованого інструмента доказів. Google DeepMind заявляє, що навіть без AlphaProof система розв'язала б дев'ять задач Ердоша.

Рецензування на тлі дебатів про математику AI

Це дослідження опубліковане на тлі запальних дебатів про математику AI. Незадовго до цього OpenAI опублікувала на GitHub сотні доказів, згенерованих AI, замість того щоб представити їх у журналах. Асоціація людино-математиків під керівництвом Terence Tao закликала до бойкоту цього підходу.

DeepMind натомість пройшов рецензування своєї роботи, а результати були опубліковані в Science.

Джерела: The Decoder