解けなかった。それでも、167年の数学の壁をClaudeが押し広げた
解けなかった。でも、解こうとして何かが生まれた
Anthropicが8月10日、未公開の研究版Claudeにリーマン予想への挑戦をさせたところ、予想そのものは証明できなかったものの、関連する問題で具体的な進展があったと発表した。167年間未解決のまま残っているこの数学最大級の難問に、AIが実際に数値的な前進をもたらしたという報告は、数学界だけでなくテック業界全体で大きな反響を呼んでいる。
リーマン予想とは何か
リーマン予想は、1859年にドイツの数学者ベルンハルト・リーマンが提示した、素数の分布に関する予想だ。リーマンゼータ関数という特殊な関数の「零点」と呼ばれる値が、すべて特定の直線(臨界線)上に並んでいるはずだ、というのがその主張になる。証明も反証もされないまま160年以上が経過しており、アメリカのクレイ数学研究所が100万ドルの懸賞金をかけている7つの「ミレニアム懸賞問題」の1つとしても知られている。
「67.2%」という数字の中身
今回Anthropicが発表したのは、この予想を直接証明したという話ではない。リーマンゼータ関数の非自明な零点のうち、実際にこの予想を満たしている(臨界線上にある)ことが証明されている割合、いわば「下限」を引き上げたという内容だ。これまで数学者たちが少しずつ積み上げてきたこの下限は41.6%だったが、Claudeが関わった今回の成果により67.2%まで引き上げられたという。
この結果は、Claude Codeによる2回のセッション、60個のサブエージェント、2400件のシェルコマンド、そして3100万トークン分の出力という、かなりの規模の計算を経て得られたものだとされている。Anthropic社内の数学者2名がこの成果を検証し、社外の専門家もこの論文に目を通したという。さらに、証明の一部は形式検証ツール「Lean 4」を使って機械的にチェック可能な形にまとめられ、論文とLeanのリポジトリはどちらも一般公開されている。
「検証はできるが、再現はできない」というねじれ
今回の発表で興味深いのは、成果物の性質そのものにある。公開された数学的な証明と形式検証コードは誰でも確認できる一方で、それを生み出したモデル自体は非公開のままだ。モデル名も明かされておらず、重みもAPIアクセスも提供されていない。
つまり、数学的な主張の正しさは外部の人間が検証できるのに、その主張を導き出したAIの能力そのものは、Anthropic以外の誰にも追試できないという、やや落ち着かない状況が生まれている。ある海外メディアは、証明の部分は多くの人間の論文よりも監査しやすい一方で、実験そのものは科学的な意味でほとんど再現不可能だと評している。数学的な成果への評価と、AIの能力そのものへの評価は、切り分けて考える必要がありそうだ。
この「検証可能だが再現不可能」という構図は、今後AI企業が研究成果を発表する際に繰り返し向き合うことになる課題でもある。競争上の理由からモデル自体を非公開にしたいという企業側の事情と、科学的な主張には独立した再現性が求められるという研究コミュニティ側の要請は、根本的なところで衝突しやすい。今回のケースでは、証明そのものの検証可能性を確保することで一定の折り合いをつけた形だが、この手法がAI企業による研究発表の標準的なやり方として定着していくのかどうかも、注目しておきたいポイントだ。
ネット上の反応と、実際の中身のズレ
この発表はXを中心に大きな反響を呼び、Anthropic公式の投稿は数時間で500万回以上閲覧されたと報じられている。ただし複数の海外メディアが指摘しているのは、オンライン上の反応の熱量が、実際の成果の中身よりも大きく膨らんでしまっている点だ。「AIがリーマン予想を解いた」という誤解を招く形で拡散された投稿も少なくなかったようで、Anthropic自身も、あくまで関連する問題での前進であり、予想そのものの証明ではないと明確に説明している。
見出しだけを見ると衝撃的だが、その中身は「証明されている割合を引き上げた」という、専門的にはかなり限定された意味を持つ成果だ。査読前の論文であるという点も含め、数学的な意義そのものは今後の専門家コミュニティによる検証を待つ必要がある段階にある。
そもそも、なぜ「解けなかった」のに成果になるのか
一見すると矛盾しているように聞こえるかもしれないが、数学の研究においては、大きな未解決問題に挑む過程で、その道すがら別の具体的な成果が生まれるということは珍しくない。今回のケースも、リーマン予想そのものへの直接的な攻略ではなく、関連する周辺的な問題を丹念に押し進めていく中で、既存の下限を大きく更新する結果にたどり着いたという経緯のようだ。
海外メディアの報道によれば、Anthropic社内のスタッフが研究版のClaudeに「リーマン予想を本気で試してみてほしい」と依頼したことが今回のきっかけだったという。最初から何かの周辺結果を狙っていたわけではなく、本丸への挑戦がうまくいかない中で、副産物として今回の成果が生まれたという流れは、人間の数学者が未解決問題に取り組む過程ともどこか重なる部分がある。
今年相次ぐAIによる数学の成果
今回の一件は、2026年に入ってから相次いでいるAIによる数学分野での成果の1つでもある。5月にはOpenAIのモデルがエルデシュの残されていた平面上の単位距離問題の1つを解決し、7月にはAnthropicの別チームがヤコビアン予想の反例を発見したと報告されている。OpenAI側も、自社の研究用モデル「Astra」による数学上の成果を複数発表するなど、フロンティアモデルを手がける企業同士が、証明や予想といった純粋数学の領域でも存在感を競い合う構図になりつつある。
わずか4ヶ月ほどの間にこれだけの成果が相次いでいるという事実は、AIによる数学研究支援が、一過性の話題づくりではなく、継続的な流れになりつつあることを示しているようにも見える。人間の数学者がこれまで何十年もかけて少しずつ積み上げてきた領域に、AIが計算力と探索の粘り強さを持ち込むことで、思いがけない角度から突破口が開かれるケースが今後も増えていくのかもしれない。
まとめ
167年間、世界中の数学者を悩ませてきた問題を、AIが解いてしまったわけではない。それでも、証明の一部を実際に前進させ、しかもその過程を形式的に検証可能な形で残したという事実は軽くない。派手な見出しに踊らされず、「何が実際に証明されたのか」を一つひとつ確認していく姿勢が、この手のニュースと向き合う上ではこれまで以上に重要になってきている。
数学の世界では、証明の正しさは最終的に人間のコミュニティによる査読と検証を経て初めて確立される。今回の成果も、Lean形式での機械検証をクリアしているとはいえ、専門家による本格的な査読はこれからだ。AIが提示した結果を鵜呑みにするのでも、頭ごなしに疑うのでもなく、検証可能な部分を実際に検証していくという、地道なプロセスの重要性は、AIが数学に関与する機会が増えるほど、むしろ増していくのだろう。
参照元
Anthropic on X(2026年8月10日):https://x.com/AnthropicAI/status/2086867246073401655
explainx.ai:https://explainx.ai/blog/claude-riemann-zeta-lower-bound-67-percent-august-2026
The AI Insider:https://theaiinsider.tech/2026/08/11/anthropic-says-claude-improved-a-longstanding-bound-tied-to-the-riemann-hypothesis/
#Anthropic #Claude #リーマン予想 #AI数学 #生成AI #海外AIニュース #AI研究 #数学 #AI活用 #テック業界 #海外テックニュース #AI進化
