AIToday
大規模言語モデルAI安全性・アラインメントZenn AI/ML掲載日時: 2026年10月10日 22:00

AIが数学原稿722本公開、符号ミスで3本取り下げ

LINEで送る
AIが数学原稿722本公開、符号ミスで3本取り下げ

OpenAIは2026年10月6日、未公開のAIモデルが作成した数学研究原稿722本を公開した。1本の符号ミスで依存関係にある2本が無効となり、719本が残った。

わからないところ、AIに聞けます

質問と回答はこのページに公開されます。

こういう要約が、毎朝あなたのメールに届きます。

背景と解説

これはAIが3つの別々の誤りを犯した事例ではない。説明によれば、1本の原稿に非常に高度な幾何学の成果の証明が含まれており、その途中の符号ミスで重要な説明が成り立たなくなった。他の2本はその説明の上に構築されていたため、3本がまとめて取り下げられた。OpenAIは同日、他の14本も修正し、証明の欠落を埋め、必要条件を書き直した。さらに13本の参考文献を更新し、修正版を指すようにした。722本は722の異なる突破口ではない。OpenAIはそれらを372のテーマにまとめ、主要な成果、関連論文、補足資料を一つにしている。モデルに与えられた約4,000の数学問題から生まれたものだ。依然として不明なのは、これほど大量に一度に公開することが科学への貢献と言えるのか、それともどの成果が正しいかを見極める仕事を外部の研究者に押し付けることになるのか、という点であり、これは未解決と位置づけられている。

よくある質問
AIの誤り率は人間の研究者と比べてどうなのか。
人間が書いた論文にも誤りはあり、公開後に訂正や取り下げがされることもある。ここでの違いは量と速さであり、誤りが起きるかどうかではない。
Leanによる検証は論文が正しいことを保証するのか。
いいえ。Leanはコンピューターで読める証明の論理を確認するが、研究が新しいか、重要か、先行研究を正しく引用しているかは確認しない。
各成果にどれだけの計算資源が使われたのか。
OpenAIによれば、各成果には平均してChatGPT Proがおよそ3時間で行う思考と同程度の計算が使われた。
LINEで送る

あなたの仕事に関係するAIニュースを、毎朝お届けします。

業界と使っているAIツールを選ぶと、仕事に関係するニュースが毎朝届きます。

登録無料・Googleアカウントなら30秒・いつでも解除できますAITodayについて →

AIに質問

この記事についてわからないことをAIに質問できます。AIはこの記事・AIToday の過去記事・Wikipedia を読み、出典を付けて答えます。Q&Aはこのページに公開され、他の読者も読めます。

質問と回答はこのページに公開されます。

関連記事

次の記事へ詐欺師を翻弄するAIボット35万体を運用