OpenAI сообщила, что невыпущенная внутренняя модель ИИ решила сотни открытых математических задач с помощью одного запроса. По данным NS3.AI, во вторник компания опубликовала на GitHub 722 рукописи, однако эта цифра относится к рукописям, а не к решённым задачам.
Представитель OpenAI заявил, что почти все результаты были получены с помощью одного запроса, поданного одному ИИ-агенту, хотя для некоторых из них, возможно, потребовалось несколько попыток. Математик из MIT Эндрю Сазерленд отметил, что заявления о единственном запросе и единственном агенте останутся неподтверждёнными, пока исследователи не получат доступ к модели и не смогут воспроизвести результаты.
Согласно каталогу формализаций репозитория, основные результаты лишь 162 рукописей прошли компьютерную проверку. OpenAI также предупредила, что в некоторых неформализованных результатах могут быть проблемы.
