Компания OpenAI представила три масштабных научных результата, полученных с помощью искусственного интеллекта 27 октября 2026 года. Нейросети за один день доказали ложность гипотезы экспоненциального времени в информатике, вывели локально-сглаженную гипотезу для всех размерностей и построили строгие математические основания для квантовой хромодинамики.
Опровержение гипотезы экспоненциального времени в компьютерных науках
В конце девяностых годов XX века исследователи Рассел Импальяццо, Рамамохан Патури и Фрэнсис Зэйн сформулировали гипотезу экспоненциального времени, известную как ETH. Этот постулат утверждал, что задачи вроде 3-SAT невозможно решить в субоспоненциальное время. На протяжении трех десятилетий данное предположение служило фундаментом для сотен научных работ в области теории сложности вычислений, теории графов и баз данных.
Система OpenAI доказала, что эта 30-летняя аксиома ошибочна. Модель сформировала опровержение за сутки, получив 16 октября естественное языковое опровержение, а на следующий день завершив формализацию в системе Lean, как сообщает Traeai. Создатели гипотезы Рассел Импальяццо и Рамамохан Патури вместе с теоретиком из Массачусетского технологического института Райаном Уильямсом возглавили внешнюю группу экспертов, которая занялась проверкой этих выводов.
Доказательство гипотезы в геометрии и математическом анализе
В области чистой математики модель справилась с задачей, связанной со знаменитой столетней гипотезой Какая, также известной как задача о вращении иглы. В начале 2025 года китайский математик Ван Хунг вместе с Джошуа Захлой добился признания, доказав трехмерную версию этой гипотезы. Теперь искусственный интеллект продвинулся дальше, доказав более фундаментальное утверждение.
Разработанный алгоритм применил новую вспомогательную дифференциальную форму в частных производных для доказательства локально-сглаженной гипотезы Кристофера Согге, выдвинутой в 1991 году для всех пространственных размерностей. Успех в этом вопросе автоматически означает решение гипотезы Какая и гипотезы Ограничения Стейна во всех размерностях. Материалы получили математическое оформление за один день после генерации 18 октября.
Применение искусственного интеллекта в квантовой физике
Третье направление затронуло теоретическую физику и квантовую хромодинамику. Модель построила строгие математические доказательства существования определенных квантовых полей, включающих калибровочные поля и фермионы в четырехмерном пространстве-времени. Сюда вошла квантовая хромодинамика и варианты единой теории Стандартной модели, а также чистая теория Янга — Миллса, которая входит в число задач тысячелетия.
Для оценки физических выкладок привлечен комитет под руководством нобелевского лауреата 2004 года Дэвида Гросса, открывшего асимптотическую свободу в сильных взаимодействиях. В состав экспертной группы вошли Майкл Дуглас, Артур Джаффе, Игорь Клебанов и Никита Некрасов. Из-за огромного объема данных физики пока изучают материалы в закрытом режиме, намереваясь самостоятельно подготовить итоговые научные публикации.
Новая модель сотрудничества с научным сообществом
Для поддержки независимой проверки учеными результатов через Фонд Саймонса выделено 5 миллионов долларов, а общая сумма ресурсов с учетом фондов Anthropic достигла 15 миллионов долларов.
По теме
