Claudeが数学の難問で前進：リーマン予想に関連する零点の割合の下限を67.2%へ更新

概要

Anthropicの研究用Claudeが、リーマン予想に関連するゼータ関数の零点の割合の下限を従来の41.6%から67.2%に引き上げるという重要な数学的成果を達成しました。

詳細内容

Anthropicは、研究用AIモデル「Claude」が数論の難問であるリーマン予想の研究において、新たな定理を証明したことを発表しました。具体的には、ゼータ関数の零点のうちリーマン予想を満たすものの割合（下限）を、従来の41.6%から67.2%へと大幅に向上させました。この成果は、60のサブエージェントが約2,400のシェルコマンド実行や数百のPythonスクリプト作成を行い、54の先行研究論文を調査・統合することで達成されました。発見された証明は、Anthropic内の数学者や外部の専門家（Brian Conrey氏、Dan Goldston氏）によって検証され、定理証明支援系「Lean」による形式的検証も完了しています。AIが既存の高度な数学的知見を自律的に組み合わせ、人間の到達点を超える新たな数学的発見を導き出せることを示す画期的な事例となりました。

元記事を読む他のサマリーを見る