リーマン予想の関連問題で前進：Claudeの未発表モデルがリーマン・ゼータ関数の零点分布における下界を67.2%に更新

📝 概要

Anthropicは、同社のAIモデル「Claude」の未発表研究バージョンが、数学上の最難問の一つであるリーマン予想に関連する問題において、重要な研究成果を上げたと発表しました。具体的には、リーマン・ゼータ関数の零点のうち、リーマン予想を満たす（特定の直線上にある）割合の最小値（下界）を、従来の41.6%から67.2%へと大きく引き上げることに成功しました。これは、AIが既存の膨大な数学的知見を自律的に統合し、専門家が検証可能な形式で新たな知を創出した特筆すべき事例です。本成果は、AIが数学的発見における強力なパートナーになり得る可能性を強く示唆しています。

📋 詳細レポート

数学史上屈指の難問へのアプローチ

リーマン予想は1859年に提示されて以来、素数の分布を解明する鍵として、数学界における最も重要な未解決問題の一つとされています。多くの数学者がこの予想の証明に挑んできましたが、現在も完全な解決には至っていません。今回、Claudeが取り組んだのは、全ての零点が特定の直線上にあることを証明するのではなく、「少なくとも何割の零点がその直線上にあるか」という下界を定める問題です。これまでの数学者たちの努力により、この値は41.6%まで高められていましたが、Claudeはこの数値を一気に67.2%まで更新しました。

自律的な推論と検証のプロセス

今回の成果は、AnthropicのスタッフであるJarred Sumner氏（非数学者）が、Claudeに対し「リーマン予想に本気で取り組んでみてほしい」という抽象的なプロンプトを与えたことから始まりました。

• Claude Codeの活用: 未発表の研究用モデルを用い、2つのセッションで計3,100万トークンの出力を生成しました。
• サブエージェントによる協調: 約60のサブエージェントを調整し、1日半をかけて実行されました。
• 実行規模: 2,400のシェルコマンドの実行、数百のPythonスクリプトの作成、既知の零点に対する数千回の数値チェックが行われました。
• 既存研究の統合: Claudeは、Bombieri（2000年）の論文や、Baluyot、Goldston、Suriajaya、Turnage-Butterbaughらによる近年の研究成果を独自に組み合わせ、新しい不等式を導き出しました。

専門家による検証と数学的妥当性

Claudeが導き出した成果は、単なる数値の提示に留まりませんでした。同モデルは自身の思考プロセスを説明する論文を作成し、さらに形式的に検証可能な証明も生成しました。

Anthropicの数学者および、この分野の専門家であるBrian Conrey氏とDan Goldston氏がこの論文を精査し、その正当性を確認しました。Claudeは、正定値および負定値の部分空間を考慮した関数の空間を構成し、二次形式のランクに関する不等式を記述することで、従来の記録を塗り替える結論に達しました。特に、二次形式を非対角として扱うなどの手法が、既存の研究を前進させる鍵となったと分析されています。

今後の展望とAIによる科学的発見

今回の成果は、Claudeが直接的にリーマン予想を解決することを意味するものではありません。しかし、AIが複雑な数学的推論を自律的に行い、人間が数十年かけて積み上げてきた境界線を大幅に更新できることを実証しました。

Jarred Sumner氏による介入は、モデルへの励ましといった最小限のものに留まっており、数学的な選択の大部分はAIに委ねられていました。この事実は、AIが専門知識を持たない人間の意図を汲み取り、高度に専門的な領域で「科学的発見のエージェント」として機能する未来を予見させるものです。AIによる数学的探索のスピードと精度は、今後さらに加速していくことが期待されます。