Масштаб прорыва: 722 работы за один промпт
6 октября 2026 года лаборатория OpenAI выложила в открытый доступ результаты работы своей внутренней frontier-модели. ИИ сгенерировал 722 рукописи (позже 719 после изъятия трех без формальных доказательств в Lean), сгруппированных в 372 семейства. Среди них — решения 90 из 500 самых сложных открытых проблем математики по классификации Proof of Atlas.
Ключевая деталь: все это было сделано одной моделью (предположительно той же, что доказала гипотезу Навье-Стокса) на основе одного промпта, требующего полного решения даже для открытых задач. На каждое решение ушло в среднем 3 часа вычислений. Модели не требовалось «максимально усердствовать» — она просто пробовала свои силы примерно в 4000 задачах.
Ключевые математические достижения
Результаты охватывают фундаментальные области, от алгебраической геометрии до квантовой информации. Вот самые значимые прорывы:
| Проблема / Область | Суть результата | Значимость |
|---|---|---|
| Гипотеза Римана (Quasi-RH) | Получен «полоса без нулей» (zero-free strip), значительно сужающая область возможных нулей дзета-функции. | Аналогично решению человеческими усилиями дало бы две медали Филдса. Критично для криптографии и теории чисел. |
| Умножение матриц | Экспонент умножения матриц снижен до 2.25 (предыдущий рекорд ~2.37). | Теоретический прорыв, сравнимый с рекордом Боба Бимона в прыжках в длину. Может революционизировать вычислительную мощность. |
| Умножение целых чисел | Асимптотическое улучшение сложности умножения целых чисел. | Шокирующий результат, ранее считавшийся труднодостижимым барьером. |
| Уникальные игры (Unique Games) | Новые ограничения для NP-трудных задач. | Близко к проблеме P vs NP, раскрывает фундаментальные пределы вычислений. |
| Гипотеза Ходжа и Бирча-Свиннертон-Дайера | Решения в алгебраической геометрии и теории чисел. | Вторые по значимости результаты после гипотезы Римана в данном наборе. |
| Гипотеза Хадвигера | Пересмотр фундаментальных отношений в теории графов. | Один из самых шокирующих результатов, опровергающий устоявшиеся представления. |
Практическое применение и реакция сообщества
Хотя многие результаты носят теоретический характер, уже сейчас прогнозируются приложения в термоядерном синтезе, портативных сканерах тела, квантовых сенсорах и системах безопасности для автономных роботов. Алекс Конторович (Alex Kontorovich) отметил, что решение Quasi-RH позволило бы быстро вычислять квадратные корни по модулю простого числа без использования случайности.
Реакция математического сообщества была мгновенной, но медийно заторможенной. Алекс Контрович назвал 6 октября «очевидно самым значимым моментом в истории математики». Однако, в отличие от запуска «Спутника» в 1957 году, который стал глобальным шоком, новость об открытиях OpenAI не попала на первые полосы ведущих изданий, таких как New York Times, так как журналисты не до конца осознали масштаб события.
Почему это важно для аудитории
Событие 6 октября 2026 года стало точкой невозврата. ИИ перешел от генерации гипотез к созданию строгих, верифицируемых математических доказательств высочайшей сложности. Для исследователей это означает конец эры ручного решения базовых открытых проблем. Для индустрии — начало новой гонки за коммерциализацию алгоритмических прорывов, особенно в области оптимизации вычислений (умножение матриц) и криптографии.
Источник: LessWrong ↗