OpenAI опубликовала 722 математические рукописи, созданные закрытой моделью

В репозитории GitHub опубликованы 722 рукописи, объединённые в 372 тематические группы. Результаты создала внутренняя модель OpenAI, которую компания пока не выпустила и параметры которой не раскрыла.

Во время оценки модели ей предложили около 4 000 задач. В среднем получение одного результата занимало около трёх часов вычислений в ChatGPT Pro.

OpenAI предупредила, что результаты находятся на разных стадиях проверки. Не все из них сопровождаются формализованными доказательствами, а некоторые неформализованные доказательства могут содержать ошибки. В материале Gizmodo говорится, что среди ранее опубликованных 377 результатов одна статья заявляет о доказательстве формулы Бирча — Свиннертона-Дайера для ограниченного класса эллиптических кривых.

Консультативная группа по математике и искусственному интеллекту при Институте перспективных исследований призвала лаборатории перестать использовать закрытые модели для решения сложных математических задач. Представитель OpenAI Линдси Маккаллум Реми (Lindsay McCallum Rémy) рассказала, что рекомендации группы повлияли на публикацию результатов:

[cit=Линдси Маккаллум Реми, представитель OpenAI]Рекомендации AGMAI и её публичные обращения повлияли на то, как мы публикуем результаты.

Как научному сообществу оценивать результаты закрытой модели, если часть её доказательств ещё не прошла проверку?