Anthropic の Claude の未発表の研究バージョンは、リーマン予想に関連する長年の数学的結果を改善し、適合するゼロの割合の既知の下限を 41.6% から 67.2% に引き上げました。 2026 年 8 月 10 日に Anthropic 誌によって発表されたこの画期的な成果は、対象を絞った研究プロジェクトとしてではなく、数学全体の中で最も有名な未解決問題の 1 つに本格的に挑戦するという、何気ない挑戦の予期せぬ副産物として生まれました。 AI 主導の発見の最新の開発については、AI Buzz Wire をフォローして継続的な報道をご覧ください。

リーマン予想は 1859 年にベルンハルト リーマンによって最初に提案され、素数の分布に関するもので、クレイ数学研究所から 100 万ドルの賞金がかけられています。それは証明されていないままです。クロードは仮説自体を解決しませんでしたが、関連する部分問題に対するモデルの研究は、人間の数学者によって検証された整数論における真の進歩を表しています。

挑戦はどのように始まったのか

この取り組みは、アントロピックのスタッフで数学者ではないジャレッド・サムナー氏が、すべての数学的決定をモデルに委ね、リーマン予想に「本格的に取り組む」ようクロード氏に促したときに始まりました。クロードの最初の試みには、約 650 のアイデアの生成とテストが含まれていましたが、どれも結果をもたらしませんでした。サムナー氏がモデルに再試行するよう奨励した後、クロード氏は約 1 日半をかけて、問題をより深く調査する約 60 人のサブエージェントを調整しました。

クロードが以前の最先端の下限を超える方法を発見したのは、この 2 回目の試み中にでした。このモデルでは、数学者 Baluyot、Goldston、Suriajaya、Turnage-Butterbaugh の結果と、Bombieri による以前の研究を組み合わせることで、仮説を満たす既知のゼロの割合を 41.6% から 67.2% に押し上げる道が得られることがわかりました。

自己チェックと自己疑念のシステム

この結果が特に印象的なのは、クロードが自身の発見を発表する前にどれほど厳密に検証したかということです。このモデルはサブエージェントを派遣して証明をレビューし、反例を検索し、arXiv から 54 件の論文をダウンロードして結果がまだ発表されていないことを確認し、独自に発見を最初から再証明しました。作業全体では、Claude Code の 2 つのセッションで 3,100 万の出力トークンが消費されました。

おそらく最も注目すべきことは、クロードが最初は自分自身の結果に懐疑的だったということです。このモデルは、数学における未解決問題の極度の難しさと、AI システムの既知の制限についてトレーニング データから学習していました。伝えられるところによると、クロード氏がその発見が有効であると認めるまでには、励ましのメッセージが必要だったという。 Anthropic が発表の中で述べているように、「おそらくクロードは、私たちの多くと同じように、AI の進歩の速度を過小評価しているのでしょう。」

人間による検証と正式な検証

この発見はクロードの言葉だけによるものではありませんでした。 Anthropic の 2 人の数学者、Levent Alpöge と Ralph Furman は、クロードの研究を研究し、専門家向けの非公式の技術ノートを作成しました。 Alpöge は以前、87 年前のヤコビアン予想を反証するためにクロードを利用したとして見出しを飾ったが、これとは別の数学的画期的な発見が 8 月初めに報告された。

クロードはまた、数学的引数をソフトウェアで検証する証明アシスタントである Lean を使用して、結果の機械チェックによる正式な証明を作成しました。 Anthropic のスタッフ メンバーである Eric Easley とともに作成されたこの形式化は、コンパレータと呼ばれる標準の検証ツールを通過します。

外部専門家のブライアン・コンリーとダン・ゴールドストンは、どちらもリーマンのゼータ関数研究の権威として知られており、急遽この論文を検証し、アプローチを検証しました。

結果が意味するもの

リーマン ゼータ関数は素数の分布を記述します。関数の各ゼロは、素数のシーケンスに連続的により詳細な情報を与えます。リーマン予想は、素数を決定するすべてのゼロが複素平面内の 1 本の垂直線に沿って存在すると予測します。これを証明することは数学において最も重要な予想の 1 つとなっており、何百もの結果がこの予想に依存しています。

完全な仮説を証明したり反証したりした人は誰もいませんが、数学者は線上に存在するゼロの最小割合を定量化することで漸進的に進歩してきました。数十年にわたる研究の結果、既知の定数は 41.6% まで押し上げられました。クロード氏の 67.2% への改善は、この指標におけるここ数年の単一の上昇としては最大のものです。

アントロピック氏は、クロードが使用した手法がリーマン予想の完全な証明につながる可能性は低いと警告した。しかし、この結果は、AI モデルが数学者のアイデアの範囲を新しい、時には驚くべき方向に拡張できることを示しています。

AI の数学的発見のパターン

リーマンゼータ前進は、AI 支援による数学的画期的な進歩のリストの増加に続きます。 2026 年の初めに、Astra と呼ばれる OpenAI モデルが、機械チェックされた証明を使用して、長い間未解決だった 10 個の数学的問題を解決しました。 Anthropic 自身の Claude Fable 5 は数週間前にヤコビアン予想を反証していました。これらの結果は、フロンティア AI モデルがパターン認識やテキスト生成を超えて、真の数学研究の領域に移行しつつあることを示唆しています。

クロードのリーマン ゼータ発見は、ある点で際立っています。それは、指示された研究プログラムの成果ではないということです。これは、非数学者が AI モデルに理不尽な質問をし、モデルが人間がこれまで発見したことのない答えを返したときに出現しました。

AI の先を行く

最新の AI ニュース、研究の進歩、業界分析については、AI Buzz Wire をご覧ください。

AI ニュースをもっと読む