Эти работы ставят под сомнение устоявшиеся теории и предоставляют новые доказательства для квантовой теории поля, включая квантовую хромодинамику (КХД).
В частности, "Астра" опровергла гипотезу об экспоненциальном времени, которая лежит в основе оценок сложности в теории графов, вычислительной биологии, баз данных и вычислительной геометрии. Для проверки этих открытий компания сформировала три независимые группы исследователей, которые проанализируют результаты и вынесут вердикт об их научной ценности.
Одно из доказательств связано с гипотезой о локальном сглаживании в гармоническом анализе, сформулированной Кристофером Согге в 1991 году. Гипотеза утверждает, что волны не могут бесконечно фокусироваться. Модели OpenAI доказали эту гипотезу для пространств любой размерности, что также решает гипотезу Какеи и гипотезу Стайна об ограничении.
Команда OpenAI формализовала доказательство с помощью системы Lean. На GitHub можно найти текст доказательства на естественном языке и его формализованную версию.
В области информатики модели OpenAI опровергли гипотезу об экспоненциальном времени (ETH), давнее предположение в теории вычислительной сложности. Этот результат может изменить подходы в теории графов, вычислительной биологии, базах данных и вычислительной геометрии, если он подтвердится.
Рассел Импальяццо и Рамамохан Патури, авторы гипотезы ETH, возглавят процесс проверки. Примечательно, что 26 октября Anthropic также опубликовала результаты по этой проблеме, полученные Claude.
В физике модели OpenAI доказали существование взаимодействующих теорий в четырехмерном пространстве, включая квантовую хромодинамику (КХД), которая описывает взаимодействие кварков и глюонов. Также затронута теория Янга — Миллса, важная задача тысячелетия, связанная с существованием квантовой теории Янга — Миллса и наличием «массовой щели».
Экспертная группа физиков под руководством Дэвида Гросса проверит и обоснует эти результаты. OpenAI выделила 5 млн долларов фонду Simons Foundation для организации семинаров и конференций для детального изучения работы и оценки ее научного значения.