OpenAI がその最も強力なモデルを一般公開したわずか 1 日後、同社は、このシステムがサイクル ダブル カバー予想の完全な証明を生成したと発表しました。サイクル ダブル カバー予想は、約半世紀にわたり数学者たちの抵抗を続けてきたグラフ理論の有名な未解決問題です。

OpenAIの研究者イーサン・ナイト氏は2026年7月10日にこの結果を発表し、GPT-5.6 Sol Ultraが「64個のサブエージェントを使用して50年前のサイクルダブルカバー予想の証明を1時間弱で生成した」と投稿した。この主張はすぐにハッカーニュースのトップに上り詰め、証明が成り立つかどうかを議論する数学者や技術者から何百ものコメントが寄せられた。

最新の AI 開発を追跡している人にとって、この結果は、フロンティア モデルがどこに向かっているのかを示す驚くべきデモンストレーションであり、その数学的主張が依然として昔ながらの方法でチェックされる必要があることを思い出させるものです。

サイクルダブルカバー予想とは何ですか?

この予想はグラフ理論と呼ばれる数学の分野にあります。平たく言えば、これは一見単純な疑問を投げかけています。「ブリッジのない」グラフ (エッジを削除すると分割されてしまうエッジがないグラフ) のエッジは、すべてのエッジが正確に 2 回現れるように、常にサイクルの集合でカバーできるでしょうか?

この問題は、1979 年のポール シーモアと 1973 年のジョージ セーケレスを含む数人の数学者によって長年にわたって独立して提起され、以前のルーツは W. T. トゥッテ、アロン イタイとマイケル ローデの研究にありました。その単純な記述にもかかわらず、これはこの分野で最もよく知られた未解決問題の 1 つとなり、部分的な結果は特別なクラスのグラフについてのみ知られていました。

OpenAIが公開した証明ノートによると、この議論は問題をループのない3次グラフに還元し、次に古典的な結果、つまり群F32上のどこにもゼロの流れの定理(トゥッテの8流れ定理に相当)と、エッジのラベリングをサイクルダブルカバーに必要な構造に変換する重要な線形代数ステップに頼っている。あるハッカーニュースのコメント投稿者が指摘したように、この記事はわずか数ページであり、注目すべき点として「過去 30 年間に開発された数学は一切使われていない」と述べている。

GPT-5.6 Sol Ultra がどのようにアプローチしたか

この結果が通常のチャットボットの回答と異なる点は、モデルがどのようにデプロイされたかです。 GPT-5.6 Sol Ultra は OpenAI の「マルチエージェント v2」モードで実行され、異なる証明戦略を並行して検討する最大 64 の協力サブエージェントのシステムを起動しました。 OpenAI は証拠とともに完全なプロンプトを公開し、システムに与えられた命令の珍しい外観を提供しました。

このプロンプトは、モデルに対し、「マルチエージェント v2 を積極的かつ動的に使用する」こと、「アプローチの多様なポートフォリオ」を維持すること、そして敵対的エージェントを導入して、サイクルや偶然の循環論法に見せかけた閉じられた証跡など、よくある落とし穴の候補の証明を監査することを指示しました。システムには「戻るか諦めるか考える前に、少なくとも 8 時間はこれに費やすように」とさえ指示されていたが、最後の実行は 1 時間以内に完了したと伝えられている。

証明ノートの「AI 使用に関する声明」セクションで、OpenAI は「このノートの証明は完全に GPT 5.6 Sol Ultra と Codex (GPT 5.6 Sol による) の記述によるものです。」と明言しています。

まだ誰もが納得しているわけではない

数学界は興奮と警戒が入り混じった反応を見せており、その懐疑論はもっともだ。出版時点では、証明は Lean などの証明アシスタントで正式に検証されておらず、従来の査読にも合格していません。

Hacker News では、有名な推測の短くエレガントな証明は特に慎重な精査に値する、と何人かのコメント者が指摘しました。 「これは、過去 30 年間に開発された数学を一切使用していない非常に短い証明です」と、あるユーザーは書いています。 「それが必ずしも間違いというわけではありませんが、リーンの機械化や適切な査読がなければ、これを投稿するのは時期尚早だと思います。」

また、グラフ理論の主要な正式な証明ライブラリは、この種の研究レベルの結果をチェックできるほどまだ成熟していないため、検証には人間の専門家が議論を一行ずつ読む必要があるかもしれないと指摘する人もいた。 OpenAI自体は、今回の発表をより広範なパターンの一部として捉えており、「より多くのテスト時コンピューティングは、より優れたインテリジェンスにつながる」と同社は述べ、この単一の結果ではなく、マルチエージェントアプローチが同社が伝えたい本当のストーリーであることを示した。

なぜそれが重要なのか

たとえ Cycle Double Cover の証明が最終的に修正を必要とするとしても、このエピソードは、大規模な言語モデルが純粋数学で実行できることの意味のある変化を示しています。フロンティア AI システムはこれまで、幾何学や組合せ論の問題が解決されたという最近の主張など、特殊な領域で新しい研究結果を生み出してきましたが、調整された推論エージェントの群れで名前付きの数十年前の予想を攻撃することはハードルを大幅に引き上げます。

研究者にとって、メリットは 2 つあります。まず、マルチエージェントのレシピ (多くの独立した試み、アイデアの相互受粉、敵対的な監査) は、困難な問題を解決するための真に有用なテンプレートであるようです。第 2 に、検証のボトルネックは今や人間にあります。モデルは、コミュニティが検証するよりも早く候補証明を生成できます。

この緊張感が、AI 支援数学の次の段階を定義する可能性があります。あるコメント投稿者が述べているように、もしこの証明が成り立つなら、次世代モデルに投げかける他の長年の問題の「誰かがリストを作成しようとしている」ことになる。

今のところ、数学者たちは鉛筆を手にこの 3 ページのメモを注意深く読むことになるが、残りの AI 業界は GPT-5.6 の 1 時間にわたる取り組みが永久的な数学的記録の一部となるかどうかを見守っている。

AI の先を行く

フロンティア モデルのブレークスルーと AI 研究の報道の詳細については、AI Buzz Wire ホームページ をご覧ください。

AI ニュースをもっと読む→