OpenAI、未解決数学予想の証明文書を公開と発表

OpenAIが2026年7月10日、自社の推論モデルが50年近く未解決だった数学予想の証明とみられる文書を作成したと発表した。査読はまだ済んでおらず、正しさが確定した段階ではない。

いつ・誰が・何を

OpenAIは2026年7月10日、推論モデル「GPT-5.6 Sol Ultra」が「サイクル二重被覆予想」と呼ばれる未解決問題について、証明とみられる文書を作成したと発表した。この予想は1973年にセケレシュ氏、1979年にシーモア氏がそれぞれ提起したもので、あらゆる橋のないグラフの辺をサイクルの集合で二重に覆えるかを問う、グラフ理論の古典的な難問とされる。

OpenAIの発表と、これを報じたHacker Newsやofficechaiの記事によると、今回の取り組みでは64のサブエージェントを並列で動かし、1時間未満で作業を完了したという。証明の手法は、対象となる問題を三次グラフに還元し、8-フロー定理を活用するアプローチを取っているとされる。OpenAIはこの証明を記したPDF文書を公開したが、数学界による正式な査読はまだ行われていない。

ここで確実に言えるのは、OpenAIがこの内容を発表したという事実だけだ。証明が数学的に正しいかどうかは、専門家による検証を経て初めて判断される。OpenAI自身も、正式な検証はこれからの段階にあると位置づけている。証明の正誤や査読の進捗については、今後の公式発表と学術コミュニティの反応を確認する必要がある。

AIによる数学研究はどこまで進んでいるか

推論モデルが複数のサブエージェントを並列で動かし、証明の候補となる文書を短時間で生成する手法は、近年の大規模言語モデルの進化を象徴する事例だ。単一のモデルが逐次的に思考を重ねるのではなく、64という数のサブエージェントに探索を分担させ、1時間足らずで結果をまとめた点は、計算資源の使い方として従来の研究プロセスとは異なる。

ただし、AIが生成した文書が「証明らしい体裁」を備えていることと、内容が数学的に厳密であることは別の話だ。生成AIの出力には誤りが混じる場合があり、もっともらしい誤情報を生成する現象についてはハルシネーションとは？生成AIの誤情報を防ぐ対策で解説している。専門性の高い分野ほど、出力の見た目の完成度と実際の正確さの差を見極める作業が欠かせない。

AIの出力精度は、モデルの規模や学習データだけでなく、検証の仕組みによっても左右される。精度を左右する要因については生成AIの精度を左右する5つの要因で整理しており、今回のような未検証の成果を評価する際にも当てはまる視点が多い。AIが出す答えを鵜呑みにせず、根拠と検証プロセスを確認する姿勢は、数学の証明に限らず業務全般で共通して求められる。

研究支援の文脈では、AI企業が学術界との接点を広げる動きが続いている。Anthropicは研究者向けの環境を公開しており、Anthropic、研究者向けClaude Science公開。60超のDBを統合で紹介した取り組みも、AIを研究プロセスに組み込む流れの一つだ。OpenAIも経済分野での研究交流制度を進めており、OpenAI、AIの経済影響を調べる研究交流制度を開始で報じた動きと合わせると、AI企業が学術コミュニティとの関係を強めている様子がうかがえる。

過去の類似事例との違い

AIが数学の問題に貢献した例はこれまでにもあるが、多くは既存の証明を検証したり、部分的な補題を補強したりする役割にとどまっていた。今回のように、長年未解決だった予想そのものへの証明文書をAIが単独に近い形で生成したと発表される事例は、規模と速度の面で際立つ。一方で、これまでも「AIが解いた」と報じられた成果が、後の査読で誤りを含んでいたと判明したケースは存在する。今回の発表も、同様の経緯をたどる可能性は否定できない。

数学の証明は、専門家が数週間から数カ月かけて論理の各段階を検証する作業を経て初めて成果として認められる。OpenAIが公開した文書が最終的にどう評価されるかは、この査読プロセスの結果を待つ必要がある。誇張して報じることは避け、確定していない段階であることを踏まえて情報を扱うべきだ。

現場の実務にどう効くか

効くのは、AIの出力を業務で使う際の検証プロセスを設計する部門だ。今回のケースが示すのは、AIが専門性の高い成果物をもっともらしい形で作成できる段階に来ている一方、その正しさの担保は別の工程が必要だという事実だ。企業でAIの出力を意思決定や成果物に使う場合、生成された内容がどの程度の確度を持つのか、誰がどう検証するのかをあらかじめ決めておく必要がある。

具体的には、AIが作成した分析やレポートを社外に出す前に、専門知識を持つ人間が内容を確認する工程を設ける、検証が済んでいない情報には「未検証」と明記する、といった運用が有効だ。生成AIについて社内で誤解が広がらないよう、よくある思い込みを整理した生成AIでよくある誤解10選と正しい理解も参考になる。AIが出した答えの見た目の説得力に流されず、検証の有無を常に確認する習慣を持つことが、今回のような事例から得られる実務上の教訓だ。

FAQ

Q. GPT-5.6 Sol Ultraとはどんなモデルですか。 OpenAIの推論モデルの一つで、複雑な問題を段階的に考える能力を持つとされます。今回の発表では64のサブエージェントを並列で動かし、1時間未満で証明とみられる文書を作成したとされています。モデルの詳細な仕様は公式情報で確認してほしい情報です。

Q. 数学界はこの証明をどう評価していますか。 本記事作成時点では、正式な査読結果は出ていません。Hacker Newsなどでは議論が始まっていますが、専門家コミュニティによる検証にはまだ時間がかかる見込みです。最新の評価は今後の学術発表で確認してほしい情報です。

出典

• Cycle double cover conjecture proof（OpenAI公式PDF）
• Hacker News（議論スレッド）
• OpenAI says GPT-5.6 Sol produced a proof of the 50-year-old cycle double cover conjecture using 64 subagents in 1 hour（officechai）