OpenAI представила 722 рукописи с решениями математических задач

Что произошло

OpenAI опубликовала 722 рукописи с решениями давних математических задач. Их результаты получены передовой моделью, не выпущенной в общий доступ, и распределены по 372 семействам, объединяющим связанные исследования.

По словам AGMAI, независимой консультативной группы математиков, публикация включает решения сотен открытых вопросов. Ранее OpenAI не раскрывала, какие именно задачи были решены и когда появятся материалы.

Что известно о результатах

В опубликованных материалах представлены отдельные сведения о рассуждениях модели, оценках использованных вычислительных ресурсов и количестве рассмотренных задач. В сентябре OpenAI заявляла, что модель решила более 100 давних открытых проблем в большинстве областей математики.

Компания также утверждает, что средний результат потребовал вычислений, эквивалентных трём часам размышлений ChatGPT Pro.

Почему это важно

Заявленные достижения расширяют быстро растущий массив математических результатов OpenAI и других лабораторий, включая Anthropic. Математическому сообществу ещё предстоит оценить и осмыслить их полное значение.

AGMAI призвала лаборатории публиковать математические результаты оперативно и по возможности через академические каналы, раскрывая название модели, промпты и вычислительные затраты. Группа также рекомендовала не использовать такие публикации как маркетинговый инструмент.

Контекст

Стремительное освоение математики лабораториями ИИ, особенно особенности анонсов, вызвало споры о методах исследований, этике и признании вклада математиков, на чьих работах могут основываться системы.

Среди обсуждаемых результатов есть работы, связанные с задачей из списка Millennium Prize — одними из самых известных открытых вопросов математики.