人工知能によって作成され、AI から得られた 377 件の数学的結果の一部として今月初めに発表された証明が、過去 2 週間かけてそれを分解した人間の専門家の支持を集めています。 Quanta Magazine は 10 月 19 日に、数論学者らが AI によって生成された準リーマン予想 (リーマン予想の弱いバージョンであり、おそらく数学における最大の未解決の問題である) の証明を解き明かし、彼らの評決は異常に強調されていると報じた。

スタンフォード大学のジャレッド・デューカー・リヒトマン氏は、これを「これまでのところ、かなりの差を付けて最も重要な数学用AIの成果」と呼んだ。自身の研究が証明の一部を裏付けているニューヨーク大学のマクシム・ラジヴィウ氏は、その意味合いを「驚異的」だと述べた。 この件の詳細は、AIニュースをご覧ください。

準リーマン仮説の主張

リーマン予想は 160 年以上にわたって明らかにされてきました。これはリーマン ゼータ関数とその非自明なゼロの位置に関係しており、整数間で素数がどのように分布するかに密接に関係しています。素数は算術の構成要素であるため、証明があれば整数論の膨大な領域が再構築されることになります。

この仮説は、クレイ数学研究所によって命名された 7 つのミレニアム賞問題の 1 つであり、1 世紀前に発表された David Hilbert の有名な 23 の問題リストから引き継がれた唯一の問題でした。

Quanta が示す技術的な骨格は、何世代にもわたって段階的にマッピングされてきました。リーマンは 1859 年に、ゼータ関数の非自明なゼロが素数が数直線に沿ってどのように細くなるかを制御することを示し、入力の実部が 0 と 1 の間にある垂直ストリップ内にのみ素数が収まることを証明しました。 1896 年、2 人の数学者が独立して、ストリップの右端にゼロが存在しないことを示しました。これは、素数定理を証明するのに十分な強力な結果でした。仮説自体は、すべての非自明なゼロがストリップの正中線上に正確に位置し、実数部が 2 分の 1 に等しいことを示しています。負の偶数整数における自明なゼロはすでに完全に理解されています。 160 年以上の努力により、ゼロ点を特定することなく、その領域を絞り込み、調査してきました。

準リーマン予想、または準 RH は、厳密に弱いステートメントです。それでも、その影響はほぼ同じ範囲に及びます。 「ある意味、RHの影響の大部分はすでに準RHから引き継がれている」とラジヴィウ氏はクアンタに語った。

発表から検証まで

この結果は、OpenAI が自社の AI システムで得られた 377 件の数学的結果を発表した 10 月 6 日に初めて明らかになりました。プロの数学者の間では、この発表は当初、慎重な懐疑論に直面した。AI システムはこれまでにも、専門家の精査の下で主張が崩れた証明を生成しており、検証は長い間、AI が生成した数学と一般に受け入れられている数学を隔てるボトルネックとなっていた。

Quanta のレポートによると、この証明は異なります。他の最近の AI 証明とは異なり、この証明は人間の専門家によって解凍されたものです。ジョージア工科大学のラジヴィウ氏やアレクサンダー・ダン氏らを含む数論者たちは、この発表以来、この議論を検討し、その手順を確認し、既存の知識の中に位置づけてきた。

小切手は持ちこたえた。 「その証拠は、よく知られているアイデアを驚くほど総合したものです」とダン氏は述べ、彼はラジヴィウ氏とともに結果の一部に依存する手法を開拓した。

古いアイデア、隠れたつながり

おそらく証明の最も印象的な側面は、証明が必要としていなかったことである、と数学者たちはクアンタに語った。リーマン予想の弱体化さえ解決するには根本的に新しい機械が必要になるという予想に反して、AI が生成した証明には新しい概念は導入されませんでした。その代わりに、人間が組み立てなかった方法でテクニックを組み合わせ、確立されたもの同士の隠れたつながりを発掘しました。

そのパターン、つまり新しい理論によるものではなく、予期せぬ合成による新規性というものは、AI支援による数学的発見の特徴として浮上しており、研究者らに数学への機械の貢献がどこに最も最初に到達する可能性が最も高いかを再考するよう促している。

AI 研究にとってそれが重要な理由

この検証結果は、推論モデルの改良に伴い急速に加速している分野である数学向け AI にとってマイルストーンとなる。高等研究所が一連の結果について疑問を提起した際に私たちが取り上げた OpenAI の 10 月 6 日の発表は、これまでの AI 由来の数学に関する単一の主張としては最大のものでした。準 RH プルーフは、専門家の詳細な読み取りを受けたそのバッチからの最初の結果であり、生き残っています。

AI ラボにとって、このエピソードは標準になる可能性のあるワークフローを示しています。つまり、モデルが大規模な候補証明を生成し、人間の専門家が重要な結果をトリアージ、検証、吸収します。数学者にとって、直接の結果はより限定的ではありますが現実のものであり、完全な予想を保持する必要がなくなったリーマン予想の一連の結果です。

クアンタ氏は、数学者たちは証明がこの分野にとって何を意味するのかを研究し始めたばかりだと指摘する。ラジヴィウ氏が言うように、その含意は「驚異的」です。この形容詞は、完全な仮説に達しない結果に付けられることはほとんどありません。

このエピソードは、将来の請求のベンチマークにもなります。数学的ブレークスルーを発表する AI ラボはすべて、準 RH に対して評価されることになります。つまり、主張された結果は、それに反論するのに最適な立場にあるまさに専門家によってチェックされ、検証され、受け入れられたものです。

これはリーマン予想そのものを解決するものではありません。完全な推測は未解決のままであり、準 RH は厳密には弱いです。しかし、AI システムは初めて、解析的整数論の最前線で、この分野の一流の専門家たちが解明し支持した証明を生み出しました。この事実は、定理そのものと同じくらい数学研究の将来について多くを語るかもしれません。

この記事は、2026 年 10 月 19 日に発行された Quanta Magazine の報道に基づいています。

---

AIの最新情報をお届け

AIの最新ニュース、分析、ブレイクスルーを一箇所で。

AIニュースをもっと読む →