あらゆる次数の魔法六角形が存在することを証明

Konstantin Gukovは、異常魔法六角形があらゆる次数n>3に対して存在することを示す構成的証明アルゴリズムを発見した。反対称六角形の観察とポテンシャル場表現を用いて探索空間を縮小し、GPT-5.6 SolとAristotleなどのAIシステムで形式証明を開発した。

リード段落

19世紀から知られた魔法四角形と同じ概念を六角形格子に適用した魔法六角形について、Konstantin Gukovが次数n>3のすべての場合に存在することを示す構成的証明を発表した。この研究は、ブルートフォースによる次数21までの六角形発見と、より大きい次数全般を網羅する構成的論証を組み合わせたものである。

魔法六角形の定義と既知の制限

魔法六角形は六角形格子上の各セルを配置し、3つの方向のすべての直線が同じ合計値になるように構成する。通常の魔法六角形は1から3n²-3n+1までの連続した数を含む。ただし、次数n>3のすべての通常魔法六角形については、1から3n²-3n+1までの数の合計が(2n-1)で割り切れないため、唯一つの非自明な通常魔法六角形は19個のセルを持つものだけである。

Klaus Meffertは2024年に次数n=9の六角形を発見し、2026年7月時点でこれが最大既知解であった。

構成的証明の手法

Gukovは自宅サーバーの24個のCPUコアを用いたシミュレーティッドアニーリングにより、次数n=21までの魔法六角形をすべて発見した。反対称六角形のポテンシャル場が対称であるという観察により、探索空間を有意に縮小できた。

証明開発ではGPT-5.6 SolがHeffter配列への接続を指摘し、複数のAIシステムが協力して形式証明に至った。最終証明は相対的に低い次数からの構築アルゴリズムを提供する構成的なものであり、次数n>3のすべてのケースを網羅する。初期段階では16で割り切れる次数について800の閾値が証明され、最終的には114の便宜的な閾値に至った。例として500などの大きな次数の六角形も当該構成法で生成されている。

証明のプロセス

当研究はMidnight Code Cup 2026という、LLMの使用が明確に奨励されたプログラミング競技の中で進められた。証明はLeanで形式化されておらず、執筆時点では非形式的な構成的証明として示されている。

筆者の見立て

• 分野を進展させるには、探索速度を高めるより探索空間を小さくすることに焦点を当てるべきだと論じている。
• より高い対称性を満たす解が全く存在しない可能性を示唆している。
• ポテンシャル場の滑らかさは探索の手がかりであったか、単なるアーティファクトであったのかを解釈している。
• ポテンシャル場パターンの下に何らかのより大きな構造が隠れていた可能性を示唆している。
• AIは領域固有のソルバー開発において異常に有効であると論じている。
• 閾値114が構成方法の根本的な限界ではないと解釈している。
• 本プロジェクトで発見された手法は他の組合せ構成問題に適用できると予想している。
• 数学は現在、ソフトウェアエンジニアリングと同様に検証がボトルネックになる問題に直面していると解釈している。

この記事は元記事の事実のみに基づいて自動生成されました。

出典

gukov.dev 『There Are Magic Hexagons of Every Order』 https://gukov.dev/math/2026/08/02/new-magic-hexagons.html