OpenAI сообщила, что ее модели создали доказательства, которые могут повлиять на исследования в математике, информатике и квантовой теории поля. Заявленные результаты пока должны пройти независимую научную проверку.

Компания рассказала о трех отдельных исследовательских проектах. Они посвящены давним математическим гипотезам, сложности вычислений и математическим основам квантовых теорий поля.

OpenAI уже опубликовала доказательства по проектам в области математики и теории вычислений. Материалы, связанные с физикой, представят после отдельной оценки внешней группой исследователей.

Один из проектов посвящен гипотезе локального сглаживания в гармоническом анализе. Ее сформулировал Кристофер Согге в 1991 году. Гипотеза описывает поведение волн при концентрации в определенных областях и основана на предположении, что предельно сильное фокусирование не может сохраняться сколь угодно долго.

OpenAI утверждает, что ее модели доказали эту гипотезу во всех пространственных измерениях. По словам компании, результат также решает две другие важные задачи — гипотезу Какеи и гипотезу ограничения Штейна.

Предыдущие исследования уже позволили добиться значительного прогресса. В 2019 году Ларри Гат, Хун Ван и Жуйсян Чжан доказали гипотезу локального сглаживания в двух пространственных измерениях. В 2025 году Ван и Заль доказали трехмерную гипотезу Какеи.

Согласно OpenAI, новое доказательство было создано 18 октября 2026 года, а на следующий день формализовано с помощью Lean — системы, которая позволяет проверять математические аргументы компьютерными методами.

Компания опубликовала в GitHub доказательство на естественном языке и его формальную версию. Это дает другим математикам возможность проверить логику работы и оценить, выдерживает ли результат независимую экспертизу.

Второй проект связан с гипотезой экспоненциального времени (Exponential Time Hypothesis, ETH). Это одно из важных предположений в теории вычислительной сложности, касающееся трудности решения задач о булевой выполнимости. В таких задачах необходимо определить, существует ли набор значений, удовлетворяющий заданной логической формуле.

Гипотеза используется как основа для доказательств того, что ряд вычислительных задач невозможно решать достаточно быстро с помощью известных алгоритмов. На нее опираются сотни научных публикаций, в том числе в теории графов, вычислительной биологии, базах данных и вычислительной геометрии.

OpenAI заявила, что ее модели опровергли ETH. Результат был получен 16 октября 2026 года, а на следующий день доказательство формализовали в Lean.

Если это утверждение подтвердится, выводы множества научных исследований могут потребовать пересмотра. Однако опровержение ETH само по себе не означает автоматического появления более быстрых алгоритмов для решения всех соответствующих практических задач. Для определения конкретных последствий потребуется дополнительный анализ.

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

Третий проект посвящен математическим основам квантовой теории поля. OpenAI сообщает, что ее модели создали доказательства существования взаимодействующих теорий с калибровочными полями и фермионами в четырех измерениях.

В их число входит квантовая хромодинамика (QCD) — теория, описывающая сильное взаимодействие между кварками и глюонами. Это одно из четырех фундаментальных взаимодействий природы, благодаря которому кварки объединяются в такие частицы, как протоны и нейтроны.

Исследование также охватывает чистую теорию Янга—Миллса, связанную с одной из задач премии «Миллениум» Института Клея. Она требует строгого математического доказательства существования квантовой теории Янга—Миллса и так называемой массовой щели — фундаментального свойства, связанного с энергетическим спектром теории.

В отличие от математического проекта и исследования в области теории вычислений, материалы по физике пока не представлены в том же формате. Внешнюю группу возглавит физик Дэвид Гросс. В нее также войдут Майкл Дуглас, Артур Джаффе, Игорь Клебанов и Никита Некрасов.

Группа подготовит собственное объяснение результатов, после чего будут опубликованы материалы, созданные с помощью моделей OpenAI.

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

Если доказательства пройдут независимую проверку, они могут повлиять сразу на несколько научных областей. Пока главным вопросом остается то, подтвердят ли другие ученые заявления OpenAI и какими окажутся последствия для существующих теорий.