針は宇宙のどこへ向けられるか——カケヤ予想の証明が開いた数学の地平

テーマの問い

「無限に細い針を三次元空間で全方向に向けるには、最低どれだけの空間が必要か？」——この問いは1917年に日本の数学者・掛谷宗一が提起し、以来約110年間にわたって世界中の数学者を悩ませ続けました。2026年7月、国際数学者会議でフィールズ賞[^1]を受賞したHong Wang（王虹、35歳）が、共同研究者Joshua Zahlとともにこの「カケヤ予想」の三次元版をついに証明しました。数学史における「100年に一度」とも言われる成果が、私たちに何を問いかけているかを考えます。

カケヤ問題とは何か

針の問題の誕生

1917年、掛谷宗一は「平面上の針（線分）を180度回転させて元の向きに戻すとき、針が掃く面積の最小値は？」という問いを提起しました。直感的には、針を円の直径として回転させれば、半円（円の半分）の面積が必要に思えます[^2]。

しかし1928年、ベシコビッチが驚くべき答えを示しました——理論上、面積ゼロに任意に近い領域で針を回転させることが可能なのです。これは「面積がほぼゼロの奇妙な形」（ベシコビッチ集合[^3]）が存在することを意味します。

三次元への拡張とカケヤ予想

問題を三次元に拡張すると、話が変わります。「三次元空間で針を全方向に向けるために必要な集合の次元[^4]は最低いくつか？」——これが「カケヤ予想」の核心です。数学者たちは長年、答えは「3（空間の次元と同じ）」であると予想してきましたが、証明は困難を極めました。

Wang氏とZahl氏は2025年2月に127ページに及ぶ証明を発表。フーリエ解析[^5]、調和解析、幾何学的測度論[^6]という三つの数学分野を橋渡しすることで、この予想を証明してみせました。

なぜ50年以上かかったのか

カケヤ予想が難しかった理由は、問いの「見た目のシンプルさ」と「内部の複雑さ」のギャップにあります。針を回転させるという直感的なイメージの背後に、異なる数学の分野が複雑に絡み合っているのです。

特に難しかったのは「スケール」の問題です。この証明では、非常に細かいスケールから巨大なスケールまで、多層的に空間の構造を解析する必要があります。Wang氏の貢献は、こうした多スケールの解析を統一的に扱う新しい手法を開発したことにあります。

数学者の間では「正しい問いを立てれば半分解いたも同然」と言われます。しかしカケヤ問題はそれを超えており、「正しい問いであることは90年前からわかっていたのに、答えにたどり着くための道具が存在しなかった」という稀有なケースです。Wang氏とZahlが作り上げた道具——多スケール解析の新手法——は今後、他の未解決問題にも応用されていくでしょう。

90年間で3人目の女性フィールズ賞受賞者

フィールズ賞は1936年創設以来、4年に一度、40歳以下の数学者に授与されます。受賞者72人中、女性は過去2人だけでした——2014年のMaryam Mirzakhani（2017年に43歳で逝去）と、2022年のMaryna Viazovska。Wang氏は3人目です。

この数字は「数学における女性の歴史」を考えるうえで重要な文脈を持ちます。19世紀、ソフィア・コワレフスカヤは女性であるがゆえに正規の大学教育を受けられず、男性の名義で論文を提出していました。エミー・ネーターは「環論」の基礎を作りながら、ナチス政権下でゲッティンゲン大学から追放されました。

Wang氏自身は「数学の世界がより多様になっている」と語る一方、同期のフィールズ賞受賞者Jacob Tsimermanは「数学という分野が危機に瀕している」と危惧を表明しています。AIが数学の証明を支援し始めた今、「人間の数学者の役割は何か」という問いが浮上しているのです。

AIと数学の新時代

フィールズ賞発表と同時期、数学界では別の地殻変動が進行していました。テレンス・タオ（2006年フィールズ賞受賞）は2026年前半に「数学のためのAI伝道師」を自認するようになりました。

AIは現時点では「ルーティンな証明の検証」や「計算の補助」にとどまっていますが、タオの見立てでは、AIが既存の数学論文を大量に学習して「類似パターンの発見」を行うことで、人間では気づかなかった証明の糸口を提示できるようになりつつあります。

カケヤ予想の証明はAIなしの純粋な人間の知性による成果ですが、今後10年でどれだけの未解決問題がAI補助で解かれるかは未知数です。逆説的なことに、「AIが解けない問題こそが、真に人間的な知的挑戦として残される」という未来も考えられます。

さらに学ぶための3点

1. 論文: Hong Wang & Joshua Zahl, "Three-dimensional Kakeya sets have large Hausdorff and Minkowski dimension" (2025) 数学的に詳細を追いたい場合の一次資料。arXivで公開されています。 ArXiv: https://arxiv.org/abs/2502.XXXXX

2. 記事: "Hong Wang Wins 2026 Fields Medal, the Third Woman Ever" — Quanta Magazine (2026) 受賞の背景と証明の意義をわかりやすく解説した記事。 URL: https://www.quantamagazine.org/hong-wang-wins-2026-fields-medal-the-third-woman-ever-20260723/

3. 書籍: 藤原正彦『天才の栄光と挫折——数学者列伝』（文春文庫） コワレフスカヤ、ラマヌジャン、ゲーデルなど、数学の歴史を彩った天才たちの人間的側面を描く。数学の「文化」を知るための最良の入門書のひとつ。

[^1]: フィールズ賞: 国際数学者会議（ICM）で4年に一度、40歳以下の数学者最大4名に授与される賞。ノーベル賞に相当する数学の最高栄誉とされる。 [^2]: 半円の面積: 半径rの半円の面積はπr²/2。針の長さを2rとすると、針を直径として回転させたときに掃く面積がこれに当たる。 [^3]: ベシコビッチ集合（カケヤ集合）: 全方向の単位線分を含む集合のうち、面積（ルベーグ測度）がゼロになりうるもの。二次元では存在が証明されている。 [^4]: 次元: ここでは「ハウスドルフ次元」と呼ばれる分数次元の概念。例えばフラクタル図形は整数でない次元を持つ。 [^5]: フーリエ解析: 複雑な波（関数）を単純な正弦波の重ね合わせに分解する手法。信号処理・音楽・画像圧縮など幅広い応用を持つ。 [^6]: 幾何学的測度論: 「面積」「体積」という概念を、通常の滑らかな形状を超えた複雑な集合に拡張する数学分野。