たった1つの「魔法六角形」を見つけるために、アメリカの鉄道職員クリフォード・アダムズ（Clifford Adams）は半世紀近くを費やした。1910年に試行錯誤を始め、答えにたどり着いたのは1957年のことだった。しかし2026年8月2日、新しい証明がさらに驚くべき結論を提示した——この図形は、3階以上であればすべての次数で存在し、欲しい次数のものは公式通りに直接構成できるというのだ。
元の論文は gukov.dev に掲載され、Hacker News の議論では178ポイントを獲得した。コメント欄で賞賛されているのは、その構成における見事な工夫である。本記事では、その経緯と仕組みを分かりやすく解説する。
まずは3×3の魔方陣から
3×3の九宮格に1から9までの数字を詰め、すべての行・列・2本の対角線の合計が15になるようにする。これは小学生のパズルでもお馴染みであり、最も素朴な「魔方陣」の姿である。中国の古代の書物にある「洛書（らくしょ）」もこれに該当する。
魔方陣には4,000年以上の歴史があり、数学者によって研究し尽くされている。方陣のサイズがいくら大きくても、直接生成するための既存のアルゴリズムが存在する。「魔法六角形（Magic Hexagon）」はその六角形版の親戚である。格子をハニカム（蜂の巣）状に変え、数字を3つの方向に沿って直線状に並べ、すべての直線上の和が等しくなることを要求する。一辺の長さが $n$ 個の格子で構成されるものを「$n$ 階」と呼び、格子の総数は $3n^2-3n+1$ 個となる。3階は19格子で、ちょうど1から19までの数字が収まる。
魔方陣と異なり、六角形の直線は長さが揃っていない。同じ「1つの直線」と呼ばれても、3マスのものもあれば5マスのものもある。それにもかかわらず、合計はすべて同じにならなければならない。この1点だけでも、3×3の魔方陣より遥かに難易度が高い。
標準バージョン：存在するメンバーは2つだけ
標準バージョンでは、数字が1から始まる連続した自然数であることが求められる。このバージョンはきわめて厳しく、標準条件の下では、魔法六角形は1階と3階の2つしか存在しない。 1階は1つのマスに「1」を書くだけのものであり、3階は1から19までの数字を詰め、3方向計15本の直線の和がすべて38になるものである。回転や裏返しを除けば、これ以外の配置は存在しない。
図：1から19までの数字を配置したクラシックな3階魔法六角形。すべての直線上の合計は38。出典：Wikipedia
「2つしか存在しない」ことには証明があり、しかも非常に短い。格子の中の数をすべて足し合わせると、各直線の和は必ず整数にならなければならない。式を推し進めていくと、整除条件を満たせるのは $n=1$ と $n=3$ だけとなる。2階に至っては存在すらしない——2階で計算される各行の和は 28/3 という分数になり、即座に対象外となる。
3階の解は、歴史上何度も再発見されてきた。最も広く知られているエピソードは、鉄道職員のクリフォード・アダムズが1910年から1957年まで試行錯誤を続け、1963年にマーティン・ガードナー（Martin Gardner）が数学コラムで紹介したというものである。1つの謎、1人の男、そして半生。
裏門を開ける：1以外の数から始める
物語はここで終わるはずだった。多くの人々の判断は「六角形の道はここで行き止まりであり、魔法六角形は孤立した存在である」というものだった。しかし、「2つしか存在しない」という証明が縛っていたのは、「数字が1から始まる」バージョンに過ぎない。 スタート地点をずらしたらどうだろうか？例えば -9 から 9 までを並べるとしたら？
制約をほんの少し緩めるだけで、新しい世界が現れた。このような「変則魔法六角形」は、3階、4階、5階、6階……と次々に発見されていった。ただし、その代償は極めて大きかった。公式も既存のアルゴリズムも存在せず、とてつもなく広大な順列空間の中で力まかせに探索するしかなく、1つの解を見つけるのに数年を要した。新しい記録が出るたびにニュースになったのは、次の階数に解が存在するかどうか誰にも保証できなかったからである。最大のものでは2024年に Klaus Meffert が AI を活用して10階を発見した。この道がどこまで続くのか誰にも分からず、多くの人は長くは続かないと考えていた。
新しい証明：探すのではなく「構成する」
2026年8月2日、gukov.dev に新しい成果が投稿された。「3階以上であれば、すべての階数で魔法六角形が存在する」 というものだ。表現に注目してほしい。「いくつか新しく見つかった」ではなく、「すべて存在する」であり、一度に無限の階数を攻略したのである。
著者の手法には2つの決定的な工夫がある。1つ目は対称性の導入である。中心に 0 を置き、点対称の位置にある格子同士を互いに正負反対の数（反対数）にする。こうすることで、中心を通る直線は自動的に和が 0 になり、その他の直線の制約も半減する。2つ目は視点の転換である。六角形を「ポテンシャル場」の地形図として見なすことだ——この表現形式においては、すべての直線の和が 0 になる条件が自動的に成立し、試行錯誤して合わせる必要すらなくなる。
図：新しい構成法により直接生成された50階の魔法六角形。7,351個のマス目を含み、すべての直線上の和が等しい。出典：gukov.dev
図：同じ50階魔法六角形の「ポテンシャル場」ビュー。地形図のような構造を持つ。制約が自動的に満たされた後は、数字を埋める作業となる。出典：gukov.dev
探索空間は劇的に縮小した。著者は AI に専用のソルバーを書かせ、自宅サーバーの24コアで数日間計算を実行し、3階から10階までをすべて発見した。しかし、これは序曲に過ぎない。どれほど多く見つけても有限個に過ぎないからだ。真の突破口は「構成」にあった——まず一部の階数が公式によって構築できることを証明し、それを段階的に拡張して、最終的にすべての階数を手中に収めたのである。その過程は一筋縄ではいかなかった。途中で一度行き詰まり、妥協案として「無限個存在する」ことの証明に切り替えた時期もあったが、最終的にはすべての制限を取り払うことに成功した。構成の核心的なツールとなったのは「ラングフォード系列（Langford sequence）」と呼ばれる、ペアの数字を特定の規則で並べる組み合わせ構造である。証明の過程では AI 定理証明アシスタントが活用され、対話記録までもがネット上に公開されている。
なぜコメント欄の人々はこれほど感服したのか？それは、構成的証明が単に「存在する」と言うだけにとどまらないからだ。「指示に従えば、任意の階数の魔法六角形を作り出せる」というアルゴリズムを提供しているからである。 著者はついでに50階や500階の完成品を生成して公開した。500階には74万個以上の格子が存在する。一見すると数値の並びは雑多に見えるが、ポテンシャル場ビューに切り替えると、斜面、山脊、谷間が連なる滑らかな地形が浮かび上がる。ランダムな検索で得られたものとは思えないほど美しい。
なぜ「存在」の証明が必要なのか
一般の人はこう問うかもしれない。「1つ見つかればそれで十分ではないか？なぜわざわざ証明するのか？」と。なぜなら、探索では永遠に答えが出ないからだ。10階まで探しても100階が残り、100階まで探しても1万階が残る。検証は常に有限であり、証明だけが無限をカバーできる。 数行の公式が無限を走破する——これこそが存在証明の重みである。また、それには実用的な意義もある。後続の研究者に「解が存在する」という確信を与え、より美しい解を探す勇気を与えることだ。
同時に、この証明の限界についても明確にしておく必要がある。まだ形式的検証（マシン検証）は完了しておらず、査読による独立した検証も済んでいない。著者自身も記事の中でその旨を明記している。また、2階は依然として存在しない——著者はディスカッションで、2階では構造上重複する数字が強制的に発生することを確認している。数学のルールは変わっていない。新しい成果は査読を待つ必要がある。
境界線は想像よりも遠くにある
この物語で最も興味深い部分は、古い証明が間違っていたわけではないということだ。古い証明は確かに「1から始まる」すべての大きな階数を阻んでいた。数学における「ここまで」という結論は、しばしば特定のルールの下でしか成立しない。 古い証明が表門を閉ざしていたのに対し、新しい証明は裏門から入った——スタート地点を1つずらしただけで、無限の解が門の外に立っていたのである。
鉄道職員が半生をかけて探し求めたものが、今や1ページの公式から望むだけ手に入るようになった。筆者が書きながら思うのは、数学の境界線とは決して世界の境界線ではなく、人類が自らに引いた境界線に過ぎないということだ。次に3×3の魔方陣を目にしたときは、その六角形の親戚に思いを馳せてみてほしい——蜂の巣の奥深くには、すべての階数に灯りがともる階段が広がっている。
参考リンク：
- gukov.dev: There Are Magic Hexagons of Every Order
- HN 議論 (item?id=49229174)
- Wikipedia: Magic hexagon
- Wikipedia: 魔方陣
