OpenAIが数百の数学難問を解決か、AIによる数学研究の衝撃と波紋

2026年10月10日

AI開発のOpenAI社（オープンエーアイ社）が、長年未解決だった数百もの数学的問題を解決したと主張し、大きな波紋を呼んでいます。

報道によると、OpenAI社は未公開の内部AIモデルを用いて、代数、幾何学、数論、理論計算機科学などの広範な分野にわたる370以上の未解決問題に対して、完全または部分的な解答を提示したとのことです。具体的には、4次元のカケヤ予想の解決や、リーマン予想への前進、主要なコンピュータアルゴリズムの改善などが含まれています。

これらの結果はGitHub（ギットハブ：ソフトウェア開発のプラットフォーム）のリポジトリを通じて公開されました。OpenAI社の発表によると、平均的な結果を得るために、ChatGPT Proの思考時間に相当する約3時間の計算時間を要したとされています。

数学界に広がる期待と困惑

この大量の解答提示に対し、数学界の反応は二分されています。一部の数学者は、AIが新たな探求領域を切り拓いたとして熱狂的に受け止めています。一方で、こうしたアプローチは人間による学術的な規律への攻撃にあたると指摘する声もあります。

特に議論となっているのが、研究倫理と検証の手順です。通常、数学の成果は専門家による査読（内容の妥当性を検討すること）を経て公開されますが、今回は査読を待たずに大量の論文形式で一斉に公開されました。この手法について、ある書簡では、学術的な成果の提示ではなく、単なる力の誇示であると批判的に述べられています。

また、解答の質についても疑問が呈されています。公開された719本の原稿のうち、AIの思考プロセスであるチェイン・オブ・ソート（思考の連鎖）が含まれていたのはわずか10本でした。さらに、専門家が読んでも理解不能な内容が含まれているとの指摘や、AI自身が一部の結果について重大なハルシネーション（事実に基づかない情報を生成すること）であると記述している例もあると報じられています。

検証可能性を巡る課題

数学において正しさを証明するためには、自然言語での説明に加え、Lean（リーン：数学的証明をコードとして記述できるプログラミング言語）のような形式化言語による検証が有効です。しかし、OpenAI社が公開した証明のうち、この形式化プロセスを経ていないものが42%にのぼると報じられています。

また、自然言語による説明と、形式化された証明の間に乖離があるケースも指摘されており、人間が介在せずにAIに証明の形式化を任せてよいのかという根本的な問いが投げかけられています。

専門家アドバイザリーグループの役割と限界

OpenAI社は、こうした混乱を避けるため、独立した数学アドバイザリーグループであるAGMAI（エージーエムエーアイ：数学とAIに関する諮問グループ）を設立しています。このグループは、高等研究所（IAS）がホストし、世界的な研究者9名で構成されており、研究成果のレビューや伝達方法について助言を行う役割を担っています。

OpenAI社は、今回の公開にあたってAGMAIのガイドラインに従ったと説明しています。しかし、AGMAI側からは、独自のモデルで高度な数学問題をテストすることを止めてほしいという要望が出ていたことや、人間が結果を理解できるように責任を持つ姿勢が見えないといった懸念が示されていると報じられています。