ОтветыОпубликовано21 источники
Почему OpenAI отозвала три математические работы, созданные ИИ
7 октября 2026 года OpenAI отозвала три рукописи после того, как ошибка со знаком нарушила ключевое доказательство о классах Вейля и поставила под вопрос две связанные работы. После обновления в каталоге осталось 719 рукописей в 372 тематических группах; ещё 14 работ исправили, а в 13 статьях сопровождениях обновили...
ОпубликовалОтредактировано с помощью GPT-6 LunaИзображения созданы с помощью GPT Image 2
Ответ на исследование
Ключевые выводы
- 7 октября 2026 года OpenAI отозвала три рукописи после того, как ошибка со знаком нарушила ключевое доказательство о классах Вейля и поставила под вопрос две связанные работы.
- После обновления в каталоге осталось 719 рукописей в 372 тематических группах; ещё 14 работ исправили, а в 13 статьях сопровождениях обновили ссылки.
Промпт ИИ
openai.comCreate a landscape editorial hero image for this Studio Global article: What led OpenAI to withdraw three of the 722 mathematics manuscripts it released on Oct. 6 in a public GitHub repository, how were these man. Article summary: OpenAI withdrew three manuscripts less than a day after releasing 722 AI-generated mathematics manuscripts on October 6, 2026. A sign error broke a proof about Weil classes, and two papers that relied on that proof could. Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
OpenAI отозвала три математические рукописи менее чем через сутки после публикации 722 работ, созданных внутренней моделью компании. В одной статье обнаружили ошибку со знаком: она разрушила ключевой аргумент, на который опирались ещё две работы. Этот случай напоминает: выложить математическую рукопись в открытый доступ — не то же самое, что независимо подтвердить её выводы. 24
35
Что именно опубликовала OpenAI
6 октября компания разместила на GitHub рукописи, созданные внутренней моделью, которая не была выпущена в публичный доступ. Работы распределили по 372 тематическим группам, или «семействам»: в них могут входить основная работа с результатом, сопутствующие аргументы, следствия и альтернативные доказательства. В сборник вошли материалы по алгебре, геометрии, информатике и другим областям. 1
35
38
Поэтому 722 рукописи — не 722 независимых результата. Некоторые из них опирались на аргументы и построения из других работ той же группы. Именно эта взаимосвязь стала важной для последующего отзыва. 1
24
Ошибка, затронувшая три работы
Проблема возникла в рукописи Algebraicity of Weil classes on split abelian eightfolds. В одном из ключевых рассуждений геометрической операции приписали знак +1, хотя согласно принятым в статье обозначениям должен был стоять −1. Из-за ошибки нарушилось рассуждение о взаимном сокращении слагаемых, на котором строилось доказательство. 21
24
27
На эту работу опирались ещё две: Algebraicity of Kuga–Satake Correspondences for K3 Surfaces и The rational Hodge conjecture for products of K3 surfaces. Когда исходный аргумент перестал работать, две зависимые работы лишились опоры для своих выводов, и OpenAI отозвала все три рукописи. Это означает, что не выдержали проверки доказательства в этих статьях, а не то, что сами затронутые гипотезы опровергнуты. 21
24
35
Что изменилось в каталоге
В обновлении от 7 октября OpenAI сообщила об отзыве трёх рукописей, исправлениях в 14 других работах и обновлении ссылок в 13 статьях-сопровождениях. В каталоге стало 719 рукописей вместо 722; число тематических групп осталось прежним — 372. 1
24
28
В репозитории и материалах OpenAI указано, что результаты находятся на разных этапах проверки и некоторые из них могут содержать ошибки. Компания также сообщала, что при подготовке публикации консультировалась с Консультативной группой по математике и искусственному интеллекту. Эти оговорки предлагают воспринимать сборник как материал для изучения и критики, а не как перечень окончательно подтверждённых открытий. 1
33
39
Что доказывает формализация в Lean — и чего не доказывает
Для части результатов опубликованы формализации в Lean — системе, которая позволяет компьютеру проверять математические доказательства, записанные в формальном виде. Однако опубликованные обзоры считают охват по-разному: один указывает, что в Lean формализованы около 300 из 719 основных результатов, другой — что формализация основного результата есть у 162 из 722 рукописей. Это разные способы подсчёта, и ни один из них не означает, что независимо проверено каждое утверждение в каждой соответствующей статье. 25
33
36
Консультации с экспертной группой и наличие формализованных доказательств — важный контекст для оценки публикации, но они не отменяют необходимости разбирать текст доказательства и точно определять, на какие утверждения оно распространяется. Отзыв трёх работ показал и другую важную вещь: если несколько статей используют один общий аргумент, ошибка в нём может затронуть сразу несколько рукописей. 24
33
39
Главный вывод: остальные работы тоже нужно проверять
Отзыв подтверждает, что конкретный аргумент не сработал, а две зависимые статьи не могли опираться на него. Но это само по себе не доказывает ошибочность остальных рукописей — как не подтверждает и их правильность. Каждый результат требует отдельной оценки: нужно проверять доказательство, его предпосылки и связи с другими работами. 1
21
35
Studio Global AI
Продолжайте свое исследование
На этой странице есть ответ, подтвержденный источником, который вы можете продолжить внутри Studio Global.
Люди также спрашивают
Каков краткий ответ на вопрос «Почему OpenAI отозвала три математические работы, созданные ИИ»?
7 октября 2026 года OpenAI отозвала три рукописи после того, как ошибка со знаком нарушила ключевое доказательство о классах Вейля и поставила под вопрос две связанные работы.
Какие ключевые моменты необходимо проверить в первую очередь?
7 октября 2026 года OpenAI отозвала три рукописи после того, как ошибка со знаком нарушила ключевое доказательство о классах Вейля и поставила под вопрос две связанные работы. После обновления в каталоге осталось 719 рукописей в 372 тематических группах; ещё 14 работ исправили, а в 13 статьях сопровождениях обновили ссылки.