Новые открытия OpenAI

• OpenAI заявила о трех новых ИИ-открытиях в математике, информатике и квантовой физике. • Работы ставят под сомнение устоявшиеся теории и приводят новые доказательства для квантовых теорий поля.

Математические открытия

• Модели OpenAI опровергли гипотезу об экспоненциальном времени в теории графов и вычислительной биологии. • Доказана гипотеза о локальном сглаживании для пространств любой размерности, что решает гипотезы Какеи и Стайна. • Доказательство формализовано с помощью системы Lean и доступно на GitHub.

Открытия в информатике

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

Открытия в физике

• Модели OpenAI получили доказательства существования взаимодействующих теорий в четырехмерном пространстве, включая КХД и теорию Янга — Миллса. • Экспертная группа физиков под руководством Дэвида Гросса подготовит обоснование результатов.

Реакция и дальнейшие действия

• OpenAI сформировала три группы исследователей для проверки открытий. • Компания выделила 5 млн долларов фонду Simons Foundation для организации научных семинаров и конференций. • В сентябре OpenAI заявила о решении уравнений Навье — Стокса, что вызвало недовольство математического сообщества.