OpenAI опубликовала новую партию математических результатов неизданной модели
OpenAI раскрыла 722 рукописи с решениями давних математических задач, созданные ещё не выпущенной передовой моделью. Независимая консультативная группа AGMAI сообщает, что среди них — решения сотен открытых вопросов.
Компания OpenAI обнародовала 722 рукописи с решениями ряда давно нерешённых математических задач. Их подготовила пока не выпущенная передовая модель. Работы разбиты на 372 семейства результатов, в каждое из которых входят связанные между собой статьи.
По данным AGMAI — недавно созданной независимой консультативной группы ведущих математиков, помогающей ответственно сообщать о таких результатах, — публикация включает решения «сотен» открытых вопросов.
Что известно о публикации
Результатов ждали уже несколько недель, однако до сих пор OpenAI не уточняла, какие задачи решила модель и когда материалы будут опубликованы. В сентябре компания заявляла, что модель «решила более 100 давно открытых проблем в большинстве областей математики». Теперь вместе со статьями опубликованы частичные сводки рассуждений модели, оценки затраченных вычислительных ресурсов и статистика по числу попыток решения. По утверждению OpenAI, для среднего результата потребовался эквивалент трёх часов «размышлений» ChatGPT Pro.
Материалы размещены в репозитории GitHub вместе с протоколами пересмотра и цитирования. Компания сообщает, что продолжает изучать возможность размещения в сообществе, которое соответствовало бы рекомендациям комитета.
Дискуссия об этике
AGMAI (Консультативная группа по математике и искусственному интеллекту) опубликовала первые рекомендации в конце сентября. Она призвала лаборатории ИИ публиковать математические результаты оперативно и, по возможности, через устоявшиеся академические каналы, раскрывая название модели, запросы и вычислительные затраты. Группа также просила не использовать такие публикации как маркетинговый инструмент, поскольку эта практика наносит значительный вред математическому сообществу.
Полное влияние результатов станет ясно не сразу: математикам предстоит их проверить и осмыслить. В этом году результаты получали и другие лаборатории, включая Anthropic, и часть из них касается одной из задач тысячелетия. Стремительный приход компаний ИИ в эту дисциплину вызвал острые споры о методах исследований, этике и признании вклада математиков-людей, на чьих работах строятся эти системы.
