AnthropicのClaude、リーマン予想に前進：ゼータ関数の境界を41.6%から67.2%に引き上げ
（2026年10月5日にAnthropicの研究サイトで公表、10月7日にGround Newsの集約記事で報道）
要点
- 何をしたか：Anthropicの未公開の研究版Claudeモデルが、リーマン予想に関連するゼータ関数の境界を41.6%から67.2%に引き上げた。この境界は数学者が数十年かけて少しずつ押し上げてきたものだが、AIが一気に大きく引き上げた。
- 信頼性：Anthropicはリーマン予想を解決したとは主張しておらず、数値的な境界の改善にとどまると明確に限定している。結果は形式証明言語Leanで機械的に検証され、社内の数学者の査読を経て公表された。
- 背景：2週間足らず前、Anthropicはフェルマーの最終定理の初の完全なコンピューター形式化を完了した。数日前にはOpenAIが、377の未解決数学問題を扱う722本の論文を一度に公開した。
- なぜ重要か：数学は、コードのリーダーボードに代わって最先端AIラボの新たな競技場になりつつある。競うのは、どのモデルが人間の数学者に認められる本物の成果を出せるかだ。
原文リンク：原文を見る。本文は要約であり、参考情報にすぎない。
