魚羊 凹非寺にて
量子位 | 公式アカウント QbitAI
AIは今まさに数学証明の掃討モードを本当に開始した。
たった今、また数学愛好家GPT-6 Astraで1つを57年数学の難問は大きく前進した。
問題は一見それほど複雑ではなさそうに聞こえる：
半径1の円板がN個与えられたとき、それらを大きな円の中にどのように詰め込めば、大きな円の半径をできるだけ小さくできるでしょうか？
実のところ、数学者たちは1969年にすでに美しい配置案を示してはいたのだが、ただ……57年もの間、それが最適解であることを厳密に証明できた者はいなかった。
そこで今回、数学愛好家のnorはGPT-6 Astraを取り出し……そして一気に15、16、17、18、20という5つの場合、つまりN≤20の残りのケースはすべて厳密に証明された……
以前は、N≤14およびN=19の場合のみが検証されていた。
あ、そうだ、Nから20というのはAIの限界ではなく、norがそれ以上証明しようと考えなかっただけなんだ……
半世紀の間、足止めされていた証明
まずこの問題を、もう少し数学的な形式に整理してみましょう。
半径がすべて1であるN個の円盤と、半径Rの大円があると仮定します。
要求：
すべての小さな円盤は大きな円の内部に完全に収まっていなければならず、大きな円の境界と接することはできますが、境界を超えてはなりません。
任意の2つの小さな円盤は内部で重なり合ってはならないが、互いに接することは許される。
小円は大円内で自由に移動・配置でき、配置方法に制限はありません。
問題は次のとおりです。与えられた正整数Nに対して、大円の半径Rは最小でいくつにできるでしょうか。
一見するとごく平凡なオリンピック数学の問題に見えますが、実際には、最適な配置を見つけることは問題の第一段階にすぎず、難しいのは、その配置がすでに限界に達しており、それより良い並べ方が他に存在しないことを数学的に厳密に証明する方法です。
1968年、アメリカの数学者グレアムはN≤7の場合を証明した。
1969年、数学研究者Udo Pirlは証明の範囲を10枚の円盤まで推し進め、さらに11〜19枚の円盤の配置方案についても研究した。
しかし2003年頃になってようやく、N≤14およびN=19の場合が厳密に証明された。
norは数学、機械学習、最適化アルゴリズムを長年研究してきたテクニカルライターで、AI支援の数学研究に公の場でたびたび参加しています。
彼自身は10年以上前にこのテーマに注目していたが、この問題はこの十数年間、確かにほとんど進展がなかった……。
それはもう言うまでもなく、GPT-6 Astraに丸投げすればちょうどいい（という冗談）。
norも段階を踏んだ：まずGPT-6 AstraにN=15の場合を処理させ、モデルが解決した後、同じ手法を16、17、さらに18や20へと一般化させた……GPT-6 Astraはいずれも証明結果の提示に成功した。
ただ、まあ……
証明過程は相変わらず難解で、理解しがたいものだった。
簡単に言えば、GPT-6 Astraの中心的な発想は次の通り：
最適解を直接探すのではなく、幾何学的制約を通じて無限にあり得る排列を有限の場合へと絞り込み、その後コンピュータで一つずつ排除していき、最終的に古典的排列が最適であることを厳密に証明した。
証明のプロセスは5つのステップに分かれる：
外側の円盤を境界へ押し出す。特定の条件を満たす場合、外円に近い円盤を重なりを生じさせることなく外側へ移動できることを証明する。これにより、円盤は境界上のグループと内部のグループに分けられる。
角度の関係を利用して多数の配列を排除する。円盤は重なってはならないため、互いに一定の角度間隔を保たなければならない。ある配列が要求する角度の総和が360°を超える場合は、直接排除できる。
コンピュータに残りの可能性を列挙させる。各円盤の具体的な座標を探索するのではなく、円盤から円心までの距離の区間とその周回順序を検査する。
幾何学的剛性を用いて厳密な最適性を証明する。前述の探索は、すべての実行可能な配列が既知の古典的な配列に非常に近いことしか証明できない。次に、円盤間の接触制約を利用して、これらの配列が条件を満たす微小な変形を起こし得ないことを証明し、「非常に近い」を「厳密に一致する」へと引き上げる。15個の円盤の場合には、別の奇数環論証が用いられた。
元の配列を復元する。最後に、元の配列では必ず少なくとも1つの円盤が外円の境界に接触することを証明する。これは、すべての円盤をより小さな半径の外円に押し込むことが不可能であることを意味し、最適性の証明が完成する。
強調しておきたいのは、norが一輪のプロンプトを与えただけで、Astraがどんどん全部証明してしまったわけではないという点だ。
norはブログ記事の中で、人間である自分がこの作業で果たした貢献として以下を挙げている：
問題の実現可能性の判断、モデルの誘導、バグだらけのウェブユーザーインターフェースとの戦い、ひどい文章への耐久、細かい問題の修正、記述の繰り返し推敲、有効性の手動検証、そしてAstraとOpus 5.5を使った全内容の再チェック。
One More Thing
興味深いことに、norが結果を投稿するやいなや、AIを使って同じ問題を研究している仲間がまだたくさんいることが分かった。
また、あるネットユーザーは、AIのブレークスルーによって数学がより理解しやすくなったと述べ、「数学の分野にこれほど濃厚な探究の雰囲気があるとは知らなかった」と語った。
数学愛好家たちの立場から言えば、これもまた数学2.0時代の新しい風潮だろう。
原文リンク：
[1] https://nor-blog.pages.dev/posts/2026-10-11-circle-in-circle-packing-15-20/
[2]https://x.com/norxornor/status/2109078411251454017
— 完 —