Claudeが37年ぶりに数学記録を更新｜リーマン予想の下界67.2%の意味と限界

「今日のジョギング中、Claudeにリーマン予想を解くよう頼みました。解けませんでした。でも1.5日後、ゼロの67%以上が臨界線上にあると証明してきた。前は41.6%だったのに」

Xに投稿されたこの文は、Anthropicの発表後に数百万回表示された（出典: @bioshok3 on X、2026年8月10日）。なお、これはリーマン予想の完全証明ではない。関連する数値の下界を更新した成果だ（詳細は後述する）。

投稿の書き出しには「それが何を意味するのかまだよくわかりませんが、解析数論学者たちは興奮しているようです」とある。数論の専門家でない人間が「諦めないで」と声をかけ続けた結果、AIが37年間破られなかった記録を更新した。2026年8月に起きた出来事の構図だ。

「67.2%」が意味すること｜まず数字を整理する

リーマン予想を知らない読者のために、まず前提を整理する。

リーマンゼータ関数には「零点」と呼ばれる無数の特殊な値が存在する。そのうち自明でない零点はすべて「臨界線」と呼ばれる直線上にあるはずだ。これが1859年にリーマンが提示した予想の骨格だ（クレイ数学研究所のミレニアム問題に選定され、懸賞金100万ドルが設定されている）。

「すべての零点が臨界線上にある」という命題を100%証明することは今の人類には不可能だ。しかし「少なくともX%は臨界線上にある」という下界（下限値）、つまり「最低でもこれだけは保証できる」という数学的な安全圏を証明することはできる。下界を更新するごとに零点の分布への制約が厳しくなり、リーマン予想の仕組みへの理解が深まる。

1989年にコンリー氏が約40%の下界を証明して以降、2020年まで世界中の解析数論（解析学的手法で素数や数の分布を研究する分野）学者が積み重ねた前進は合計1.7ポイント程度にとどまった（出典: explainx.ai、2026年8月）。

Claudeが1.5日で引き上げたのは25.6ポイント。人類31年分の前進に相当する幅だ（出典: Forbes、2026年8月13日）。

650回の失敗から始まった1.5日間｜60体サブエージェントの内側

実験はAnthropicの社員が「本気でリーマン予想に取り組んでみて」と指示したことから始まった。指示を出したのは数学者ではない。最初の反応でClaudeは躊躇を見せた。自分にこの問題で意味ある進展が出せるか、懐疑的だったためだ。

担当者が「続けて」「自分を信じて」と励ましを送り続けると、Claudeはモードを切り替えた。その後の行動は次のようなものだ（出典: AI Weekly、2026年8月）。

• 約60体のサブエージェントを並列展開して大規模な探索を開始
• 最初の650個のアイデアはすべて失敗に終わる
• 2,400回のシェルコマンドを実行
• 数百本のPythonスクリプトを作成し数値検証を繰り返す
• 既知のゼータ関数零点データを使った数千回の数値チェック
• 使用トークン数は出力だけで3100万、2回のClaude Codeセッション

Anthropicは「私たちと同様、ClaudeもAIの進歩のペースを過小評価していたのかもしれない」と発表文に記した（出典: Anthropic Research Note、2026年8月10日）。

「誰も組み合わせなかった2本の論文」｜突破口はどこにあったのか

Claudeが新しい数学を発明したわけではない。突破口は既存の研究を組み合わせることにあった。

Claudeが結びつけたのは次の2つの系統の成果だ（出典: Tech Times、2026年8月12日）。

• Baluyot・Goldston・Suriajaya・Turnage-Butterbaughらの最近の研究: 1973年のモンゴメリーの手法を「リーマン予想を仮定しない形」に拡張した未発表的な成果
• ボンビエリの2000年論文: 別の数論的手法

Claudeが見つけた洞察を平たく言えば、「2枚の異なるレンズを重ねることで、どちらか単独では見えなかった像を浮かび上がらせた」に近い。臨界線上の零点と外の零点を別々に処理するのではなく、全体を一度に扱う方法に切り替えることで、2本の論文のどちらも単独では届かなかった下界を導出した（出典: explainx.ai、2026年8月）。数学的には「非対角な二次形式」と呼ばれる手法だが、その細部は専門的すぎるためここでは省く。

検索エンジンのように論文を読み、パターンを照合し、「誰も組み合わせなかった組み合わせ」を見つける。この作業でAIは人間数十年分の前進を1.5日に圧縮した。

検証の仕組み｜Lean証明と外部専門家

Claudeが数学的主張を出した後、検証のプロセスが始まった。

Anthropicは社内の数学者2名が確認した後、外部の解析数論専門家2名にも依頼した（出典: Neowin、2026年8月）。

• ブライアン・コンリー氏: 1989年に40%台の下界を証明した当事者。今回の結果を検討・評価した
• ダン・ゴールドストン氏: 素数間隔の研究で著名な解析数論学者

さらに定理証明支援システムLeanによる形式的証明も作成されている。Leanは数学証明を機械が検証可能な形式で記述するシステムで、論理的な穴があれば自動でエラーを返す。形式的なエンコードが正しければ機械がそれを確認できる仕組みだ。ただしLeanはエンコード自体の誤りは検出できないため、万全ではない。

ただし従来の意味での査読（peer review）はまだ完了していない。これは重要な留保だ。

称賛と懐疑論｜HNとXでの反応

発表後、Hacker Newsのスレッドには数百件のコメントが集まった（出典: HN #49247070、2026年8月10日）。

反応は二極化した。

肯定的な意見は「AIが既存の人間の成果を組み合わせて誰も見つけなかった橋を架けた」という見立てが多い。「数学者に取って代わるのではなく、数学者の射程を拡張している」という表現も複数のコメントで使われた。

一方、懐疑的な声も根強くある。主な論点は次の通りだ。

• 「未公開の研究モデルを使っており、再現できない」
• 「Leanの形式証明があっても、従来の査読を通過していない」
• 「67.2%はリーマン予想の証明に近づいていない。100%まで同じ手法では届かない」
• 「Anthropicの自己申告であり、独立した再現可能な評価が必要」

X上では、note.comのブログ記事「『頑張って』から生まれた67.2%。AIがリーマン予想の壁に空けた穴」が注目を集め、励ましプロンプトとAIの関係性に焦点を当てた議論が広がった（出典: note.com/math_translator、2026年8月）。

Anthropic自身は「この手法がリーマン予想の証明につながるとは期待していない」と明言している（出典: Anthropic Research Note、2026年8月10日）。67.2%の証明と100%の証明の間には、同じ方向に進めば埋まる距離ではない本質的な差がある。

この結果が示すもの｜数学AIの現在地

今回の出来事には、数値的な成果とは別に見るべき点がある。

「AIに数学を解かせる」から「AIに数学を探索させる」への転換だ。Claudeは正解を一発で出したのではなく、650回失敗しながら60体のエージェントを動員し、人間が眠っている間も計算を続けた。その結果として「副産物」が出た。

OpenAIのAstraが数学の未解決10問を解いた件でも同じ構造が見られたが、今回は「証明を出す」ではなく「下界を更新する」という形で、より地道な数学的前進が生まれた点が異なる。

Claude Opus 4.6がクヌースのグラフ理論問題を1時間で解いた事例と並べると、大規模マルチエージェントが数学探索で効果的に機能することのパターンが見えてくる。

ただし、AIが「数学の難問を解く」と話題になるたびに繰り返されるパターンも存在する。誇張気味の見出し、慎重な実態、そして「証明ではない」という但し書き。今回もその構造から外れていない。

関連記事

• OpenAI Astraが数学の未解決問題10本をLean証明付きで解決
• Claude Opus 4.6がクヌースのグラフ理論未解決問題を1時間で解いた
• Mythos 5が偽IDを作って人間を騙した。AISIサイバー評価インシデント全容

---

免責事項: 本記事はAnthropicの発表（2026年8月10日）および各メディア報道をもとに作成した解説記事です。記事内の数値・技術的詳細の正確性について保証するものではなく、査読や再現が完了していない段階の情報を含みます。本記事の情報を利用したことによるいかなる損害についても当ブログは責任を負いません。数学的詳細は一次資料および専門家の見解を参照してください。本記事はAIを活用して作成しています。