OpenAIは最初の論文の証明で符号の誤りを見つけ、公開数学コレクションから関連する論文3本を取り下げた。同社の repository historyは10月7日付の記録で、ほかの14本の論文の改訂と、さらに13本の参考文献の更新も記している。3件の取り下げ通知の日付はいずれも10月6日だ。通知が示すのは証明の欠落であり、数学的命題の反証ではない。

大きな変化

  • 何が変わったか： OpenAIは3本の論文を取り下げ通知に置き換えた。同社によると、最初の論文で使われた相殺の手順に符号の誤りがあり、残る2本が依拠する構成にも影響した。
  • なぜ重要か： これらの特定の主張を引用したり、その上に研究を重ねたりする人は、明確な通知と調べられるアーカイブ版を得た。公開されていたというだけで、元の証明を確立済みと扱うことはできない。
  • 今後の注目点： リポジトリは以前の版を保存し、改訂を記録するとしている。独立した審査では修正された各命題と証明を検討する必要があり、変更履歴だけでコレクションの残りが健全だとは判断できない。

証明が止まった箇所

最初に取り下げられた論文「 Algebraicity of Weil classes on split abelian eightfolds」は、特定のアーベル多様体の設定で代数性の結果を確立すると主張していた。その withdrawal notice は、論文独自の符号付き二重点の規約で問題を説明している。証明は個数の計算から始まり -m、ここで m は正である。各 m 逆安定化トレースに符号 +1を割り当て、個数がゼロに相殺されるように見せていた。OpenAIは現在、標準カスプの2つの枝で向きが逆であるため、各トレースの符号は -1 だとしている。この説明では個数は -2mとなり、ゼロではない。

この箇所で使われた相殺定理には、符号付き二重点の個数がゼロであることが必要だ。OpenAIによると、そのため証明は後続の向き付き手術と埋め込みブレーンの構成を裏付けず、論文が主張する定理も確立できない。通知は 定理の命題が誤りだと 述べているわけではない。

残る2件の通知は、同じ構成を応用したことに起因する欠落を説明している。OpenAIによると、 Algebraicity of Kuga–Satake Correspondences for K3 Surfaces が主張する代数性定理は未証明のままだ。 The rational Hodge conjecture for products of K3 surfaces に関する通知も、射影K3曲面の積について同論文が主張する定理は同様に未証明だとしている。履歴ファイルが挙げるのはこの3本であり、コレクション内の無関係な結果を取り下げたとは記していない。

各通知は、リポジトリのリビジョン adc7f1241b42e322a6451854ab7e4b4c146bf78aにある取り下げ前のPDFへリンクしている。BIG CHANGEは3件の通知リンクとアーカイブPDFのリンク先を確認した。これは公開文書の確認であり、数学的な査読やLeanによる証明確認ではない。

より広範だが、結論を絞った改訂

同じ October 7 history entry10月7日の履歴記録で、OpenAIはほかの14本も改訂したと述べている。同社によると、複数分野で証明を修正し、命題、仮定、依存関係を変更したほか、古い引用を1件訂正した。この記録では、さらに13本が改訂版の関連論文への参考文献を更新した。OpenAIは形式化を6件追加し、形式化済みの主要結果を719件中300件、約42%としている。

これらの数値は、リポジトリ更新に関するOpenAIの説明を示すものだ。改訂された議論の妥当性を測るものではなく、形式化された論文のすべての主張が検証済みだと示すものでもない。リポジトリの README 自身が、検証段階の異なる研究を含み、形式化されていない結果には問題があり得ると注意している。今回の報道では、この特定の符号の誤りとそれに依存する証明について、適時の独立した数学的評価は見つからなかった。

10月6日の公開で、AIが作成した大量の論文が公開された。以前の repository inspection では、版を固定する方法と、論文と形式証明の成果物を見分ける方法を説明した。 opinion on research-review capacity についての論考では、この規模の公開を審査する作業を扱った。今回の取り下げ記録は、その区別を保つ具体的な理由になる。3本について、OpenAIは失敗した証明の手順を示し、以前のPDFを閲覧可能なままにした。将来の証明がいずれかの命題を確立するかどうかは、未解決の数学的問題である。

出典と関連資料

OpenAIの repository history は、2026年10月7日付で3件の取り下げ、14本の改訂、13件の関連参考文献更新、形式化の数を記録している。個別の Weil-class、 、 and に関する通知は、主張された欠落を説明し、取り下げ日を10月6日とし、固定されたリビジョンのアーカイブPDFへリンクしている。これらはOpenAIの記録であり、同社が何を公表したかの直接的な証拠ではあるが、独立した証明審査ではない。 notices explain the claimed gaps, label the withdrawals October 6 and link archived PDFs at a fixed revision. These are OpenAI's records; they are direct evidence of what the company disclosed, not independent proof review.

OpenAIの October 6 announcement は、最初の公開と今後の追加予定を説明している。BIG CHANGEは10月8日、現在の履歴ファイル、3件の通知とアーカイブリンクを確認した。Leanの実行、改訂された全論文の確認、数学の独立検証は行っていない。