Claude、リーマンゼータ零点の下限を41.6%から67.2%へ更新した検証可能な研究成果を今回詳報

長年の下限を25.6ポイント更新

Anthropicの未公開研究版Claudeが、リーマン予想を満たすリーマンゼータ関数の零点比率について、既知の下限を41.6%から67.2%へ引き上げた。1859年以来の難問であるリーマン予想そのものを証明したわけではない。それでも、解析的整数論で数十年追究されてきた関連問題に具体的な前進を加えた。

“It didn’t solve it, but it did make strides on a related problem.”

Anthropicの元投稿は、成果と限界を同時に示している。リーマンゼータ関数の零点は素数の分布を記述する重要な構造で、リーマン予想は重要な零点がすべて特定の垂直線上にあるとする。すべてを証明することと、その線上にある零点の最小比率を高めることは別の課題だが、後者にも明確な数学的価値がある。

3,100万トークンの研究工程

Anthropicの技術解説によると、Claudeは2回のClaude Codeセッションで3,100万出力トークンを使った。最初の試行では650の案を検討したものの成功しなかった。続く試行では約1日半にわたり約60のサブエージェントを調整し、2,400件のシェルコマンドと数百本のPythonスクリプトを実行した。

証明はBombieriの2000年の論文と、Baluyot、Goldston、Suriajaya、Turnage-Butterbaughによる後続研究を組み合わせる。Claudeは既知のゼータ零点を使った数千回の数値検査、54本のarXiv論文による先行研究調査、別エージェントによる相互査読と独立再証明を行った。Anthropic所属の数学者2人が論文を検討し、外部専門家のBrian ConreyとDan Goldstonも内容を確認した。別途作成されたLean形式化は標準検証ツールを通過している。

AnthropicはClaudeの開発に加え、安全性、解釈可能性、科学能力の研究を継続的に公開している。今回は論文、専門家向けノート、作業記録、機械検証可能な形式証明が一緒に提示され、通常の性能紹介より検証経路が明確だ。

次に確認すべき点

焦点は解析的整数論の研究者による独立査読と再現である。67.2%という定数をさらに改善できるか、既存研究との接続に抜けがないかも精査される。長時間のマルチエージェント研究が、単発の成功ではなく継続的に有用な数学を生み出せるかも次の観測点になる。