ИИ закрывает задачи, над которыми математики сидели годами: две команды решили одну проблему с разницей в 3 часа
Две независимые команды решили одну и ту же открытую проблему квантовой криптографии — неклонируемое шифрование — и залили препринты на arXiv в один день с разницей в 3 часа 18 минут. С одной стороны Сеюн Рагаван, аспирант третьего года из MIT. С другой — Прабханджан Анант (UC Santa Barbara) и Амит Сахаи (UCLA). Задача не поддавалась с 2019 года, когда Анна Бродбент и Себастьен Лорд сформулировали её современную постановку. Обе команды дожали её с помощью GPT-5.6 Sol Ultra.
Что за задача
Неклонируемое шифрование опирается на квантовую физику: зашифрованное сообщение нельзя разделить на две рабочие копии так, чтобы обе потом расшифровались. Звучит как трюк, но это фундамент для схем, где утечка ключа физически не даёт злоумышленнику размножить доступ. Для сообщества квантовой криптографии это был вызов последние несколько лет — и вдруг он падает дважды за одно утро.
Две разные тактики работы с моделью
Рагаван вёл модель вручную: запускал двухчасовыми подходами, читал промежуточный результат и разворачивал рассуждение в нужную сторону. Анант и Сахаи пошли иначе — натравили на выданные решения собственный «критик», внутреннюю систему UCLA, которая разносит кандидатов в доказательства до того, как в них поверит человек. Модель при этом выдала и конструкцию, и ключевые идеи доказательства.
«Теперь общее правило: услышал про открытую задачу — первым делом проверь, решит ли её GPT», — говорит Анант. Рагаван честнее насчёт масштаба перемен: «то, как я веду исследования сейчас, не имеет ничего общего с тем, что было два месяца назад». От идеи до готовой работы у него ушло две недели и один день.
Днём раньше: OpenAI Astra
За сутки до этого OpenAI показала Astra — не одну модель, а рой координирующихся агентов под длинные задачи. Он закрыл 10 проблем, открытых минимум десять лет: опроверг гипотезу Конна о жёсткости (стоит с 1980-го), доказал гипотезу Эрхарта об объёме, снял три задачи из каталога Эрдёша, зашёл в упаковку многомерных сфер, бинарные коды и сложность задачи ближайшего вектора — а это уже напрямую про стойкость решёточной криптографии.
Главное здесь не список, а форма отчёта: 249 страниц выкладок плюс формализованные доказательства в Lean 4, выложенные на GitHub под Apache 2.0, без единого «sorry». На языке формальной верификации это значит, что каждый шаг проверен машиной, а не принят на слово. Все вычисления обошлись примерно в 2000 долларов по API-расценкам.
Почему это перелом, а не разовый трюк
Смотреть надо на каталог проблем Эрдёша, который математик Томас Блум собрал в 2023 году. С 2024 года 111 задач переехали из «открытых» в «решённые»; сейчас счёт 565 решённых против 652 открытых. Это уже не единичные победы, а поток.
И математики расколоты. Тим Гауэрс (Кембридж, Коллеж де Франс): «написал бы эту статью человек — я бы рекомендовал её к публикации». Нога Алон из Принстона реагирует ровно наоборот: «раз ИИ начал их решать, в них больше нет смысла». Сам Блум смотрит с третьей стороны — работы прилетают быстрее, чем люди успевают их читать, и уже были случаи «решений» задач, которые Эрдёш закрыл ещё в 1977 году.
Осадок
Настоящей проверки пока нет: результаты Astra не проходили рецензирование, а Международный союз математиков ещё в июне прямо обвинил ИИ-компании в использовании опубликованных исследований без согласия авторов и в обходе peer review. Плюс отдельный вопрос, который подняли обе крипто-команды: если у всех один и тот же инструмент, что теперь считать независимым открытием? Обе группы уже обсуждают объединение работ.
Источник: Quanta Magazine · The Decoder · SiliconANGLE
Больше новостей: НЕЙРО-ПУШКА ● Новости и обзоры нейросетей





