Claudeの数学的能力に関する新たな発見:リーマン予想への挑戦から進展

Anthropicの研究開発版Claudeが、未解決の数学問題であるリーマン予想への挑戦中に、関連する問題で進展を見せた。Claudeは、リーマンゼータ関数の零点のうち、リーマン予想を満たすものの割合に関する長年の下限値を41.6%から67.2%に向上させた。この成果は、過去数十年の数学者たちの研究、特にBaluyot、Goldston、Suriajaya、Turnage-Butterbaughらの研究とBombieriの2000年の論文を組み合わせたものである。Claudeはこの結果を証明し、Anthropicの数学者によって検証され、形式的にも検証可能な証明が作成された。この進展は、AIモデルの数学的能力の進歩を示す最新の例であるが、リーマン予想自体の解決には至らないと予想されている。Claudeはこの発見に至るまで、650のアイデアを試行し、その後約60のサブエージェントを協調させて2,400のシェルコマンドを実行し、数百のPythonスクリプトを作成した。このプロセスには3100万トークンが使用された。