ИИ OpenAI заявил три научных открытия, их проверяют учёные

Модель, которую OpenAI держит внутри компании, по её словам, справилась с тремя задачами, над которыми учёные бились десятилетиями: в информатике, математике и физике. Самое громкое заявление касается физики элементарных частиц, это часть одной из семи задач тысячелетия, за каждую из которых обещан миллион долларов. Пока это заявление самой компании: доказательства только передали учёным на проверку.

Что случилось?

26 октября 2026 года OpenAI опубликовала три результата своей модели. Модель внутренняя, пользователям она недоступна. Для каждого результата компания позвала внешних учёных, которые разберут доказательство и объяснят его остальным. Академических заслуг за открытия OpenAI, по её словам, не просит, а учёные работают бесплатно и без соглашений о неразглашении.

Что такое гипотеза экспоненциального времени?

Есть задачи, где компьютеру нужно подобрать значения так, чтобы выполнились все условия логической формулы. Похоже на судоку с тысячами клеток. Гипотеза экспоненциального времени (по-английски ETH) говорит, что такие задачи нельзя решить заметно быстрее перебора: с каждой новой переменной время растёт как снежный ком.

В гипотезу почти все верили, и на ней построены сотни научных работ вида «эту задачу нельзя решить быстро». OpenAI заявляет, что модель нашла алгоритм, который считает решения таких формул быстрее, и тем самым опровергла гипотезу. Доказательство проверено программой Lean и выложено на GitHub. Его разберёт группа во главе с Расселом Импальяццо и Рамамоханом Патури, которые сами предложили эту гипотезу, и Райаном Уильямсом из MIT.

Программы на телефоне от этого быстрее не станут. Сама OpenAI пишет, что превратить результат в практические ускорения ещё предстоит долгим исследованиям.

Что доказано в математике?

Второй результат про то, как ведут себя волны, когда сходятся в одну точку. В 1991 году математик Согге предположил, что самая сильная фокусировка волны длится недолго. Из этой гипотезы следуют ещё две известные, в том числе гипотеза Какеи о множествах, где помещается отрезок, направленный в любую сторону.

Люди доказали эти утверждения только для частных случаев: для волн на плоскости в 2019 году, гипотезу Какеи для трёхмерного пространства в 2025 году. OpenAI заявляет, что модель доказала их для пространства любой размерности. Текст доказательства и проверку в Lean компания выложила на GitHub, чтобы математики разбирали его сами.

При чём тут задача тысячелетия?

Третий результат из физики. Квантовая хромодинамика описывает, как кварки и глюоны склеиваются в протоны и нейтроны. Физики пользуются ею полвека, но строго, на языке математики, существование такой теории не доказано. Модель, по словам OpenAI, это доказала для квантовой хромодинамики, для теории Янга–Миллса и для простейшей теории великого объединения, которая включает Стандартную модель частиц.

Существование теории Янга–Миллса входит в задачу тысячелетия Математического института Клэя. OpenAI называет свой результат частью этой задачи, а не её решением. Материалы пока не опубликованы: группа во главе с нобелевским лауреатом Дэвидом Гроссом решила сначала сама написать работу.

Можно ли этому верить?

Пока рано. В начале октября OpenAI выложила сотни математических работ своей модели, а через день отозвала три из них из-за ошибки в одном знаке. Тогда проверку в программе Lean прошли меньше половины работ.

Проверка в Lean сильнее: программа не пропустит неверный шаг. Но она подтверждает, что доказано именно то, что записали в программе. Если условие задачи записано неточно, ошибка останется. Поэтому вердикт вынесут учёные, и это займёт месяцы.

Что это значит для вас?

Пользоваться этой моделью нельзя, ни в ChatGPT, ни через API. Но если результаты подтвердятся, это будут одни из самых крупных научных результатов ИИ. Мы проследим за проверкой и напишем, что скажут учёные. Если ИИ нужен вам для обычной работы, начните с обзора нейросетей 2026 года.

Для тех, кто любит цифры

ETH здесь гипотеза экспоненциального времени, КХД квантовая хромодинамика. Доказательство для теории Янга–Миллса модель, по данным OpenAI, написала 9 сентября, проверку в Lean закончили 16 октября. Ещё компания обещает оплатить конференцию по результату про гипотезу экспоненциального времени и раньше выделила 5 миллионов долларов Фонду Саймонса на изучение научных результатов ИИ.

Источники: Working with academic communities to build scientific understanding, OpenAI; репозиторий openai/math на GitHub.