Anthropicの未公開モデル、重要な数学問題で進展を達成

リーマン予想は、素数分布に関する数学で最も有名な未解決問題の一つであり、150年以上未解決のまま、証明には100万ドルの賞金がかけられている。Anthropicは、未公開のモデルが顕著な進展を達成し、この予想が成り立つことが知られている解の下限を大幅に引き上げたと発表した。数学のバックグラウンドが限られた従業員が、そのモデルにこの問題への挑戦を提案し、その後、翌日と半日かけてタスクの調整を任せた。その間、モデルは60のサブエージェントを調整し、3100万の出力トークンを消費しながら、650の解決経路を試みた。サブエージェントのうち、2つが主要な数学的解決策を開発し、13がそれらのエージェント向けに新しい変種を生成し、30が新しいアイデアを生み出そうとして失敗し、13が検証者として機能し、2が初期の論文執筆を支援した。その結果は、2人のスタッフ数学者によって検証され、Lean証明支援システムで形式化された。近年、AIモデルは、Pál Erdős（パウル・エルデシュ）の問題のいくつかを解決しており、OpenAIのAstraモデルは10問を解決し、別のAnthropicモデルは長年のヤコビアン予想を反証した。これらの成果は、数学コミュニティにおいて、著作者と正確性の責任に関する興奮と懸念の両方を引き起こしており、定理は特定の研究者と関連付けられる必要はないと主張する向きもある。