未リリースのAnthropicモデルが、数学の未解決問題の一つで進展を遂げる

Anthropicの未公開AIモデルが、150年以上未解決だった数学の難問「リーマン予想」の解決に大きく貢献しました。モデルが予想以上の進捗を見せたことは、AIの科学的探求能力の可能性を示唆しており、今後の応用が期待されます。

• Anthropicが開発中の未発表AIモデルが、数学界で長年の未解決問題であるリーマン予想の証明において、大幅な進展を遂げたことが発表された。
• このモデルは、60個のサブエージェントを協調させ、3100万トークンを費やして650の異なる証明アイデアをテストし、仮説が成り立つ解の範囲を拡大した。
• この成果は、AIが自律的に数学的発見を行う能力についての長年の議論を再燃させる可能性があり、数学分野におけるAIの役割について新たな問いを投げかけている。
• 近年、AIモデルはエルデシュ問題の解決やヤコビ予想の反証など、数学分野で着実に成果を上げており、その能力は増大し続けている。