OpenAI объявила о трех научных прорывах в области ИИ

Согласно данным Jinshi, OpenAI объявила о трех прорывах своих AI моделей в области математики, компьютерных наук и физики, продемонстрировав способность AI независимо открывать и доказывать сложные научные теории, а не просто отвечать на вопросы или помогать в исследованиях.

В математике AI доказал локальную гладкость гипотезы, применимой ко всем измерениям, и тем самым решил гипотезу Какеи и гипотезу ограничений Стейна. В области компьютерных наук AI опроверг давно общепринятое предположение о экспоненциальном времени, что означает, что в будущем могут быть найдены более быстрые алгоритмы. В физике AI предложил строгие математические доказательства существования квантовой хромодинамики и теории Янга–Миллса, что связано с одной из семи математических задач тысячелетия.

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