Claudeがリーマン予想に挑戦し、ゼータ関数の零点に関する既知の下限を41.6%から67.2%に改善

Learning more about Claude's mathematical capabilities

AnthropicのスタッフがClaudeにリーマン予想の解決を依頼したところ、未解決問題自体は解けなかったものの、関連する未公開研究バージョンのClaudeが、リーマンゼータ関数の零点がリーマン予想を満たす割合の下限を41.6%から67.2%に改善しました。この結果は、Baluyot、Goldston、Suriajaya、Turnage-Butterbaughらの最近の研究とBombieriの2000年の論文を組み合わせて得られました。Claudeは約60のサブエージェントを調整し、2,400のシェルコマンドを実行して検証を行い、Leanによる形式的証明も作成しました。専門家による検証も行われています。