何が起きたか
- Wiredは2026年11月8日、Quanta Magazineの許可を得て、数学者Ronald Grahamが1971年に提起した並べ替え予想がどのように解かれたかを伝える記事を掲載した。
- 問いはこうだ。0でない数の集合が与えられたとき、部分和（最初の2つ、最初の3つ、と続く和）がすべて異なるように、いつでも並べ替えられるか。
- 数がすべて正の場合、または正と負が混在する場合、答えはすでに「はい」だった。Grahamが問うたのは、素数pで繰り返す「時計」の数という有限の世界ではどうなるかだった。
- 証明は4本の論文で示された。最後の論文はLisa Sauermann（ボン）とHuy Tuan Pham（シカゴ）によるもので、2026年2月に発表され、問題に決着をつけた。
なぜ重要か
この証明は、そうした硬直した設定でも、秩序のある構造がつねに存在することを裏づける。プリンストンのNoga Alonは、これを設計や対称性の高い構造に関する他の問いと結びつけている。
結果は、問題の異なる部分に取り組んだ別々の人々から生まれた。pに近い大きさの集合、ごく小さな集合、中程度の大きさの集合だ。証明が機械ではなく人間によるものだったことも、この物語の一部である。
数字で見る
55年。 1971年のGrahamの問いから、2026年2月の最後の論文までの期間だ。その間には、2022年（MüyesserとPokrovskiy）、2024年9月（KravitzとBedert）、2025年8月（拡大したチーム）の研究があった。
背景
ケースごとに異なる技法が必要だった。pに近い大きさの集合では、MüyesserとAlexey Pokrovskiyがランダムな順序から出発した。いくつかの数を取り分け、残りをシャッフルし、和が0になる区間を探して、取り分けておいた数で修正した。Noah KravitzとBenjamin Bedertは小さな集合に取り組んだ。たとえば、pが10億のときの100個の数だ。
隙間が残っていた。pの約半分の個数を持つ、中程度の大きさの集合だ。SauermannとPhamは、反集中と呼ばれる技術的に難しい手法でこれを埋めた。これは、ある事象が起こる確率が非常に低いことを主張するものだ。Kravitzによると、数学者たちはその道筋を知っていたが、試す勇気がなかった。
この証明がすべてを解決するわけではない。すべてのpに対して予想を試みる余地はまだあり、実際のジャグリングの演目を振り付けるのにも使えない。pが大きすぎるからだ。Grahamはジャグラーだった。この類比は、それぞれのボールが異なる時間だけ空中にあり、同じ拍で着地することがない、というものだ。
Mamíferoは数学の進展を追ってきた。AI支援の証明が量子優位性に関する2008年の問題に決着、Axiomがエージェントを使ってStacks Projectを検証、頭頂皮質は推定された範囲に応じて数のコードを再調整する、折り紙の構造が3つの状態で計算する。
今後
- 数学者は、すでに扱われた場合だけでなく、すべてのpについて予想の解決を試みることができる。
- 反集中の技法は、組合せ論の他の問題に使える道具として残る。
- Grahamの同僚のChungは、この問題が解かれるのを見て「とても嬉しい」と語った。
まとめ
これは協力の物語だ。めったに交わらない分野の人々が、半世紀にわたって残っていた問題を部分ごとに解いた。価値は命題そのものにとどまらない。確率的な手法と組合せ論の方法が、ほかの問いに使える形で残されたからだ。
出典
- Wired（Quanta Magazineからの転載）、「A 55-Year-Old Math Problem Was Solved—This Time by Humans」、2026年11月8日、リンク。
- カバー画像：カナダのKenora出身のMarcus Jeffrey、CC BY-SA 2.0、Wikimedia Commonsより
編集：Rodrigo Cornejo。選定と検証の方法：ノートを書いているのは誰か。
.jpg){kind=link}