未発表のAnthropicモデルが数学最大の未解決問題の一つで前進
概要
未発表のAnthropicのAIモデルが、素数の分布に関する150年来の未解決問題である「リーマン予想」において、大きな進展を遂げました。専門的な数学の訓練を受けていないAnthropicのスタッフからのプロンプトを受け、このモデルは1日半かけて60個のサブエージェントを協調させ、650通りの異なるアイデアを検証しました。そのうち2つのサブエージェントが重要な数学的アイデアの発展に成功し、その結果は社内の数学者2名によって確認され、オープンソースの証明アシスタント「Lean」を用いて形式化されました。この成果は、複雑な数学的課題に取り組む大規模言語モデル（LLM）の能力が高まっていることを示しており、数学界におけるAIの役割や功績の帰属をめぐる議論をさらに活発化させています。
(出典：TechCrunch)