Anthropic、非公開の研究版Claudeがリーマン予想関連の証明を前進——ゼロ点の下限を41.6%から67.2%に引き上げ

Anthropic が2026年8月10日、非公開の研究版Claudeを使い、リーマン予想に関連する数学的な結果を前進させたと発表しました。
リーマンゼータ関数の非自明な零点のうち、臨界線上にあることが証明されている割合の下限を、従来の41.6%から67.2%まで引き上げたとのことです。

この結果は、約60体のClaudeサブエージェントが1日半かけて協調作業し、約2,400件のシェルコマンドと数百本のPythonスクリプトを実行して導き出されたと説明されています。
既存の2本の論文をつなぎ合わせる形で証明を組み立てた点が特徴で、まったく新しい数学を発見したわけではないとされています。
証明はLean言語で形式検証済みで、Anthropic社内の数学者2名に加え、外部の専門家によるレビューも受けたとのことです。

ただし、これはリーマン予想そのものを解いた結果ではありません。
使われたモデルは名称や重みが非公開の「研究版」で、外部が同じ手順を再現することはできない状態です。
正式な学術誌への掲載を経た査読はまだ済んでいない点も、留意しておきたいところです。

AIの数学的な推論能力が、100年以上未解決の問題の一部にまで届き始めているというのは率直に驚きがあります。
コンテナでもAIチャットBotやテキスト・画像生成といった機能でAIを日常業務に組み込んでいますが、こうした基礎研究の進み方を見ていると、実務での使い所もまだまだ広がりそうです。