OpenAIが新たな数学の問題解決を発表
2026年10月15日 · 読了 1 分
2026年10月6日、OpenAIは商業化されていない内部モデルによって作成された719の原稿をGitHubに公開しました。これらは372の結果ファミリーに分類され、約4,000の問題が提出されたと報告されています。各結果には平均してChatGPT Proによる約3時間の計算が必要でした。
2026年10月8日、Hugo Duminil-Copin氏がフランス数学会のオンラインセミナー「Math & IA à Midi」で発言しました。彼は「火曜日の夜、私は泣いて、娘を起こしてしまった」と述べました。彼は自身の専門分野が「壊滅的」と捉えており、特に自分の関心のある16の問題が含まれていると報告されています。
Cédric Villani氏は、この成果を「過去四世紀で最も根本的な数学の変化」と評し、約12のメダルが見込まれると述べました。
OpenAIは、主な結果の約42%のみがLeanというソフトウェアによって形式的に検証されていると認めており、他の結果には誤りが含まれている可能性があります。少なくとも3つの論文はすでに撤回されています。
Duminil-Copin氏は、生成された3,500ページ以上を見直す予定ですが、「これらの証明を読むことにあまり興味がない」と認めています。彼は、仲間が書いた文章の味わいがないと感じているようです。OpenAIは、結果を理解するためのワークショップや会議を資金提供すると約束しています。