AI и дата-центры
OpenAI заявила о трех результатах своих моделей в математике, информатике и физике и отдала их на внешнюю проверку
Публикация:
Компания опубликовала тексты по математике и информатике и формальные проверки в Lean, а материалы по физике пока удержала по просьбе научной группы.
OpenAI 26 октября объявила о трех результатах своих внутренних моделей: доказательстве гипотезы о локальном сглаживании в каждой размерности, опровержении гипотезы экспоненциального времени и доказательстве существования квантовых теорий поля в четырех размерностях, включая квантовую хромодинамику.
По математике речь идет о гипотезе, предложенной Согге в 1991 году. В 2019 году гипотезу доказали для двух размерностей, а в 2025 году гипотезу Какея доказали для трех размерностей. Новая работа, по заявлению OpenAI, закрывает обе задачи во всех размерностях.
Опровержение гипотезы экспоненциального времени модель нашла 16 октября, а формализацию в Lean завершила 17 октября. Проверкой займется группа во главе с Расселом Импальяццо, Рамомоханом Патури и Райаном Уильямсом, причем сами проверяющие подчеркнули, что их участие не является подтверждением результата.
По физике модели дали доказательство существования теорий в четырех размерностях, включая чистую теорию Янга-Миллса, которая входит в задачу из списка премий тысячелетия Института Клэя. Материалы по физике группа во главе с Дэвидом Гроссом пока удержала, чтобы подготовить собственное изложение.
OpenAI передала на поддержку исследований 5 млн долларов Фонду Саймонса и заявила, что не претендует на академическое авторство открытий своих моделей. Все три результата пока остаются непроверенными независимыми экспертами, и именно проверка теперь определяет их научную судьбу.