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

6 октября OpenAI опубликовала 722 записи с решениями открытых математических задач, которые сгенерировала еще не выпущенная «передовая» модель.

Работы рассортировали в 372 группы связанных результатов. По словам независимых математиков, они включают в себя решения сотен открытых вопросов — то есть задач, которые до сих пор никто не доказал. Их выложили в открытый репозиторий на GitHub.

Задачи модель выполняла сама и относительно быстро. В сентябре OpenAI заявляла, что ИИ «справился с более чем 100 давних открытых проблем в большинстве областей математики». Модели уровня ChatGPT Pro дали около 4 000 задач, на одно решение в среднем уходило около трех часов. Что это за модель, OpenAI не уточняет: она внутренняя и ее пока не выпустили.

OpenAI утверждает, что ИИ среди прочего решил частный случай гипотезы Ходжа, гипотезу уникальных игр, гипотезу Римана, проблему изоморфизма факторов свободных групп и не только. В репозитории лежат доказательства и пересказы хода рассуждений модели для 10 отобранных результатов.

Но математики не в восторге от действий OpenAI. 29 сентября Консультативная группа по математике и ИИ при Институте перспективных исследований просила разработчиков не превращать публикацию результатов в маркетинг и «прекратить испытывать сложные математические задачи» на закрытых моделях.

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

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