Компания OpenAI сообщила, что ее ИИ-модели опровергли гипотезу об экспоненциальном времени (ETH), сформулированную в 1999 году. Гипотеза утверждает, что задачу 3-SAT невозможно решить за субэкспоненциальное время. Для проверки результатов разработчик привлек независимых ученых, включая авторов ETH и нобелевского лауреата Дэвида Гросса.
В области математики системы OpenAI доказали гипотезу локального сглаживания Кристофера Согге от 1991 года. По заявлению компании, это влечет за собой доказательство гипотез Какея и Штейна во всех размерностях. Соответствующие материалы были формализованы в Lean 19 октября и опубликованы в открытом доступе для изучения научным сообществом.
В теоретической физике модели построили доказательства существования квантовых теорий поля в четырехмерном пространстве-времени, включая квантовую хромодинамику и теорию Янга — Миллса. Формализация доказательства теории Янга — Миллса завершилась 16 октября. Работу изучает группа экспертов под руководством Дэвида Гросса.
OpenAI изменила подход к публикации научных результатов после критики со стороны исследователей. Компания заявила, что участие ученых в проверке данных является добровольным и неоплачиваемым, а сами специалисты свободны в публикации выводов. OpenAI подчеркнула, что не претендует на признание научных заслуг за открытия, полученные с помощью ИИ.
