OpenAI опубликовала 722 математические рукописи, созданные закрытой моделью
Arkadiy Andrienko
В репозитории GitHub опубликованы 722 рукописи, объединённые в 372 тематические группы. Результаты создала внутренняя модель OpenAI, которую компания пока не выпустила и параметры которой не раскрыла.
Во время оценки модели ей предложили около 4 000 задач. В среднем получение одного результата занимало около трёх часов вычислений в ChatGPT Pro.
OpenAI предупредила, что результаты находятся на разных стадиях проверки. Не все из них сопровождаются формализованными доказательствами, а некоторые неформализованные доказательства могут содержать ошибки. В материале Gizmodo говорится, что среди ранее опубликованных 377 результатов одна статья заявляет о доказательстве формулы Бирча — Свиннертона-Дайера для ограниченного класса эллиптических кривых.
Консультативная группа по математике и искусственному интеллекту при Институте перспективных исследований призвала лаборатории перестать использовать закрытые модели для решения сложных математических задач. Представитель OpenAI Линдси Маккаллум Реми (Lindsay McCallum Rémy) рассказала, что рекомендации группы повлияли на публикацию результатов:
Рекомендации AGMAI и её публичные обращения повлияли на то, как мы публикуем результаты.
Как научному сообществу оценивать результаты закрытой модели, если часть её доказательств ещё не прошла проверку?
-
ИИ-программист OpenAI Codex переехал в облако и теперь работает, даже когда ноутбук закрыт -
«Самая мощная — не всегда лучшая»: OpenAI рассказала, как выбирать между GPT-6 Astra, Sol и Luna и как сэкономить на токенах -
Бывший сотрудник раскритиковал подход OpenAI к безопасности ИИ -
Агенты OpenAI отправили миллионы запросов к API Wikimedia и могли вызвать сбой Wikidata -
ChatGPT за $500 в месяц: OpenAI запустила тариф Pro 500 и вдвое урезала лимиты подписки за $200