30秒で分かる結論

AI企業Anthropicは2026年8月10日、非公開の研究用Claudeモデルに、160年以上未解決の数学の難問「リーマン予想」を試させた結果を公表しました。予想そのものの証明には至らなかったものの、関連する「ゼータ関数の零点れいてんのうち、臨界線上にあると証明できる割合の下限」を、従来の41.6%から67.2%に押し上げる結果が得られたとしています。Anthropicは発表の中で、この結果はリーマン予想の証明ではないと明記しています。証明の一部は形式検証ツール「Lean 4」で確認され、Anthropic所属の数学者2名に加え、外部の数学者2名がレビューしたとされています。査読付き学術誌への掲載は本記事執筆時点ではまだ行われていません。

まず初めに

結論から言う。「AIが150年の難問を解いた」という見出しを鵜呑みにする前に、発表元のAnthropic自身が「いや、解いてはいない」とわざわざ釘を刺している事実に注目してほしい。ここまで律儀に予防線を張る発表も珍しい。派手な見出しが独り歩きしがちなAI業界にあって、この手の自制はもっと評価されていいとIT Postは思う。もっとも、身内の数学者がレビューしただけで「査読済み」と胸を張るのはまだ早い。宿題を自己採点して「よくできました」と言っているようなものだ。※個人の感想です

何が起きているのか

「リーマン予想」とは、19世紀にドイツの数学者ベルンハルト・リーマンが提示した、素数の分布に関する予想です。「ゼータ関数」と呼ばれる関数の値がゼロになる点(零点)のうち、自明でないものはすべて「臨界線」と呼ばれる特定の直線上に並んでいる、という内容で、160年以上にわたって証明も反証もされていない数学最大級の未解決問題の一つとされています。米クレイ数学研究所が2000年に懸賞金100万ドルをかけた「ミレニアム懸賞問題」7題のうちの1題でもあります。

Anthropicの説明によると、社員のJarred Sumner氏(数学の専門家ではない)がClaudeに「本気で挑戦してみて」と指示したのがきっかけでした。最初にClaudeが650通りのアプローチを試みましたが、いずれもうまくいきませんでした。再度挑戦を促したところ、Claudeは1日半をかけて約60体のサブエージェント(並行して作業する複数のAIの分身)をClaude Code上で連携させ、2400件のシェルコマンドを実行し、合計3100万トークン分の出力を生成しました。

人間なら1日半で心が折れてもおかしくない作業量を、AIは黙々とこなしたらしい。

その結果として、35ページの論文「More than Two Thirds of the Zeros of the Riemann Zeta Function Lie on the Critical Line(リーマンゼータ関数の零点の3分の2以上は臨界線上にある)」がまとめられ、証明の主要部分は形式検証ツール「Lean 4」による裏付けも公開されました。Anthropicに所属する数学者Levent Alpöge氏・Ralph Furman氏がこの結果をレビューしたほか、社外の数学者であるBrian Conrey氏・Dan Goldston氏も論文を検討したとされています。

an abstract mathematical visualization of complex plane zeros and a critical line, clean minimal illustration, no text or logos

なぜ重要なのか

今回の結果が注目されているのは、AIが人間の数学者による指示を最小限にとどめたまま、数百のアプローチを自動的に試し、大量の計算と論理の積み重ねを経て、専門家がレビューに値すると判断する水準の成果物を作り上げた点にあります。米科学誌サイエンティフィック・アメリカンをはじめとする複数の専門メディアは、この結果自体は「リーマン予想を解いた」わけではないと明確に注記しつつ、AIが純粋数学の最前線で具体的な数値的進展を生み出した事例として位置づけています。

一方で、Anthropicが自社のAIモデルの成果を自社で発表し、レビューの一部も自社所属の数学者が担っているという構造には注意が必要です。外部の数学者2名が論文を検討したとされていますが、これは査読付き学術誌における正式な査読とは異なるプロセスです。

私たちへの影響

この結果が日本の一般利用者の生活に直接影響する場面は、現時点ではありません。研究用の非公開モデルによる成果であり、一般に公開されているClaudeの製品に今回の能力がそのまま反映されているわけでもありません。

一方で、AIが人間の専門家に近い、あるいは一部でそれを上回るペースで難解な数学の問題に取り組めることを示した事例として、教育・研究分野でAIをどう活用していくかという議論の材料にはなります。

初心者が知っておくべきこと

「形式検証けいしきけんしょう」とは、数学的な証明や、コンピュータープログラムの正しさを、あいまいさの残る自然言語ではなく、機械が一つ一つの論理の飛躍がないか厳密にチェックできる形式(ここでは「Lean」というツール)で確認する手法のことです。人間が読んで「正しそうだ」と感じる証明であっても、細部に見落としがある場合があるため、形式検証を通すことで、少なくとも記述された論理の筋道に矛盾がないことを機械的に確認できます。

「査読」とは、学術論文を学術誌に掲載する前に、その分野の専門家が内容の正しさや新規性を独立してチェックする仕組みのことです。今回の結果は査読付き学術誌にはまだ掲載されておらず、Anthropicが独自に論文・作業記録・Lean 4による検証結果を公開した段階にとどまります。

よくある質問

Q. これでリーマン予想は解決したのですか。

いいえ。Anthropic自身が発表の中で明確に述べている通り、リーマン予想そのものの証明はできていません。ゼータ関数の零点のうち、臨界線上にあると証明できる割合の「下限」を41.6%から67.2%に押し上げただけで、残りの零点がどうなっているかは依然として分かっていません。

Q. この結果は正式な学術的成果として認められたのですか。

本記事執筆時点(2026年8月)では、査読付き学術誌への掲載はまだ行われていません。Anthropicは論文・Lean 4による形式検証結果・作業記録を公開しており、社内の数学者に加え社外の数学者2名が論文を検討したとしていますが、これは学術誌の正式な査読プロセスとは異なります。

IT Postの見方

IT Postでは、Anthropicが自ら「証明ではない」と明記した点は率直に評価したいと考えます。AI企業が自社の成果を発表する際、誇張した見出しが独り歩きしがちな昨今の風潮を踏まえると、この自制的な発表姿勢はもっと見習われてよいはずです。論文・作業記録・Lean 4による検証結果をすべて公開した透明性も、検証可能性を重視する姿勢として評価できます。

ただし、IT Postでは「身内のレビューを査読と混同しない」よう読者に呼びかけたいとも考えます。Anthropic所属の数学者によるチェックと、外部の数学者2名による検討は行われたとされていますが、学術誌の正式な査読とは重みが異なります。真の意味での評価は、独立した学術コミュニティによる検証と、査読付き論文としての発表を経てから定まるものだとIT Postは考えます。「AIが数学の超難問に挑んだ」という話題性だけで拍手喝采するのではなく、その先の検証プロセスにも注目し続ける必要があるとIT Postでは考えます。※個人の感想です

今後どうなりそうか

今回の結果が査読付き学術誌に掲載されるか、また独立した数学者コミュニティによる検証・追試が行われるかが、次の焦点になります。IT Postでは、査読の進展や、他の研究チームによる追試結果が明らかになった際に、あらためて取り上げます。