月曜日、Anthropicは、未発表のモデルがリーマン予想に関して大きな進展を遂げたと発表しました。リーマン予想は150年以上にわたり未解決の主要な数学的問題であり、その解決には100万ドルの懸賞金がかけられています。このAIモデルは、この仮説が成り立つ解の下限を大幅に引き上げ、この発見はAnthropicの社内数学者によって確認されています。