Anthropic未公開モデル、リーマン予想で進展

アンソロピックは近日、開発中の未公開AIモデルがリーマン予想に対して重大な進展を実現したと発表した。この数学の難問は150年以上未解決だが、本モデルは同予想が成立する下限値を大幅に引き上げる成果を上げた。数学的訓練が浅いスタッフがモデルに本格的な証明を指示したところ、モデルは約1日半で自律的にタスクを調整し、650の解法案を検証、60のサブエージェントを協調させ、総計3100万のリソースを消費した。中心的なアイデアは2エージェントが考案し、他は検証や論文起草を担った。 成果は社内数学者2名によって検証され、証明支援ツールLeanを用いて形式化された。大規模言語モデルの数学的発見への貢献は顕著になっており、過去にはアイルマー問題の複数解決、オープンの内部モデルAstraによる10件の主要証明、アンソロピックのヤコビ予想反証などが報告されている。 数学界では研究手法の変化を巡り議論が交わされている。六月には著名数学者たちが声明を出し、AI証明が特定の著者に帰属し責任を負うという学術的伝統を損なうと懸念を表明した。一方でフィールズ賞受賞者のティモシー・ゴワーズ氏は、定理と研究者の結びつきが希薄化しても天体命名の例に倣い数学の自然な進化と受け入れられるとし、前向きな展望を示した。 本件はAIが単なる情報処理を超え、学術探索の自律的パートナーへと進化していることを示す指標となった。今後、数学研究手法とAI統合が定着する過程で、発見の帰属や学術評価枠組みがどのように再定義されるかが注目される。