答え公開済み21 ソース
OpenAIが数学論文3本を撤回した理由 鍵は「＋1」と「−1」の取り違え
OpenAIは2026年10月7日、数学原稿722本の公開から1日足らずで3本を撤回。1本の論文で、本来「−1」とすべき符号を「＋1」とした誤りが、中心的な論証と依存する2本に影響しました。 更新後のカタログは372のファミリーに属する719本。OpenAIはほかに14本を改訂し、関連する13本の引用情報を更新しました。
公開者GPT-6 Luna で編集GPT Image 2 で画像を生成
研究の答え
重要なポイント
- OpenAIは2026年10月7日、数学原稿722本の公開から1日足らずで3本を撤回。1本の論文で、本来「−1」とすべき符号を「＋1」とした誤りが、中心的な論証と依存する2本に影響しました。
- 更新後のカタログは372のファミリーに属する719本。OpenAIはほかに14本を改訂し、関連する13本の引用情報を更新しました。
AI プロンプト
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は10月6日、社内の未公開モデルが作成した数学原稿722本をGitHubで公開しました。しかし翌7日、うち3本を撤回。1本の論文にあった符号の誤りで中心的な論証が成り立たなくなり、その議論に依存する2本も支えを失いました。原稿を公開することと、数学的な主張を独立に検証することは同じではありません。24
35
何が公開されたのか
公開された原稿は、代数、幾何、コンピューターサイエンスなど幅広い分野を扱っています。OpenAIはこれらを372の「ファミリー」に分類しました。ファミリーとは、主となる結果に加え、関連する議論や帰結、別証明などをまとめた単位です。1
35
38
そのため、722本が722個の独立した結果を意味するわけではありません。同じファミリー内の原稿が、共通する議論や構成に依存している場合があります。今回の撤回は、そのつながりが重要になるケースでした。1
24
符号の誤りが3本に波及
発端となったのは 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 の2本です。土台となる議論が成立しなくなったため、OpenAIは3本をまとめて撤回しました。撤回が示すのは論文の証明に問題があったということであり、扱っていた予想そのものが否定されたという意味ではありません。21
24
35
更新履歴に記された修正
10月7日の更新では、3本の撤回に加え、別の14本の改訂と、関連する13本の原稿での引用情報の更新が報告されました。カタログは722本から719本に減りましたが、372ファミリーの構成は維持されています。1
24
28
リポジトリとOpenAIの公開資料は、原稿ごとに検証の段階が異なり、誤りが含まれる可能性もあると説明しています。またOpenAIは、数学と人工知能に関するアドバイザリーグループとの協議を、成果の共有方法を検討する際の参考にしたとしています。したがって、この原稿群は確定した発見というより、検証を受ける研究成果として読む必要があります。1
33
39
Leanの形式化で確認できること、できないこと
原稿の一部にはLeanによる形式化が添えられています。Leanは、形式化された数学の証明をコンピューターで検査するための証明支援系です。ただし、報告されている形式化の数は集計単位が異なります。ある概要は719件の主要結果のうち約300件を形式化済みと数え、別の資料は722本の原稿のうち主結果の形式化があるものを162本としています。母数と数え方が違うため、どちらの数字も「該当する論文の主張すべてが独立に検証済み」という意味にはなりません。25
33
36
アドバイザリーグループとの協議や、形式化された証明の存在は、公開資料を評価するうえでの参考情報です。それだけで、文章による議論や各主張の適用範囲を確認する必要がなくなるわけではありません。今回の撤回は、複数の原稿が共有する議論を点検することの大切さも示しました。24
33
39
残る原稿も、個別に検証が必要
今回確認されたのは、特定の論証が成り立たず、それに依存する2本の原稿もその論証を根拠にできなくなったということです。残る原稿が誤りだと証明されたわけではありませんし、正しいと確認されたわけでもありません。それぞれの結果について、証明の内容や前提、関連する原稿への依存関係を個別に確かめる必要があります。1
21
35
Studio Global AI
研究を続けてください
このページにはソースに裏付けされた回答が含まれており、Studio Global 内で続行できます。
人々も尋ねます
「OpenAIが数学論文3本を撤回した理由 鍵は「＋1」と「−1」の取り違え」の短い答えは何ですか?
OpenAIは2026年10月7日、数学原稿722本の公開から1日足らずで3本を撤回。1本の論文で、本来「−1」とすべき符号を「＋1」とした誤りが、中心的な論証と依存する2本に影響しました。
最初に検証する重要なポイントは何ですか?
OpenAIは2026年10月7日、数学原稿722本の公開から1日足らずで3本を撤回。1本の論文で、本来「−1」とすべき符号を「＋1」とした誤りが、中心的な論証と依存する2本に影響しました。 更新後のカタログは372のファミリーに属する719本。OpenAIはほかに14本を改訂し、関連する13本の引用情報を更新しました。