AIの“失敗”が数学者の着想に　リーマン予想めぐる奇妙な連鎖

AIによる記事内容のイメージ画像

フランスの数学者ユネス・ラムズーリが、Anthropic社の言語モデル「Claude（クロード）」の“誤った”出力をきっかけに、リーマン予想に関連する別の数学的問題で進展を得たと報じられています。要するに、AIが完璧な証明には至らなかったものの、その出力が人間の直感を刺激したという話です。

リーマン予想は数論の中心的未解決問題で、ゼロ点（関数がゼロになる点）の分布を巡る深い予想です。通常、こうした難問にAIが直接“答え”を出すのは期待が大きすぎますが、今回のポイントは「AIが与えたアイデアが新しい視点をもたらした」という点です。元記事はAnthropicのプレプリントやブログ投稿を参照し、Claudeはリーマン予想の証明を試みたが失敗したと説明しています。

ラムズーリはClaudeの出力からヒントを得て、リーマン零点の分布に関する別の命題（元記事では関連問題と表現）で進展を報告したとされています。これは「AIが正解を与えない代わりに、人間に考えさせる道具になった」例として注目を集めています。

ただし重要なのは、今回報じられた進展の詳細や数値の出所、プレプリントや論文の原文、どのClaudeバージョンが使われたかといった一次資料が記事本文では完全に示されていない点です。独立した数学者コミュニティでの査読や再現性の確認も報じられていません。したがって「AIがリーマン予想を証明した」「決定的な解決が得られた」と結論づけるのは早計です。

今回の出来事が示すのは、AIと人間の予期せぬ協働の可能性です。AIの出力は必ずしも正しくない一方で、人間の洞察と結びつくことで新しい問題設定や着想を生むことがある――数学研究の進め方そのものが変わるかもしれない、という含みを残しています。だが、具体的な技術的検証や学界での評価が出そろうまでは、“奇妙だが慎重に扱うべき事例”といえます。