研究解説・小互解説

Claude にリーマン予想を挑戦させた結果、解けなかったが数学の下界を 41.6% から 67.2% へ更新

数学者2名の検証と機械検証済みの証明つき。だが注目すべきは同時公開された95ページの過程記録。60のサブエージェント中、核となるアイデアを出したのはわずか2つでした
1分でわかる
  • 数学者ではない従業員が Claude に「本気でリーマン予想に挑め」と投げかけました。予想は解けませんでしたが、関連する数学の下界を 41.6% から 67.2% に引き上げました。
  • 結果は数学者2名が検証し、機械が1行ずつ確認できる証明もあります。この点は誰の判断にも依存しません。
  • Anthropic は同時に95ページの過程記録を公開。失敗率つきのマルチエージェント工学の記録としても読めます。60のエージェントのうち、核となるアイデアを出したのは2つだけでした。
⚑ 主な情報源は Anthropic 公式研究ブログで、同社が発表した成果です。過程の詳細は併せて公開された 95 ページの記録に基づきます。この記録には冒頭に警告があり、すべて Claude が実行ログから書き起こしたもので、人間が書いたり編集したりした文字は一切なく、中の数学（中間的な結論を含む）は独立に検証されていません。この警告は過程記録だけを対象としており、検証済みの論文には向けられていません。
出来事

数学者ではない人の問題提起から新しい数学の結果が生まれる

Anthropic の従業員 Jarred Sumner 氏が Claude に無茶な課題を出しました。原文は Take a real stab at the Riemann hypothesis、つまり「本気でリーマン予想に挑め」です。彼自身は数学者ではなく、数学的な進め方はすべてモデルに任せました。

まず誤解されやすい点をはっきりさせておきます。この結果を出したのは未公開の研究バージョンで、公式には an unreleased research version とされています。現在使える Claude はこれではありません。

それは本当に挑戦し、本当に解けませんでした。これは想定内です。この予想は 1859 年に提唱され、今も誰も証明も反証もできず、100万ドルの懸賞金がかかっています。しかし挑戦の過程で、関連する問題において新しい結果を出しました。「リーマン予想を満たす零点の割合」という下界を、それまでの最高記録 41.6% から 67.2% に引き上げたのです。この数字は数十年かけて数学者たちが少しずつ上げてきたものですが、Claude は一回で3分の2超えまで押し上げました。

結果自体には確かな裏付けがあります。Anthropic の数学者2名が研究・検証し、さらに機械が1行ずつ照合できる形式検証による証明もあります。数学を専門としない読者にとって、それ以上に注目すべきは数学の外側にあります。Anthropic は同時に 95 ページの過程記録と 116 ページの完全な会話ログを公開しました。これは公開された、失敗率つきの AI 自律研究の工学記録です。

41.6→67.2%
零点の割合の下界、数十年の積み上げを一回で3分の2超えへ
3100 万
2回の Claude Code セッションで消費した出力トークン
60 個
調整に使われたサブエージェントの総数。うち2つが核となるアイデアを出した
背景

リーマン予想とは何か、41.6% とは何か

まず地形を把握しておきましょう。そうしないと、この先の数字に意味が出てきません。

リーマンゼータ関数が記述するのは素数の分布です。この関数がゼロになるたびに、素数の配列にはさらに細かいディテールが加わります。このゼロになる位置数学では「零点」と呼びます。物差しの目盛りだと思ってください。目盛りが多くて細かいほど、より精緻に測れます。素数は一見乱雑に見えますが、その乱雑さの背後にある規則を決めているのが零点です。が零点です。リーマン予想が言うのは、素数を決める零点がすべて同じ縦線上に並び、1つもズレないということです。

この予想がなぜ重要か。多くの数学的結論が、まずこの予想が成り立つと仮定して導かれています。素数に一種の「ランダム性」を与えられるからです。1859 年に提唱され、現在も未解決。ミレニアム懸賞問題の7つのうちの1つで、解ければ100万ドルです。

「全ての零点が線上にある」ことを証明できない以上、数学者は一歩引いて「少なくとも何パーセントの零点が線上にあるか」を証明しようとしてきました。この割合はれっきとした成績表ですが、伸びは極めてゆるやかです。1974 年に Levinson が3分の1を証明し、1989 年に Conrey が 40.88% に到達。その後30年以上、小数点以下の桁をいじる程度で、41.6% に留まっていました。

過去37年、この数字は1パーセント未満しか動いていません。Claude は一度に25.6ポイント動かしました。67.2% の重みを測るには、この比較を見るのが一番です。30年以上かけて、小数点以下数桁を削り出すようにしか伸びなかった線を、一回で3分の2超えまで押し上げたのです。

予想が言うこと：すべての零点がこの1本の線上にある 臨界線 零点のひとつひとつが 素数の配列にディテールを加える ここが空だと証明できる人はいない そして線の上にあると証明できる割合： 41.6% 67.2%
予想が求めているのは「すべて」。人間は数十年かけて 41.6% までしか証明できていなかったが、今回は一気に 67.2% へ。濃色が新しい成果、灰色がそれ以前。（当サイトのイメージ図）
貢献

既存の数学の成果を組み合わせた Claude

この分野には、これまで2つの流れがありました。

1973 年Montgomery が零点の分布を研究する新しい手法を導入。ただし、これらの手法はリーマン予想が正しいことを仮定しています。つまり「少なくとも何パーセントが線上にあるか」という下界を前進させるのには使えません。それがまさに証明すべきことだからです。
最近Baluyot、Goldston、Suriajaya、Turnage-Butterbaugh の4人が一連の研究を発表し、Montgomery の手法からその仮定を取り除くことに成功。これで下界の前進に使える可能性が出てきました。
Claudeこの研究の流れと、Bombieri が 2000 年に発表した論文を組み合わせることで、41.6% を超えて 67.2% まで到達できることに気づきました。