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

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

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

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

Новини ШІ без хайпу — відібрані людьми

Підпишіться на THE DECODER, щоб читати без реклами, отримувати щотижневу розсилку про ШІ, наш ексклюзивний звіт про передові розробки «AI Radar» шість разів на рік, мати повний доступ до архіву та доступ до розділу коментарів.