針を一回転させる最小の広さ：掛谷問題

2026年10月7日の朝（日本時間）、OpenAIがGitHubに一挙公開した722本の数学論文の中に、日本人の名前を冠した問題がありました。「Kakeya」。1917年、東北帝国大学の数学者、掛谷宗一が投げかけた「針の問題」です。

問いはこうです。長さ1の針を平らな机の上でくるりと一回転させたい。そのために必要な場所の広さは、最小でどれだけか。

答えは「いくらでも小さくできる」。この奇妙な答えが出たあと、問いは「次元」という別の物差しに姿を変え、100年かけて数学の中心へ入り込んでいきました。2025年に人間が3次元の場合を解き、そして今回、OpenAIのAIが「4次元を証明した」と主張しています。

その主張の検証は、まだこれからです。

掛谷問題 Executive Summary（情報図解）

1917年に仙台で生まれた「針を回す」問い

掛谷宗一は1886年、広島県深安郡坪生村（現在の福山市）に生まれました。東京帝国大学で数学を学び、1912年に東北帝国大学の助教授となります。

針の問題は、この東北時代に生まれました。1917年、掛谷は同僚の藤原松三郎とともに、東北の学術誌でこの問いを発表しています。

その後、掛谷は東京へ移り、1928年には帝国学士院恩賜賞を受け、同年ボローニャの国際数学者会議で招待講演を行いました。晩年には統計数理研究所の初代所長も務めています。

着想について、のちに数学者の矢野健太郎が尋ねたところ、「武士は便所に入るときも槍を持っていった。狭い場所で槍を振り回すことになったらどうするか」と答えた、という逸話が伝わっています。ただし掛谷の研究ノートにそうした記述は見つかっておらず、東北大学の複数の人物が問題の成立に関わったことも確認されています。

いちばん素直な答えは、直径1の円です。針の真ん中を円の中心に置き、そのまま回せば一回転できます。

長さ1の針を直径1の円の中で回す図。面積はπ/4、約0.785

面積は約0.785。しかし、もっと小さな形があります。日本語の記録によれば、掛谷が最初に挙げたのは、おむすびのような「ルーローの三角形」でした（面積は約0.705）。

すぐに、もっと小さい答えが見つかります。高さ1の正三角形です。

頂点を軸に60度回し、辺に沿って滑らせ、次の頂点でまた60度回します。これを3回繰り返すと針の向きが逆になり、さらに続ければ一回転します。

高さ1の正三角形の中で針を回す手順。面積は1/√3、約0.577

1920年、ハンガリーの数学者パールは、へこみのない図形（凸図形）に限れば、この正三角形が最小だと証明しました。面積は約0.577です。

掛谷が「これが最小では」と考えた形

へこみを許せば、もっと小さくできます。掛谷が最小ではないかと考えたとされるのが、3つのとがりを持つ「デルトイド」という曲線です。

デルトイドの中で針が曲線に接しながら向きを変える図。面積はπ/8、約0.393

デルトイドは、半径1/4の円が半径3/4の円の内側を転がるときに、円周上の1点が描く軌跡です。この曲線には、どこで接線を引いても、曲線に切り取られる長さがちょうど1になる、という性質があります。針はいつも曲線に接したまま、するすると向きを変えられます。

面積はπ/8、約0.393。円のちょうど半分です。

形も美しく、計算もきれいに合う。多くの人が、これが答えだと考えたのも自然なことでした。

答えは「いくらでも小さく」——ベシコヴィッチの逆転

答えを覆したのは、ロシア帝国生まれの数学者アブラム・ベシコヴィッチです。

1919年、内戦下のロシアのペルミで、ベシコヴィッチは積分に関する別の問題を考えるうちに、あらゆる向きの線分を含みながら面積が0の図形を作ってしまいました。論文はロシアの政情不安の中で埋もれ、知る人はごくわずかでした。

1928年、彼はこれを掛谷の問題に結びつけます。針を一回転させられる図形の面積は、いくらでも小さくできる。0.1でも0.001でも、どんな小さな数を指定されても、それより小さい面積で針を回せる図形が作れる、という答えです。

同じ年、ドイツの数学者ペロンが構成を簡略化しました。その形から「ペロンの木」と呼ばれています。

ペロンの木の作り方。三角形を細かく切り、ずらして重ねると、向きの範囲を保ったまま面積が減っていく

やり方は、三角形を縦に細く切り分け、隣どうしを横にずらして重ねることです。どのかけらも元の向きを保っているので、図形全体としては、元の三角形と同じ範囲の向きの線分を含み続けます。重ねた分だけ、面積が減ります。

図は、高さ1の正三角形から出発し、重ね方を計算で最適化した結果です。1024本に切り分けても、面積はまだ元の19%。減り方は驚くほどゆっくりですが、分割をどこまでも増やせば、面積はいくらでも0に近づきます。

針を実際に連続して回すには、もう一工夫が要ります。平行な位置へ移るときは「N」の字を描くように長く滑らせれば、余分に掃く面積はいくらでも小さくできます。このつなぎ方は、先ほどのパールが考えたものです。

針を一回転させられる図形の面積の比較。円0.785、ルーローの三角形0.705、正三角形0.577、デルトイド0.393、1965年の穴のない図形0.284、ベシコヴィッチの図形はいくらでも小さく

ひとつ注意があります。針を連続して回す図形の面積は「いくらでも小さく」できますが、必ず0より大きな値になります。面積0にできるのは、「あらゆる向きの線分を含む」だけの図形です。

面積が0でも「細く」はならない——問いは「次元」へ

面積が0の図形は、すかすかの、ほとんど何もない集合に思えます。ところが、話はここから新しい局面に入ります。

数学には、面積とは別の「大きさ」の測り方があります。それが次元です。

次元の考え方。目盛りを半分にしたとき、図形を覆う箱の数が何倍になるかで次元が決まる

線分を覆う箱の数は、目盛りを半分にすると2倍になります。正方形なら4倍です。

この倍率が2の何乗にあたるかが、次元です。三角形から真ん中を抜き続けた「シェルピンスキーの三角形」なら3倍で、次元は約1.58という中途半端な値になります。

1971年、イギリスのデイヴィスは、平面にある「あらゆる向きの線分を含む図形」は、面積が0であっても次元は必ず2になることを証明しました。面積という物差しでは「無」に近いのに、次元という物差しでは平面をまるごと埋めた図形と変わらない、ということです。

では3次元の空間ではどうか。あらゆる向きの針を含む立体は、体積を0にできても、次元は3のままなのか。これが現在「掛谷予想」と呼ばれる問いです。

同じ1971年、フェファーマンがベシコヴィッチの図形を使い、波を重ね合わせて関数を表す「フーリエ解析」の自然な予想が成り立たない例を示しました。細い管が向きを変えながら重なり合う様子は、波の重なり方そのものだったのです。以後、掛谷予想は解析学の大きな問題群と結びつき、米Quanta Magazineが「50年にわたって数学者を悩ませてきた」と書く難問になりました。

有限の格子の世界では数ページで解けた

2008年、思わぬ方向から光が差します。イスラエル出身の計算機科学者ゼーブ・ドヴィルが、掛谷予想の「有限体版」を証明しました。

5×5の格子で考える掛谷問題。直線は端で反対側へ回り込む5個の点。全6方向の直線を含む集合の例は17点

舞台は、点が有限個しかない格子の世界です。そこでの「直線」は、端まで行くと反対側から戻ってくる点の列になります。この世界でも、あらゆる向きの直線を含む集合は、全体のかなりの割合を占めるはずだ、というのが有限体版の予想でした。

ドヴィルの証明は、多項式という中学校で習う道具を使います。集合が小さすぎると、それをまるごと通る次数の低い多項式が作れてしまい、各直線の上で矛盾が起きます。

この骨組みだけで、証明はほぼ終わりです。フィールズ賞受賞者のテレンス・タオは自身のブログで、「証明があまりに短いので、ここで全文を紹介できる」と書きました。

ただし、有限の世界の証明は、連続した空間の掛谷予想にはそのまま使えませんでした。本丸は残ったままです。

2025年に人間が3次元を解いた

2025年2月24日、ニューヨーク大学の王虹（ワン・ホン）とブリティッシュコロンビア大学のジョシュア・ザールが、127ページの論文を公開しました。結論は「3次元の掛谷集合は、ハウスドルフ次元もミンコフスキー次元も3である」。3次元の掛谷予想の解決です。

掛谷集合の次元の下限の推移。3次元はWolff 1995の5/2からWang–Zahl 2025の3へ。4次元はKatz–Zahlの3.059までで、OpenAIが4と主張

1995年にウォルフが「少なくとも2.5」を示してから30年、記録はわずかずつ伸びるにとどまりました。そこから一気に3まで届いたのです。

Quanta Magazineの記事で、ライス大学のネッツ・カッツは「誇張は要らない。100年に一度の結果だ」と語り、タオは「永久機関を完成させるようなもの。魔法だ」と評しました。

王虹は1991年、中国・桂林の生まれです。北京大学を卒業し、フランスのエコール・ポリテクニークを経て、2019年にマサチューセッツ工科大学で博士号を取りました。

2026年7月23日、米フィラデルフィアの国際数学者会議でフィールズ賞を受賞しています。授賞理由には「3次元の掛谷予想の証明」が明記され、女性の受賞は史上3人目でした。

1917年に仙台で生まれた問いが、108年後に解かれ、109年後に数学の最高賞をもたらしたことになります。

OpenAIの「074番」は何を主張しているのか

今回の公開でOpenAIは、結果番号074「Kakeya in three and four dimensions（3次元と4次元の掛谷）」として、2本の論文を出しました。主張は次の2つです。

3次元の「掛谷極大予想」：97ページ。王・ザールが解いた予想を、量的に強めた版
4次元の掛谷予想（ハウスドルフ次元）：175ページ。4次元空間であらゆる向きの線分を含む集合は、次元が4になる

OpenAIの074番の主張と検証状況の一覧。3次元集合予想は解決済み、3次元極大予想と4次元集合予想は証明したと主張、査読前でLeanなし

3次元の「極大予想」は王・ザールの何を超えるのか

王・ザールの論文自身が、境界線を引いています。「3次元の掛谷極大予想は解決していないが、より弱い主張で（次元が3であることを示すには）十分である」。

極大予想は、図形を細い管の集まりとして扱い、「各管のうち一部分しか使わなくても、管どうしが重なりすぎない」ことを、最も効率のよい形の不等式で保証する主張です。王・ザールの定理は、この「一部分しか使わない」場合の損失の見積もりが粗く、次元の結論までは届き、極大予想はその先に残りました。

OpenAIの3次元論文は、まさにこの差を埋めたと主張しています。極大予想が成り立てば、元の掛谷予想（次元は3）も自動的に従います。つまり、王・ザールの結果を含む、より強い主張です。

ただし、出発点は人間の成果です。論文が土台にしているのは、王とザールに、王の博士課程の指導教員でもあるマサチューセッツ工科大学のラリー・ガスが加わった3人による「簡潔化した証明」（2026年1月公開）の評価式です。

4次元の「次元は4」

4次元では、これまで人間が証明できていたのは「少なくとも約3.059」まででした。OpenAIの論文は、これを一気に4まで引き上げたと主張しています。論文は、集合が測れるかどうかといった技術的な条件も一切置いていないと強調しています。

4次元の論文は、同じリリースの3次元論文の補題を部品として使っています。3次元の主張が崩れれば、4次元の証明もその部品を失います。

なお、主張の範囲は3次元の極大予想と4次元の掛谷予想までで、4次元の「極大予想」と5次元以上の掛谷予想はその外にあります。5次元以上については、「少なくとも4」という副産物の記述にとどまります。

「証明したと主張」と「証明された」の間

OpenAIのリポジトリには、証明をコンピューターで1行ずつ検証できるプログラミング言語「Lean」による形式化が付いた結果があります。372の結果群のうち235件にLeanへのリンクがあり、074番はリンクのない残り137件の側です。

READMEには「形式化されていない結果には問題がありうる」と明記されています。97ページと175ページの論文を専門家が査読した記録も、2026年10月7日時点で確認できた範囲ではゼロです。

反応はまだ速報の段階です。

カリフォルニア大学アーバイン校のパータ・イヴァニスヴィリは「3次元の掛谷はフィールズ賞を取った。4次元の掛谷はAIが解いた。その意味をよく考えてほしい」と投稿しました。

プリンストン大学のロドリゴ・ポルトも「掛谷極大予想が解けた？　掛谷予想より強い版だ」と驚きをあらわにしています。

一方、マサチューセッツ工科大学のアンドリュー・サザーランドは米Scientific Americanに対し、モデルが公開され結果を再現できるまでは「未検証として扱うべきだ。証拠を求めよう」と語っています。

OpenAIが助言を求めたプリンストン高等研究所の「数学とAIに関する諮問グループ」も声明を出しました。「この公開は、人間がこの仕事を理解し、数学の知識として取り込む過程の始まりであって、完了ではない」。

王・ザールの論文も、公開直後から専門家が読み込み、解説論文や簡潔化された証明が出て、ようやく「解けた」が定着しました。074番の数百ページは、その過程の入り口に立ったばかりです。

掛谷問題の110年の年表。1917年の掛谷の問いから、2026年10月のOpenAIの主張まで

物差しを替えると同じものが別の顔を見せる

掛谷の問題が110年生き延びた理由は、答えが一度「0」で終わったあとに、問いが測り方を替えて生まれ直したことにあります。

面積で測れば限りなく無。次元で測れば満点。同じ図形が、物差しひとつで正反対の評価を受けました。

仕事の現場でも、同じことが起きます。

コストで測れば削れるはずの部署が、別の指標で測ると事業の骨格を担っていた。そんな例はよくあります。どの物差しで測るかを決めた時点で、答えの半分は決まっています。

もうひとつは、「主張」と「検証」を分けて読む姿勢です。発表の大きさと、確かめられた度合いは別物です。今回のOpenAIの発表で確かなのは、「AIが、3次元の極大予想と4次元の掛谷予想について、合計270ページを超える証明を書き、正しいと主張している」ところまでです。

掛谷が机の上で回した1本の針は、いま4次元の空間で回されようとしています。それが本当に回り切ったのかを確かめるのは、これからも人間の仕事です。