OpenAI представила три ИИ-результата для проверки научным сообществом
OpenAI объявила о трёх результатах, полученных её моделями: доказательстве гипотезы локального сглаживания во всех размерностях, заявленном опровержении Exponential Time Hypothesis (ETH) и строгом существовании ряда четырёхмерных квантовых теорий поля, включая квантовую хромодинамику. Для математического и компьютерного результатов компания опубликовала текстовые выкладки и формализации в Lean; физические материалы пока переданы группе независимых специалистов.
Три способа раскрытия результатов
Компания называет вывод моделей «сырыми исследовательскими данными», которые ещё необходимо превратить в научное понимание. Поэтому для каждого направления выбран отдельный порядок работы с академическим сообществом.
Результат по гармоническому анализу OpenAI опубликовала сразу. По версии компании, модель получила доказательство 18 октября 2026 года, а на следующий день его формализовали в Lean. Оно касается гипотезы локального сглаживания, предложенной Согге в 1991 году, и, как утверждается, также разрешает гипотезу Какеи и гипотезу ограничения Штейна во всех размерностях. В основе подхода лежит новое вспомогательное уравнение в частных производных.
Для результата по теории сложности OpenAI собрала внешнюю группу, но одновременно открыла материалы для всех желающих. Текстовое опровержение ETH было получено 16 октября, а формализация в Lean завершена 17 октября. ETH связывает вычислительную сложность выполнимости булевых формул и широко использовалась для условных оценок сложности в теории графов, биоинформатике, базах данных и других областях.
Проверка ETH и физического доказательства
Разбирать утверждение об ETH будут Рассел Импальяццо и Рамамохан Патури из Калифорнийского университета в Сан-Диего, а также Райан Уильямс из MIT. Импальяццо, Патури и Фрэнсис Зейн сформулировали ETH, а Уильямс работал с усиленными вариантами этой гипотезы, результатами о сложности и связями между алгоритмами и нижними оценками.
Группа попросила открыть все исходные материалы для независимой проверки, а OpenAI согласилась профинансировать конференцию о значении работы для дисциплины. Компания отдельно подчёркивает, что опровержение гипотезы само по себе не означает появления быстрых практических алгоритмов: их поиск и перенос теоретических результатов в прикладные улучшения потребуют дальнейших исследований.
Третий результат касается конструктивной квантовой теории поля. OpenAI заявляет о строгом доказательстве существования взаимодействующих теорий с калибровочными полями и фермионами в четырёх измерениях, включая квантовую хромодинамику и единое расширение Стандартной модели. В работе также заявлено доказательство существования чистой теории Янга—Миллса, относящейся к задаче тысячелетия Clay Mathematics Institute.
Эту часть будут изучать Дэвид Гросс, Майкл Дуглас, Артур Джаффе, Игорь Клебанов и Никита Некрасов. Публикацию артефактов, созданных ИИ, группа решила отложить и сначала подготовить собственное изложение. OpenAI сообщает, что её модели создали текстовое доказательство для Янга—Миллса 9 сентября, для КХД — 18 сентября, а формализация существования Янга—Миллса в Lean была завершена 16 октября 2026 года.
Что означает новый порядок работы
Во всех трёх случаях участие внешних исследователей добровольное и неоплачиваемое, без соглашений о неразглашении. OpenAI заявляет, что не претендует на академическое авторство открытий моделей, а рабочие группы должны получить признание за проверку, объяснение результатов и подготовленные ими материалы.
Для бизнеса и исследовательских команд главный вывод состоит в том, что формальная проверка и открытые артефакты не отменяют экспертной оценки. Особенно для результатов, способных менять устоявшиеся теоретические предпосылки, важны независимое воспроизведение, понятное изложение и разделение ответственности между разработчиком ИИ и научным сообществом.