循環二重被覆予想（Cycle Double Cover Conjecture、CDC）はグラフ理論の中心的な未解決問題で、数学者 George Szekeres（1973）と Paul Seymour（1979）がそれぞれ独立に提唱しました。最も平易な言葉で言えば次の通りです。

この予想が難しい理由は何でしょうか。今回の AI ブレークスルーの重みを理解する上で、以下の五点が鍵となります。

2026年7月9日、OpenAI は GPT-5.6 シリーズの三モデルを正式リリースしました。Sol は Artificial Analysis Coding Agent Index で 80点を記録し、Anthropic Fable 5（77.2点）を上回り、Token は半分以下、所要時間は半分、コストは約3分の1です。

GPT-5.6 には二つの推論モードが追加されました。max は単一モデルに最も十分な思考時間を与えます。ultra は複数のサブエージェントを自動的に並列配分し、それぞれが異なる経路を探索してから統合します。全体のオーケストレーションは単一の API 呼び出し内部で完結し、従来のマルチ Agent フレームワークの外部オーケストレーションとは異なります。

OpenAI は完全な 700字 Prompt を公開しています（CDN からダウンロード可能）。驚くべきことに、約5分の1のみが数学問題そのものの記述で、残り5分の4はすべてモデル行動戦略の最適化に充てられています。

システムは8時間の算力予算を確保していましたが、実際には1時間未満で証明が出力されました。最終証明はわずか 3ページで、経路は次の通りです。

1. 帰約：一般無橋グラフの CDC を三次グラフ（Cubic Graph）の場合に帰約（標準文献の手法）

2. 8-流定理（8-flow theorem）の利用：
   三次グラフに対し、Tutte の結果を用いて辺を Γ = F₃² の非零元素でラベル付けし、
   各頂点で3辺のラベル和が零ベクトルとなるようにする

3. 鍵となる帰約（線形代数）：
   「加法ラベル」を「集合ラベル」に変換——各辺を Γ の2元素部分集合でラベル付けし、
   各頂点で Γ の各元素がちょうど零回または2回現れるようにする（初等線形代数）

4. 結論：上記の構成が直接循環二重被覆を与える（各辺がちょうど2回被覆される）

Bloom は同時に、証明が文献を一切引用していない点を指摘しました。核心のアイデアは1983年の Bermond、Jackson、Jaeger の古典論文に遡ることができ、これは AI 生成数学論文の一般的な問題です。

CDC 証明と同日、OpenAI は Sol による Luna 後学習の自律完了を開示しました。研究者はかなり曖昧な Prompt（訓練設定の探索、GPU 選択、スクリプト起動、実行確認）を送り、Sol は Codex プラットフォームを通じて全工程を自律的に完了しました。Jason Liu は補足として、Sol が自身の後学習設定フレームワークを再利用し、革新はより小さい Luna への移行適応にあると述べました。人間の研究者なら約2名・2週間が必要です。

CDC 証明と関連リソースの六ステップフォローアップ：

数学コミュニティの五重の懸念（「待って、Lean コードを見せて」）：

楽観派（r/singularity など）は、64サブエージェント並列攻堅のアーキテクチャそのものがより注目すべきシグナルだと考えています。具体的な証明の成立可否にかかわらず、この playbook はより多くの未解決問題に汎化できる可能性があります。

OpenAI は証明文末に「本証明は GPT-5.6 Sol Ultra により完全に生成された」と明記しました。これは AI が数学定理の「著作権」を持ち得るかという法的・倫理的議論を開きました。

三つの引用可能データ：

参考資料：

代替案を比較すると、個人 Mac 上でのみ Ultra モード長時間セッションと Lean コンパイルを実行する場合、スリープとメモリ変動の影響でマルチエージェント API 呼び出しが中断されやすくなります。クラウド API のみに依存しローカル検証環境がない場合、cdc-lean と Agent オーケストレーションスクリプトの並列実行が困難です。仮想マシンで macOS を実行するのは EULA 違反であり、Xcode ツールチェーンも制限されます。iOS CI/CD、AI Agent の7×24自動化、安定した算力環境が必要なチームにとって、KVMNODE 専用 Mac Mini M4 クラウドレンタルは通常より優れた選択です。Apple Silicon 統一メモリ、sudo 開放、日/週/月の柔軟な注文が可能です。詳細は 料金ページ、ヘルプセンター、または 直接注文をご覧ください。

データ基準日：2026年7月13日 · 証明検証状況とモデル能力は随時更新される可能性があります