OpenAI опубликовала 722 математические работы неанонсированной ИИ-модели
Компания OpenAI опубликовала на GitHub 722 математических манускрипта, созданных внутренней неанонсированной ИИ-моделью по единым запросам.
Публикация манускриптов и детали тестирования
Во вторник компания OpenAI выложила на GitHub 722 математических работы, разделенные на 372 семейств результатов. Представитель компании сообщил, что почти все материалы получены от единого запроса к одному ИИ-агенту, хотя на некоторые могло потребоваться несколько попыток. Всего было протестировано около 4 000 задач, а на создание среднего результата ушло примерно три часа вычислений ChatGPT Pro.
В репозитории представлены работы разного уровня значимости, включая одну задачу по Quasi-Riemann Hypothesis. Ранее на нашем сайте выходили материалы о том, что 7 октября 2026 года компания OpenAI запустила глобальное развертывание модели GPT-6 для всех, а также добавила в ChatGPT интерактивные графики и кнопки.
Проверка через софт Lean и скептицизм ученых
Лишь 162 работы из опубликованных 722 имеют компьютерную проверку основного результата через софт Lean, который механически проверяет каждый логический шаг. Сама компания OpenAI предупреждает, что некоторые неформализованные результаты могут содержать ошибки. Математики призывают относиться к заявлениям скептически, так как модель не была выпущена для независимой репликации результатов.
Профессор MIT Эндрю Сазерленд отметил, что заявления о решении задач с помощью одного агента остаются неподтвержденными. Кроме того, в релизе отсутствуют исходные промпты и название самой модели, раскрытия которых ранее рекомендовала консультативная группа из Института перспективных исследований.
Мнения экспертов и сложность верификации
Исследователи из Института перспективных исследований указали, что ИИ выдает математические аргументы, которые люди часто не могут понять, верифицировать или взять на себя ответственность за них. Некоторые ученые столкнулись со странными и непонятными формулировками, созданными нейросетью. В то же время другие исследователи называют событие важным шагом для математики, несмотря на необходимость детальной проверки.
В отличие от подхода Anthropic, которая ранее опубликовала все 13 миллионов строк доказательства Великой теоремы Ферма, репозиторий OpenAI пока не принимает запросы на слияние и имеет отключенные Issues. Компания пообещала добавлять Lean-формализации по мере их появления.
Аналитика
| Монета | Цена | 24 ч | 7 дней | Капитализация |
|---|---|---|---|---|
| Bitcoin BTC | $82 884 | −1,6% | −1,3% | $1,67 трлн |
| Ethereum ETH | $2 572 | −1,7% | −5,0% | $314,08 млрд |
Данные: CoinGecko
- На рынке криптовалют биткоин (BTC) торгуется по $82 884 с капитализацией $1,67 трлн, снизившись за сутки на 1,6% и за неделю на 1,3% при объеме торгов $37,76 млрд, находясь на отметке в 34,3% от своего исторического максимума.
- Ethereum (ETH) оценивается в $2 572 при капитализации $314,08 млрд и суточном объеме торгов $16,55 млрд, показав падение на 1,7% за 24 часа и на 5,0% за 7 дней, а расстояние до исторического максимума составляет 48,0%.
- Публикация новых технологических разработок и моделей OpenAI происходит на фоне текущей динамики крипторынка, непосредственно не влияя на котировки цифровых активов.
- Участникам рынка и исследователям следует следить за дальнейшими техническими аудитами опубликованных ИИ-математических работ, раскрытием исходных промптов и реакцией научного сообщества на верификацию данных через софт Lean.
Материал носит информационный характер и не является инвестиционной рекомендацией.
Источник: decrypt.co
Обсудить в Telegram
