OpenAI опубликовала три научных достижения в математике и физике

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

Новая инициатива последовала менее чем через месяц после массового релиза сотен рукописей с решениями давних математических задач. Ключевой особенностью свежего проекта стало привлечение внешних экспертов, включая лауреата Нобелевской премии, в качестве «наставников» (shepherds), которые проверяют корректность выводов ИИ (The Decoder).

Среди представленных достижений — решение одной из «Задач тысячелетия», за которые математический институт Клэя назначает награду в $1 млн. Кроме того, доказательство в области информатики потенциально способно поставить под сомнение фундамент сотен существующих научных работ, если его корректность будет подтверждена.

В рамках релиза специалисты подготовили специализированные материалы, включая формализованные доказательства на языке Lean и открытые репозитории. Все наработки и сопутствующий код опубликованы на GitHub для независимой проверки исследователями.

Инициатива направлена на интеграцию языковых моделей в исследовательский процесс и проверку их возможностей в решении реальных задач теоретической науки. Полученные математические выкладки и физические модели доступны профильным специалистам для дальнейшего использования.