Anthropicの非公開版Claude、リーマン仮説への挑戦から数論の下限値を大幅更新

Anthropicのスタッフがリーマン仮説の証明をClaudeに挑戦させたところ、証明には至らなかったものの、関連する未解決問題で新たな成果を得ました。リーマンゼータ関数の零点がリーマン仮説を満たす割合の下限値を、長年41.6%だった記録から67.2%まで引き上げたのです。Anthropicの数学者や外部専門家による検証、Lean形式での証明も行われています。