Компания OpenAI объявила о трех научных достижениях своих ИИ-моделей в области математики, компьютерных наук и физики. Разработчик утверждает, что нейросети самостоятельно доказали сложные теории.
В математике ИИ доказал гипотезу о локальной гладкости для всех размерностей, что позволило решить гипотезы Какеи и ограничения Стейна. Ключом к результату стало построение вспомогательного дифференциального уравнения.
В сфере компьютерных наук система опровергла гипотезу экспоненциального времени (ETH). OpenAI опубликовала доказательства на GitHub, которые прошли формальную верификацию с помощью инструмента Lean.
В физике ИИ представил математическое доказательство существования квантовых теорий поля в четырехмерном пространстве, включая квантовую хромодинамику и теорию Янга-Миллса, входящую в список «проблем тысячелетия».
Результаты по математике и информатике прошли формальную проверку через Lean. Физическое доказательство сейчас проходит рецензирование экспертами, включая лауреатов Нобелевской премии.
