要約
リーマン予想は150年以上も解決されていない数学の大きな未解決問題です。現在、1百万ドルの報酬がかけられていますが、未だに有効な証明は提出されていません。最近、Anthropicが発表した未公開のAIモデルが、このリーマン予想に関して重要な進展を遂げたと報じられています。このモデルは、証明のための解法の下限を大幅に引き上げる成果を上げました。
Anthropicのスタッフは、特別な数学的トレーニングを受けていないにもかかわらず、モデルにリーマン予想の証明に挑戦させました。モデルは、650の異なるアイデアを試し、60のサブエージェントを協調させながら、31百万の出力トークンを費やしました。この研究の結果は、Anthropicの社内数学者によって確認され、オープンソースの証明補助ツール「Lean」を用いて正式化されました。
この成果は、AIが新しい科学的および数学的アイデアを発見する能力に関する長年の議論を再燃させる可能性があります。数学界では、AIが数学の価値観を損なうことへの懸念が広がる一方で、AIの影響が数学をより複雑かつ前向きに変える可能性についての意見も存在します。特に、数学の定理が数学者と結びつかない世界が訪れた場合、それがどのような意味を持つのかが議論されています。
公開日: Tue, 11 Aug 2026 16:25:20 +0000
この記事はAIアシスト編集により作成されています。
📰 元記事: 元記事を読む