Anthropic、Claude の数学的能力とリーマン予想への挑戦を検証

記事の3ポイント

1. 1

   リーマン予想への挑戦と結果

   Anthropic のスタッフが Claude にリーマン予想への挑戦を命じたが、同モデルは予想そのものの証明には至らなかったものの、関連する重要な進展を遂げた。

2. 2

   零点下限値の劇的向上

   未公開の研究版 Claude が、リーマンゼータ関数の零点のうちリーマン予想を満たす割合に関する既存の下限値（41.6%）を 67.2% に引き上げることに成功した。

3. 3

   専門家による検証と証明

   Anthropic の数学者二人が Claude の論文を検証し、専門家の Brian Conrey と Dan Goldston が短期間で査読を行い、Claude は結果の形式化された証明も生成した。