要約:
2026 年のフィールズ賞受賞者の王紅氏は、3 次元掛谷集合予想の証明で数学界最高の栄誉を獲得しました。 1 世紀にわたるこの幾何学的問題は、彼女の手によって 2 次元から 3 次元への歴史的な飛躍を達成し、過去 10 年間で最も重要な数学的進歩となった。
わずか 3 か月後、OpenAI はこの研究を大きく前進させました。より困難な 3 次元の Kakeya 最大関数予想を解決しただけでなく、4 次元の Kakeya 集合のハウスドルフ次元が 4 に等しいことも初めて証明し、3.059 次元で止まっていた人間のこれまでの最高記録を 1 次元上に押し上げ、理論上の上限に達しました。
ただし、これは OpenAI の数学世界への挑戦の氷山の一角にすぎません。
今回、OpenAI は、372 の結果ファミリーに分類された 722 の数学原稿を一気にリリースしました。これは、準リーマン予想、ヒルベルトの 10 番目の問題、カタロニア定数関連の問題、および長年学術コミュニティを悩ませてきた他の数十の古典的な問題を含む、掛谷問題をはるかに超えた領域をカバーしています。すべてのコンテンツは、名前すら付けられていない内部モデルから派生しています。各問題にかかる時間は平均してわずか 3 時間です。
OpenAI はこれらの原稿を GitHub に投稿し、オンラインになってから 24 時間以内に 10,000 個のスターを獲得しました。
人間数学協会は、「数学者は OpenAI にこの研究を依頼したわけではない」と述べた。同氏はまた、これらの原稿には検証が欠けており、OpenAIによる単なる「パフォーマンスマーケティング」に過ぎないと述べた。
原稿番号 074 とは一体何ですか?
掛谷の問題の起源は、1917 年に日本の数学者掛谷聡一が提起した問題です。細い針を持っていて、それを平らな面に置き、それを一周回して (または、針を全方向に向けて) みましょう。針が掃引できる最小の領域はどれくらいですか?
直感的に言えば、針には長さがあるので、1 回転するときに円盤を掃き出すはずですよね。
そうではありません。その後、数学者ベシコビッチは、回転方法が十分に「賢い」限り、針で掃引される領域は任意に小さくすることができ、指定した正の数値よりもさらに小さくできることを証明しました。
これに基づいて、数学者は各方向の線分を含む「ゼロ領域」のセットを構築しました。このタイプのセットは「ベシコビッチセット」または「カケタニセット」と呼ばれます。
面積は 0 まで小さくできるので、この問題は解決しないでしょうか?しかし、そうではありません。
「面積がゼロ」というのは、このセットに厚みがなく、スペースを取らないことを意味するだけで、それがどれほど「複雑」であるかを表現することはできません。
線と線の球の数学的面積はどちらも 0 になる可能性がありますが、明らかに 2 つは同じものではありません。
そこで数学者たちは考え方を変えました。このセットには面積がありませんが、線というか面というか、立体に近いのでしょうか？つまり「次元」というものがあるのです。
線は 1 次元、紙は 2 次元、ボックスは 3 次元です。ただし、特に「疎」なセットでは、次元が 2.5 次元などの小数になることもあります。
「ハウスドルフ次元」は、最も一般的に使用される定規の 1 つです。そのロジックは、セットをカバーするために非常に小さなボールを使用することです。ボールは何個必要ですか?球の半径が半分に減り、必要な球の数が 2 倍になると、セットは線のように 1 次元になります。 4 倍にすると、平面のように 2 次元になります。 8倍であれば、立体的な、固体のようなものになります。間には 10 進数の次元があります。
2 次元平面では、数学者は 1971 年に、全方向の線分を含む集合は、たとえその面積が 0 であっても、次元が 2 でなければならないことを証明しました。
三次元空間についてはどうでしょうか?四次元についてはどうでしょうか？高次元についてはどうですか？数学者は次のように推測します。n 次元空間では、集合に全方向の単位長の線分が含まれている限り、その体積が 0 であっても、そのハウスドルフ次元は n に等しいはずです。これが有名な「カケヤ集合予想」です。
2026 年、王紅はフィールズ賞を受賞しました。受賞の正式な理由は、フーリエ限界問題と 3 次元掛谷問題における彼女の大きな進歩でした。それらの中で最も核心的で最もよく知られているのは、前述した 3 次元カケヤ集合予想です。
今回 OpenAI が解決した 2 つの問題は、Wang Hon の「パワー強化版」です。
最初の仮説は、3 次元の Kakeya 最大関数予想です。
名前の「最大」は、「最大値を選択する」という行為を指します。
宇宙に密度が不均一な霧があると仮定します。細いストローを用意して、さまざまな位置で吸います。ストローに含まれるミストの平均濃度が異なります。
この方向で可能なすべての補間を試し、最も濃度が高いものだけを記録します。この「最高値」がこの方向の「最大値」となります。
再度方向を変えて同じことを繰り返し、別の「最高値」を取得します。全方向の最高値を集めることで、「方向と最高値」の対応関係が得られます。数学者はこれを「カケヤ最大関数」と呼んでいます。
2 つ目は 4 次元のハウスドルフ次元予想です。つまり、以前の結論を 3 次元から 4 次元に移したものです。
四次元空間に設定されたカケヤの次元は 4 である必要があります。四次元における人間の現在の最高の結果は、2021 年の「プレーンブラシ」デモンストレーションを使用して得られた 3.059 です。つまり、少なくとも 3.059 次元であることのみ証明できます。 3.059 から 4 へは、1 次元の直接増加に相当します。
二次元から三次元へ、問題の難易度はほぼ「質的変化」です。三次元から四次元へ、それは質的な変化でもあります。次元が高くなるほど、それらの「チューブ」が交差したり積み重なったりする方法が増え、数学者が対処する必要がある幾何学的状況がより複雑になるためです。
したがって、数学者がこれら 2 つの予想を自分たちで完成させようとすると、少なくとも数年はかかるでしょう。
しかし、OpenAI 自身の声明によれば、プロセス全体は非常に「単純」です。
未リリースの内部モデルとプロンプトワードを使用して、エージェントに実行させます。平均して、各結果に必要な ChatGPT Pro の思考力は約 3 時間だけです。
評価プロセス全体を通じて、約 4,000 の質問がモデルに投げ込まれました。統合と審査を経て、現在の722枚の原稿が残った。
OpenAI がフィールズ賞を超える?
ストローがあまり積み重ねられていない場合、当然、ストローが占める総面積はわずかになります。したがって、最大関数予想が確立されると、その予想の集合バージョンを直接導出することができます。
したがって、一部のネチズンは、AI がフィールズ賞を超えるのにわずか 3 時間しかかからなかったと述べました。しかし、これは実際には一種の偏見です。フィールズ賞を軽視しているだけでなく、王紅氏の研究成果も理解していない。
OpenAI の議論はゼロから始まるわけではないからです。 No. 074 の結果ファミリーは、それが Wang Hon の研究結果に基づいており、何もないところから導き出されたものではないことを明確に述べています。
これは数学研究の標準とも一致しています。人類の歴史におけるほぼすべての大きな進歩は先人の肩の上にあり、ワン・ホンの証明自体も、「スティッキー・カケヤ集合」に関する彼女の以前の研究と、過去30年間の多くの数学者の成果に基づいています。
さらに偶然なのは、2025 年 3 月の時点で、MIT の数学者ラリー ガス氏がインタビューで、2 次元から 3 次元に移行するのが最も難しいステップであり、Wang Hon の証明は変換されて高次元の問題に使用される可能性が高いと予測していたことです。
つまり、OpenAI の 4 次元に関する結論が真実であれば、ある意味、当時の数学者の判断を検証することにもなります。
「フィールズ賞を超える」という言葉をどのように理解すればよいでしょうか?
まず、フィールズ賞は、単一の論文だけでなく、全体的な貢献に対して数学者を表彰します。ただ、王宏氏に授与されたフィールズ賞では、三次元掛谷集合予想がまさに核心的な成果となっている。
第二に、OpenAI の原稿番号 074 が本当に真実であれば、数学的な「難易度」という 1 つの次元の点で、それは Wang Hon が賞を受賞した問題よりも確かに難しいことになります。なぜなら、3 次元の最大関数バージョンには集合バージョンが含まれており、4 次元のハウスドルフ次元問題は、これまで解決されたことのない 3 次元に次ぐ人類のさらなる目標だからです。
しかし、この文にはキーワードがあります。それは「if」です。
原稿番号 074 には現在、リーンの正式な証明がなく、査読も受けていません。検証されるまでは、それは「証明されたより難しい問題」ではなく、単なる「より難しい問題を解決すると主張する論文」に過ぎません。数学の歴史には、発表されては撤回された「証明」が数多くあります。
現時点では、私たちはまだ「if」という言葉にこだわっています。
王宏氏のフィールズ賞は、学術コミュニティ全体による数か月にわたるテストと審査を経て、現在この分野の基礎となっています。 OpenAI 原稿が最終的に確立されるかどうかに関係なく、その出発点はこの基礎から切り離すことができません。
検証が最も難しい
本当に難しいのは検証です。数学の検証プロセスは、数学研究全体の中で最も労働集約的な側面の 1 つです。
ワン・ホンを例に挙げてみましょう。
2025 年 2 月、彼女は約 127 ページの長さの 3 次元カケヤ集合予想の証明を学術プレプリント Web サイト arXiv に投稿しました。
論文が発表されても、すぐには「正しい」とは認められません。この論文は、著者による繰り返しの自己調査と、テレンス・タオのような著名な学者による長い分析を経ています。クアンタ誌はこれを「100年に一度」の証拠と呼んだ。
検証作業は 2025 年 2 月から 2026 年 7 月のフィールズ賞の発表まで続き、約 1 年半かかりました。今日でも、多くの数学者は、この一連の証明に含まれる新しいアイデアを完全には吸収して消化できていません。
これは、一流の数学者によって書かれた 100 ページを超える証明は、広く認められるまでに 1 年以上の集団レビューを経る必要があることを意味します。
これで、722 件の記事が一度に届きました。
それだけでなく、OpenAI が公開した 722 件の原稿の多くは、数百ページにわたる長い議論です。各記事を専門家が数か月かけて読む必要がある場合、その記事の 1 つを理解できる専門家は世界中で数十人しかいないか、それよりも少ない可能性があります。
さらに、これらの専門家はそれぞれ独自の研究を行っており、OpenAI の「レビュー担当者として機能する」ために目の前にあるすべての作業を放棄することは不可能です。
さらに問題なのは、OpenAI の広報担当者が、上記の原稿 No. 074 を含め、これらの結果の多くが OpenAI 自身の数学者たちにも完全には理解されていないことを認めたことです。
したがって、数学コミュニティの反応はさらに懐疑的です。
この種の心配は今日に始まったことではありません。
2026 年 9 月 8 日、OpenAI は、その内部モデルがナビエ・ストークス方程式のミレニアム問題を解決したと発表しました。並列計算には約1万人のエージェントが使われたという。
しかし、ブラウン大学の数学者ゴメスセラーノ氏は、ハーバード大学での講義の中で、関連する 166 ページの証明は「理解できない」と述べた。
9 月 11 日、フィールズ賞受賞者 25 名 (テレンス テルらを含む) が共同で「数学における人工知能の重大な誤った配置」という公式声明を発表し、AI 企業が「有名な問題の克服」をモデルの能力を実証するためのマーケティング ツールとして使用し、それを急いでリリースしたことを批判しました。それは数学の発展を促進しなかっただけでなく、数学コミュニティにも悪影響を及ぼしました。
9 月 21 日、OpenAI は、数学者で構成される独立した諮問グループ (AGMAI、プリンストン高等研究所内) の設立を発表しました。諮問グループは9月29日、AIが生成した数学的結果を公表する際には、使用したモデルや具体的なプロンプトワード、計算時間なども公表すると発表した。
しかし、今回OpenAIが公開した722本の原稿のうち、発表されたのは「平均計算時間」など全体的な数値のみ。即効性のある言葉は発表されず、モデルも明らかにされなかった。
MIT の数学者、アンドリュー サザーランド氏は、「誰もが再現できるようにモデルを公開しない限り、1 人のエージェントが 1 回のプロンプトで問題を解決できるという考えは証明されていないと見なされるべきです。私たちは『受領書』の提示を要求すべきです。」
つまり、これら 722 件の原稿はすべて「フェイク ニュース」であるということです。
10月7日、冒頭の人文数学協会は「一度に700件以上の文書が公開されるのは学問ではなく、ある種の権力を示している」と考えた。その後、同協会は数学者に対し、OpenAIとの協力をやめるよう呼び掛けた。
もちろん、別の声もあります。トロント大学のダニエル・リット氏は、「これらの数学的問題の答えを知りたいのであれば、企業にそれを隠すよう求める理由はない。それは数学にとって良いことだ」と述べた。
数学者はこれら 722 件の原稿を短時間で検証することはできないため、Lean を通じて検証したいと考えています。
Lean は「証明アシスタント」であり、プログラミング言語です。数学者は証明の各ステップをリーンが理解できる厳密な言語に翻訳する必要があります。次に、リーン システムがそれを段階的にチェックします。ステップがあいまいであるかスキップされている限り、そのステップは失敗します。証明に合格すると、ほぼ確実に論理的にエラーがなくなります。
公開カタログによると、722 件の原稿にマージされた 372 件の結果ファミリーのうち、235 件に無駄のない形式的な記述があり、約 63% を占めています。
しかし、リーンは全能ではありません。数学者のギル・カライ氏は、リーン氏の検証にも問題がある可能性があると述べた。たとえば、数学の問題をリーン言語に翻訳する場合、翻訳自体に逸脱があっても機械検証に合格した場合、それは元の問題ではない可能性があります。また、リーンは「論理的に無理がある」ということを確認することしかできず、その結果が斬新か価値があるかを判断することはできません。
したがって、リーンによって形式化されていない原稿番号 074 は、数学者によってのみ検証できます。
もし原稿 No. 074 が最終的に正しいことが証明されれば、それは数学の歴史における画期的な出来事となるに違いありません。
掛谷問題を 3 次元に発展させるには 100 年以上かかりましたが、AI はわずか 3 時間で数歩前進しました。
同様に、原稿番号 074 が実際には間違っていたことが最終的に判明する可能性があります。
結局のところ、人間が短期間で検証できない「証明」を証明と呼ぶべきなのでしょうか?これは数学コミュニティに残された本当の謎です。
コメント