過去24時間で、Claudeに関する数学に関する噂がソーシャルメディア上で急速に広まりました。
昨日、ブロガーのAndrew Curranが投稿し、「予測」したところ、Anthropicはナビエ–ストークス方程式に関連する存在性と滑らか性というミレニアム懸賞問題を解決したという。現在、その成果は専門家による審査中であり、AnthropicのIPO前に公表される可能性がある。
この投稿はすぐに250万回以上の閲覧数を記録し、さらに多くのアカウントに共有されました。
これまでのところ、公開チャネルには対応する論文、証明文、または専門家レビュー資料は見られず、クレイ数学研究所はナビエ–ストークスの存在と滑らかさの問題を未解決のミレニアム賞問題として引き続き列挙しています。
しかし、この噂は根拠のないものではありません。その重要な背景の一つは、数学者陶哲軒が2日前に投稿した一連の投稿です。
AIに関する仮想的なエッセイ
9月3日、陶哲軒はナビエ–ストークス方程式を例に挙げ、AIが重大な未解決数学問題を解決した場合に数学研究に与える可能性のある影響について議論した。
https://mathstodon.xyz/@tao
ナビエ–ストークス方程式は、水や空気などの流体の運動を記述する。数学的に未解決の問題は、三次元非圧縮の場合、滑らかな初期状態から出発した解が常に滑らかであるか、それとも有限時間内に特異点が形成されるかである。この問題は、クレイ数学研究所によってミレニアム懸賞問題として指定されており、賞金は100万ドルである。
陶哲軒は投稿の中で、将来的に登場する可能性のある研究プロセスを想定した：自律的なAIシステムが大量の計算リソースを保有し、さまざまな数学的構造を継続的に試行し、失敗の原因を分析し、方案を調整し、結果を検証することで、極めて複雑な候補証明を生成し、Leanなどの形式化証明システムを用いて機械検証を行う。
彼の重点は、このプロセスで生み出された数学的知識をどのように保存するかである。
従来の数学研究では、難しい問題に対する長年の探求の過程で、多くの副産物が生まれる：新しい補題、新しいツール、新しい研究分野、そして今後さらに研究すべき価値のある問題が生まれる。陶哲軒は、AIが閉じられた環境で一連の探求を完了し、人間がすでに検証された結果のみを受け取る場合、多くの価値ある中間的道筋が数学共同体に届きにくくなる可能性を懸念している。
投稿内のシナリオは非常に具体的に記述されている：AIが候補構造を検索し、数値検証を実行し、膨大なLean証明ファイルを生成し、最終的にナビエ–ストークスの正則性問題を解決する。
そして、インターネットでよくある展開が現れた。
一部の人々は、陶哲軒が未公開の情報を掌握しているのではないかと推測し始めた。ソーシャルメディア上ではすぐに、「陶哲軒はClaudeがナビエ–ストークス方程式を解いたことを示唆しているのか」という議論が広がり、その後、カーランはさらに明確な予測を示した。「Claudeはナビエ–ストークス方程式を解いた。」この主張は瞬く間に広まった。
予測が広がる中、陶哲軒はその後明確に説明した。
彼の態度は慎重である：現在、ナビエ–ストークス問題に大きな新進展は見られておらず、以前の議論は仮想的なAI研究シナリオに過ぎない。しかし、現在のAI技術の進展速度を考えると、このようなシナリオはすでに現実的な可能性を有している。
その後、彼は「機会コスト」について言及した。
ナビエ–ストークス方程式のような未解決問題は、数十年にわたり新しい手法、新しい課題、そして新しい研究者を生み出してきた。AIが迅速に最終的な答えを導き出した場合、数学界は次に、機械の探求におけるプロセス、方法、そして失敗した道筋を、人間が理解し継承できる数学的知識として再構築する方法を検討する必要がある。
これは徐々にAI数学研究における現実的な課題となっています。
AIは数学における「希少資源」を変革している
なぜこの噂はこれほど話題になっているのでしょうか？
最近数ヶ月で、AIは数学分野でかつて想像もできなかった複数の壁を次々と超えてきました。
昨日、Anthropicは、Claudeによるフェルマーの最終定理の形式化作業を発表しました。
https://www.anthropic.com/research/formalizing-fermats-last-theorem
フェルマーの最終定理は1990年代にアンドリュー・ワイルズら数学者によって既に証明されている。数十年にわたり、数学界は、この極めて複雑な証明をLeanなどの形式言語に完全に翻訳し、コンピュータがその各ステップを段階的に検証できるようにすることを望んできた。
Anthropicは、Claudeが11日間でほぼ自立してエンドツーエンドのLean形式化を完了し、最終的なコード規模は約1300万行に達したと述べた。この過程で約3万300個の機械検証可能な定理が生成され、そのうち約2万9500個が最終証明に採用された。長期にわたるフェルマーの最終定理形式化プロジェクトに参加している数学者のケビン・バザードも、この結果に肯定的な評価を寄せた。
さらに一个月前に。
8月10日、Anthropicは、未公開のClaude研究モデルがリーマン予想の試行において、関連する問題で進展を遂げたと発表しました。具体的には、リーマン予想の条件を満たすと知られているζ関数の零点の割合の下限を41.6％から67.2％へ引き上げました。リーマン予想は素数の分布と密接に関連しており、ミレニアム懸賞問題の一つでもあります。
https://www.anthropic.com/research/riemann-zeta
今年5月、OpenAIは離散幾何学の結果を発表しました。汎用推論モデルが新しい単位距離点集合を構築し、Erdős平面単位距離問題に関する長く存続していた予想を反証しました。この証明はその後、外部の数学者によって検証されました。この結果は、同問題における重要な予想を解決しましたが、単位距離問題全体にはさらに探求の余地があります。
https://openai.com/zh-Hans-CN/index/model-disproves-discrete-geometry-conjecture/
8月までに、OpenAIは複数の長期にわたって未解決だった問題への解決や実質的な進展を含む、10の数学および理論計算機科学の結果を一斉に発表した。
https://openai.com/zh-Hans-CN/index/ten-advances-in-mathematics/
数年前、大規模モデルが数学分野で最も目立った成果は数学オリンピックの問題だった。現在、研究対象はオープンな問題、論文レベルの結果、大規模な形式的証明へと進んでいる。
AIが数学界に与える影響は、どれだけ多くの問題を解けるかから、数学者が今後主に何を担うかへと移りつつある。
一つの変化は、認証の重要性が高まっていることです。
言語モデルは大量の数学的導出を迅速に生成できる一方で、非常に隠蔽された誤りを生む可能性もある。Leanのような証明支援ツールは、証明を機械が段階的に検証できる形式に分解できる。AIが生成する証明の速度が向上するにつれ、形式的検証はますます重要なインフラストラクチャーとなっている。陶哲軒はこれまでに複数回、今後の数学研究のボトルネックは次第に検査、整理、理解に移行すると強調してきた。
https://academy.openai.com/public/blogs/terence-tao-ai-is-ready-for-primetime-in-math-and-theoretical-physics-2026-03-06
二つ目の変化は、数学者の仕事の分担に生じた。
通常の推論、文献検索、計算実験、さらには一部の証明をAIに任せられるようになった場合、人間の研究者がより多くの精力を注ぐのは、研究テーマの選定、適切な仮説の提起、研究計画の設計、そして機械が生成した結果を説明可能な新しい理論に昇華することになるだろう。
陶哲軒は、このような未来を「大数学」のモデルと呼んでいる：複雑な問題が多くのモジュールに分割され、人間、AI、形式的証明システムが共同で参加し、機械による検証を通じて結果が再結合される。
https://spectrum.ieee.org/ai-in-mathematics
答えがますます「安価」になる中で、数学研究の真正に希少な部分とは何か？
かつて、重要な未解決問題は1つの研究分野を数十年にわたって支えてきた。数学者たちがその問題を巡って歩んできた道筋そのものが、新たな理論を生み出す可能性を秘めていた。AIがこのプロセスを大幅に短縮すれば、最終的な答えはより早く得られるようになるが、同時に、研究プロセスの記録、貢献の評価、次世代研究者の育成のための新しい仕組みを数学界が再設計する必要も生じる。
陶哲軒は今回、ナビエ–ストークスを例に挙げ、この変化について議論した。
クラウドがこのミレニアム難問を本当に解決したかどうかは、現在もソーシャルメディアの噂の段階にとどまっている。
しかし、このやや混乱した議論は、1つのことを示している：数年前まで、「AIがミレニアム問題を解決する」ことは、ほぼSFの設定に近かったが、2026年には、もし実際にそれが起きた場合、数学界はどう対応すべきかを真剣に考える段階に来ている。
参考リンク：
https://x.com/AndrewCurran_/status/2096062392442724805
本文は微信公众号「機械の心」（ID：almosthuman2014）より、著者：数学に注目する