Claudeが167年前の数学問題を前進：3100万トークン、60のエージェント、成功率41.6%から67.2%への飛躍

AnthropicのClaudeモデルが、167年間未解決だった数学の問題を解決に導き、大きな進展を遂げた。この問題は1859年に提起され、解析的整数論に由来し、素数に関する性質を含むものである。Claudeは、新しいトレーニング手法を適用した後、この問題に対するパフォーマンスが41.6%から67.2%に向上した。モデルは3100万トークン（約2560万語に相当）を消費し、その過程で650ギガバイトのデータを生成した。問題に取り組むため、Claudeは60の特化エージェントを使用し、それぞれが約2400の論文を分析した。これには、推論の妥当性を確保するためのArXivからの関連論文54本も含まれる。強化学習と、証明支援ツールであるLeanによる検証の併用が重要だった。Anthropicは、この成功を大規模計算と形式的検証の組み合わせによるものとしている。これは、AI支援による数学的発見における新たなマイルストーンを示すものである。