88 歳の老人が、かつて自ら掘った穴を見事に埋め尽くしました。
3 週間前、「アルゴリズムの祖」であり、史上最年少でチューリング賞を受賞したドナルド・クヌース博士は Claude に衝撃を受けました。長年未解決だったアルゴリズムの難問が、Claude Opus 4.6 によって解決されたからです。
論文の冒頭で、彼は「衝撃だ、衝撃だ！」と叫んでいます。
論文アドレス：https://cs.stanford.edu/~knuth/papers/claude-cycles.pdf
しかし、さらなる研究により、実際には 760 通もの同様の分解方法が存在し、Claude が見つけたのはその中の 1 つに過ぎないことが判明しました。
Claude が攻略したのは m が奇数の「要塞」のみであり、m が偶数の場合については依然として一般解が見つかっていませんでした。
更新された論文によると、この難問は劇的な進歩を遂げました。
GPT-5.4 Pro が Claude のバトンを受け継ぎ、m≧8 のすべての偶数に対して 14 ページにも及ぶ論文を出力。さらに計算により m=2000 の場合まで検証済みです。
それだけでなく、GPT と Claude が連携し、マルチエージェント・ワークフローを通じて、奇数および偶数の m に対してより簡潔な構成法を発見しました。
さらに、Lean 言語を使用して、奇数ケースに関する Claude の証明を形式化した研究者も現れています。
これで、「ハミルトン分解」の難問は完全に解決されました。
Claude 4.6 から GPT-5.4 へ、そして業界の巨匠たちの協力により、ついに数十年にわたる穴が埋まったのです。
論文の最後で、クヌース博士はこのように感慨深げに述べています。
「私たちは確かに、非常に興味深い時代を生きている。フォースと共にあらんことを」
88 歳の「アルゴリズムの祖」が掘った「大きな穴」
これまで組合せ数学において、ハミルトン閉路（Hamiltonian Cycle）は、攻め落とすのが極めて困難な要塞とされてきました。
簡単に言えば、複雑なグラフネットワーク上で、すべてのノードを重複なく通過する閉じた経路を見つける問題です。
そして「ハミルトン分解問題」とは、あるグラフをそのような閉路に完全に分解できるかどうかという問題です。これは単なる計算量の競争ではなく、数学的構成力の限界への挑戦でもあります。
この穴を掘ったのは、他ならぬクヌース自身です。
計算機科学の巨著『コンピュータプログラミング技芸（TAOCP）』を執筆する過程で、ハミルトン分解は常に彼が気に掛ける「宿題」となっていました。
この問題は何十年も放置されたままでした。専門用語で表現すると以下のようになります。
これまで学界は、奇数と偶数の両方の場合を網羅する完全な解を示すことができませんでした。
ノード数が増えるにつれて探索空間は指数関数的に爆発し、人間の脳はそのような深淵な闇の前には、生理的な無力感を覚えるほかありません。
過去 30 年間、無数の天才がこの穴埋めに挑みましたが、その多くが「奇偶の完全解」という最後の防衛線に阻まれてきました。
2026 年の春、クヌースはある決断を下します。武器を持ち替えることです。
偶数 m にも解が見つかるのか？
前回の Claude Opus 4.6 は、31 回の試行錯誤の末、ある単純な規則を提案しました。
s = (i + j + k) mod m
s、i、j の値に応じて、i、j、k を増やすかどうかを決定する規則は以下の通りです。
s=0 なら j の値に基づき移動方向を決定。0<s <m−1 なら i の値に基づき決定。s=m−1 なら別の規則を適用します。
その結果、Claude はプログラムにより m=3, 5, 7, 9, 11 の場合ですべて経路が成立することを検証しました。
ご覧の通り、Claude が解決したのは m が奇数の場合のみ。m が偶数の問題については、依然として真の解には至っていませんでした。
3 月 3 日、Filip Stappers 氏がクヌース氏に「これには続きがある」とメールを送りました。
Stappers 氏は Claude Opus 4.6 に再度、mが偶数の場合を約 4 時間計算させ、ようやく見通しが立ちましたが、完全な解には至りませんでした。
最終的に Claude は、奇数の場合と同様の局所的なファイバー構造を構築し、それを実行して検索することで補完しました。
最終段階では、真の構成法を探すことよりも、「検索速度の向上」に多くの時間を費やしました。
多くのプログラムを実行し、「アニーリング」や「バックトラッキング」といったアルゴリズムのシミュレーションによって解を探ろうとしました。
Stappers 氏の提案により、Claude が ORTools CP-SAT（Google のオープンソースツールキットの一部で、AddCircuit 制約付き）を使用して求解したところ、奇跡が起きました。
現在のプログラムは、わずか数秒で結果を直接出力できるようになったのです！
直後の 3 月 4 日、シンガポールの友人 Ho Boon Suan 氏から、さらに衝撃的な知らせが届きました。
氏は gpt-5.3-codex で生成したコードを使用し、偶数 m≧8 の分解に成功しました。
信頼性を検証するため、8 から 200 までのすべての偶数m、および 400 から 2000 の間のいくつかのランダムな偶数でテストしましたが、すべて問題ありませんでした。
m=2000 の場合、それは 80 億個の頂点を持つ巨大なグラフ構造になります。
これを人力だけで手計算で証明するなど、「寝言」もよいところです。
ほぼ同時刻、Lean コミュニティの Kim Morrison 氏も素早く動きました。
氏は、Claude の構成が正しいという証明を形式化し、3 月 4 日に速報としてオンライン上に公開しました。
数学の天才たちが一堂に
「Exocija」という匿名の研究者は、奇数 m に適用可能な新しい構成法を発見しました。
計算の観点から見れば、これはおそらく現在最も簡潔な方法です。証明が最も簡単だとは言えませんが。
C 言語のプログラムでは、特定の数行を極めて単純な論理コードに置き換えるだけで、有効な分解が得られます。
しかも、ほぼすべてのステップで、恒等置換「012」を巧みに利用しています。
if (s == 0) d = (j == m - 1 ? "201" : "021");
else if (s == m - 1) d = (j == 0 ? "102" : "120");
else d = "012";どうやって成し得たのか？答えは「クロスモデルコラボレーション」です。
Exocija 氏は、GPT-5.4 と Claude 4.6 Sonnet という 2 つのトップモデルの間でテキストを絶えず行き来させ、それぞれの異なる思考次元から相互にインスピレーションを得ることで、ついに完全な証明を完成させました。
修正 0、GPT-5.4 が 14 ページの論文を出力
偶数 m の構成問題については、真のハイライトはここからです。
gpt-5.3-codex が生成したアルゴリズムの規則が複雑すぎると判断した Ho Boon Suan 氏は、GPT-5.4 Pro に究極の命令を下しました。
あなたの任務は、m が 8 以上の偶数の場合、先に提示したアルゴリズムが常に長さ m³の 3 つの閉路を生成することを厳密に証明することです。
可能であれば、このアルゴリズムがなぜ有効なのかを深く説明し、より単純な構成法があるかどうかも検討してください。
誰が予想したでしょうか、GPT-5.4 Pro は驚くべき回答を突きつけてきました。
レイアウトが美しく、論理が厳密で、14 ページにも及ぶ学術論文です。
「要約」から「結論」まで、構造は完全で、起承転結が隙なく整っていました。
しかも、TeX 規格が採用されていました。クヌース自身 TeX の発明者です。AI はこの言語を使って彼に敬意を表しているかのようです。
最も重要なのは、この論文が Lean 形式検証ツールの検査に合格したことです。
Ho 氏の言葉を借りれば、これは完全に GPT-5.4 Pro 単独で成し遂げた偉業であり、氏は句読点の 1 つさえ修正する必要がありませんでした。
これは、その論理連鎖が数学的に「絶対的真理」であることを意味します。
AI による「左右互換」、Claude と GPT がついに完璧な証明を完成
この物語の集大成となったのは Keston Aquino-Michaels 氏です。
氏は奇数 m の場合のもう一つの有効な分解法を見つけただけでなく、偶数 m の場合についても、これまでの方法をはるかに凌駕する簡潔な分解法を提示しました。
さらに、クヌースが以前見落としていた関連文献（下の参考文献リストの最後）も発掘しました。
プレプリント：https://arxiv.org/abs/2203.11017
さらに素晴らしいのは、この連携インタラクション・モードを詳細に分析し、将来の新たな問題にどう対処し解決するかという点で潜在的に重要な意味を持つと指摘したことです。
完全レポート：https://github.com/no-way-labs/residue/blob/main/paper/completing_claudes_cycles.pdf
オープンソースプロジェクト：https://github.com/no-way-labs/residue
簡単に言えば、Keston Aquino-Michaels 氏は単に AI に質問しただけではなく、巧妙な「コラボレーション・ワークフロー」を構築しました。
これは、炭素系生命体とシリコン系生命体との協同演習であり、Claude、GPT、人間が密接に協力した成果です。
ここで 2 つのエージェントが、同じ「Residue」プロンプトを使用して独立して実行されました。
2 つのインテリジェント・エージェントが使用する構造化探索プロンプト
しかし、それぞれが得意分野を発揮しました。
エージェント O：5 回の探索で奇数の場合を解決（記号的証明）
エージェント C：m=4, 6, 8, 10, 12 の具体的な解を発見（データ）
2 つのエージェントは直接対話するのではなく、Orchestrator（指揮官）を介して通信しました。データやツールはすべて指揮官（人間が誘導する Opus 4.6）を通じて受け渡されます。
Orchestrator は「いつ、何を、どの形式で渡すか」を判断する必要があり、これは 2 つのエージェントだけでは不可能なことです。
例えば、エージェント O は偶数の場合、m=10 で行き詰まり、先に進めませんでした。Orchestrator がエージェント C の解をエージェント O に渡すと、エージェント O は即座にそのパターンを認識。m−2 層の「バッチレイヤー」と 2 層の「修復レイヤー」から成る構造であることを見抜きました。
ついに、人類を数十年も悩ませてきた「奇偶の完全解」が、2 つの AI エージェントの激しい応酬の中で完全に突破されたのです。
人間が戦場を定め、機械が深淵を埋める
今回の「穴埋め」は、科学研究のパラダイムが完全に転換したことを示しています。
科学者の役割が変わりました。例えば、クヌースはもはや紙の上で 1 行ずつコードを計算する職人ではありません。彼は問題の境界を定義し、検証の論理を設計し、AI に指示して試行錯誤の暗黒帯を埋めさせました。
研究のパラダイムが変わりました。人間は境界を定義するだけでよく、AIが深淵を埋めます。
数学者にとって最も貴重な能力は、もはや計算力ではなく、「問題を提起する直感」と「答えを検証する審美眼」です。
AI が無限の試行錯誤の中で道筋を見つけ、人間が終点で、それが我々の求める真実かどうかを確認するのです。
次は誰か？
88 歳のアルゴリズムの泰斗が AI を使って穴埋めを始める今、私たちは認識しなければなりません。数学研究のあり方が、不可逆的な転換点を迎えているのです。
これは単なるクヌースの勝利ではなく、人類の知性に対する「外部機能のアップグレード」とも言えます。
「機械が左右互換」する時代において、最も厳密なはずの数学の殿堂でさえ、AIに門戸を開いています。
もしあなたがまだ「AIに仕事を奪われるのではないか」と悩んでいるなら、あなたはすでに次の「知的アーキテクト」になる機会を逃しているかもしれません。
次に AI によって突破される世紀の難問は、リーマン予想でしょうか、それとも物理学の統一場理論でしょうか。
この「極めて興味深い時代」において、我々が唯一恐れるべきは、この進化の速度に対する無関心さなのです。
参考資料
https://x.com/slow_developer/status/2038399555490791765
https://x.com/mubeitech/status/2038388810157826467
https://x.com/BoWang87/status/2037648937453232504