AlphaProof Nexus розв’язала десятки відкритих математичних задач, а дослідження пройшло рецензування

ШІ Google DeepMind самостійно розв’язав десятки відкритих математичних задач, ідеться в новому дослідженні в журналі Science. Система AlphaProof Nexus знайшла розв’язки для дев’яти з 353 відкритих задач Ердеша; дві з них залишалися нерозв’язаними 56 років. Команда опублікувала результати своїх досліджень в мережі ще до виходу статті.

Крім того, AlphaProof Nexus довела 44 гіпотези з бази цілих послідовностей OEIS, розв’язала відкриту задачу в алгебраїчній геометрії та покращила відому оцінку в оптимізації методом «мін-макс» — методі, який застосовують для навчання деяких моделей ШІ. Система побудована на Gemini 3.1 Pro: модель створює й редагує доведення формальною мовою Lean. Після кожного редагування Lean перевіряє доведення, а повідомлення про помилки спрямовують наступну спробу. Для складніших підзадач система може залучати спеціалізований інструмент доведення AlphaProof. За даними Google DeepMind, навіть без AlphaProof система розв’язала дев’ять задач Ердеша.

Дослідження з’явилося на тлі гострих дискусій про застосування ШІ в математиці. Нещодавно OpenAI опублікувала на GitHub сотні доведень, створених ШІ, замість того, щоб подати їх до наукових журналів. Асоціація людської математики, яку очолює Теренс Тао, закликала до бойкоту. DeepMind натомість подала свою роботу на рецензування.

Нагадаємо, aрхітектури суміші експертів активують лише частини нейромережі, релевантні для конкретного завдання, що зменшує обчислювальні витрати.