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

OpenAI объявила о трёх крупных прорывах своих ИИ-моделей в трёх областях — математике, информатике и физике, впервые продемонстрировав способность ИИ самостоятельно открывать сложные научные теории и строго их доказывать, что выходит далеко за рамки обычных вопросов и ответов или вспомогательных исследовательских задач. В области математики модель успешно доказала локальную гладкую гипотезу для произвольных измерений и, опираясь на это доказательство, решила гипотезу Какея и гипотезу ограничения Штейна. В области информатики модель опровергла гипотезу экспоненциального времени, долгое время считавшуюся базовым предположением, и открыла совершенно новые пути для разработки более эффективных алгоритмов. В области физики модель построила строгие математические доказательства существования квантовой хромодинамики и теории Янга–Миллса — эта задача включена в список семи математических проблем тысячелетия, опубликованных Институтом Клэя. Согласно данным Jinti, OpenAI уже завершила формальную верификацию результатов в математике и информатике с помощью инструмента математической проверки Lean и одновременно опубликовала все материалы доказательств.