新智元（Xinzhiyuan）発
編集：KingHZ、桃子
【新智元ダイジェスト】「ハミルトン分解」の難問がついに解決へ。88 歳の「アルゴリズムの祖」ことドナルド・クヌース氏が論文を更新し、Claude 4.6 と GPT-5.4 の連携によって奇数・偶数の双方の場合が解明された。特に GPT-5.4 は、修正を一切加える必要のない 14 ページに及ぶ論文を生成し、世界中に衝撃を与えている。
88 歳の巨匠が、かつて自ら掘った「穴」をようやく埋めたのである。
3 週間前、チューリング賞を史上最年少で受賞した「アルゴリズムの祖」クヌース氏は、Claude の成果に衝撃を受けた。長年未解決だったアルゴリズムの難題が、Claude Opus 4.6 によって解決されたというのだ。
論文の冒頭で、氏は「ショックだ、ショックだ！」と叫んでいる。
論文アドレス：https://cs.stanford.edu/~knuth/papers/claude-cycles.pdf
しかし、さらなる調査により、実際には同様の分解法が 760 通りも存在し、Claude が見つけたのはその一部に過ぎないことが判明した。
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 Path）は攻め落とすのが極めて困難な要塞とされてきた。
端的に言えば、複雑なグラフネットワーク上で、各ノードを重複なく一度だけ通り、出発点に戻る閉じた経路を見つける問題だ。
そして「ハミルトン分解問題」とは、あるグラフをそのような閉路に完璧に分解することを指す。これは単なる計算量の競争ではなく、数学的構築能力の限界への挑戦なのである。
この穴を掘ったのは、ほかならぬクヌース氏自身であった。
計算機科学の金字塔『コンピュータのプログラミング技法（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）氏から氏のもとに「この件には続きがある」との連絡が入った。
スタッパーズ氏は Claude Opus 4.6 に再度 m が偶数の場合を計算させ、約 4 時間を要してようやく糸口を見つけたが、完全な解には至らなかった。
最終的に Claude は、奇数の場合と同様の局所的な繊維構造を構築し、その後検索を実行して補完・完成させた。
最終段階では、真の構築法を見つけることよりも、「検索速度の向上」に主な時間を費やしていた。
多くのプログラムを実行し、「アニーリング」や「バックトラック」といったアルゴリズムを模倣して解を探ろうとしたのである。
スタッパーズ氏の助言により、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 つのトップモデルの間でテキストを絶えず行き来させ、それぞれの異なる思考次元を相互に刺激させることで、ついに完全な証明をまとめ上げることに成功した。
無修正で GPT-5.4 が 14 ページの論文を生成
偶数 m の構築に関する問題は、ここからが真のクライマックスとなる。
gpt-5.3-codex が生成したアルゴリズムの規則が複雑すぎると判断したホー・ブーン・スアン氏は、GPT-5.4 Pro に究極の指示を与えた。
「あなたの任務は、先に提示されたアルゴリズムが、m が 8 以上の偶数の際、常に長さ m³の 3 つのサイクルを生成することを厳密に証明することだ。なぜこのアルゴリズムが有効なのかを深く説明し、より単純な構築法が存在するかどうかについても検討せよ」
誰が予想しただろうか。GPT-5.4 Pro は驚くべき回答を突きつけてきた。
体裁も美しく、論理も厳密で、14 ページにも及ぶ学術論文そのものだった。
「要約」から「結論」まで、構造は完全で、起承転結も寸分の狂いもない。
しかも TeX 規格を採用している点も見逃せない。TeX の生みの親であるクヌース氏への、AI によるオマージュとも言うべきだろう。
最も重要なのは、この論文が Lean による形式検証ツールの検査を通過した点だ。
ホー氏の言葉を借りれば、これは完全に GPT-5.4 Pro 単独で成し遂げた偉業であり、同氏は句読点の一つたりとも修正する必要がなかったという。
これは、その論理の連鎖が数学的意味において「絶対的真理」であることを意味する。
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
端的に言えば、ケストン・アキノ＝マイケルズ氏は単に AI へ質問を投げかけただけではない。極めて巧妙な「協働ワークフロー」を構築したのである。
これは、炭素ベースの生命とケイ素ベースの存在との協働演習、すなわち Claude、GPT、そして人間の緊密な連携そのものだった。
ここでは 2 つのエージェントが、同一の「Residue」プロンプトを用いて独立して稼働する。
2 つのインテリジェント・エージェントが用いた構造化探索プロンプト
しかし、それぞれが持ち味を発揮する。
エージェント O：5 回の探索で奇数のケースを解決（記号論証）
エージェント C：m=4, 6, 8, 10, 12 の具体的な解を発見（データ）
両エージェントは直接対話するのではなく、オーケストレーター（指揮者）を介して通信する。データもツールも、指揮者（人間に導かれた Opus 4.6）によって中継される。
オーケストレーターは「いつ、何を、どの形式で伝えるか」を判断する必要があり、これは 2 つのエージェント単独では成し得ない。
例えば、エージェント O は偶数のケースで m=10 にて行き詰まり、進展しなかった。そこでオーケストレーターがエージェント 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