OpenAIが符号の誤りで数学論文3本を撤回した。
OpenAIは前日にGitHubへ722本を公開し、水曜に数学論文3本を撤回した。1本にあった符号の誤りが、他の2本の論証を崩した。残る719本のうち、機械検証された証明は300本にとどまる。
なぜ重要か人工知能が数学を書く速さは、人が検証する速さを超えた。その差に誤りが潜むので、未検証のAI結果は下書きとして扱うべきだ。
アプリで読む——無料・9言語
関連ニュース
AIの数学が量子計算機より早く暗号を破るとブテリンが言う。2026-10-08最も安いものを求めた富裕層にAI代理人は高い案を勧めた。
2026-10-08OpenAIが機械検証した証明は、発表した証明と別物だった。
2026-10-08エヌビディアは一回の学習でモデルの1%しか変わらないと確かめた。
2026-10-07OpenAIが一つの指示から722本の数学論文を出した。
2026-10-07