OpenAIが公開した準リーマン予想の証明について、Quanta Magazineが取り上げた専門家は「AI数学でこれまでで最も重要な成果」と評価した。研究者にとって効き目があるのは、リーマン予想本体に近い結論の一部をAIが示したという点だ。Radziwiłł氏（NYU）は「ある意味で、リーマン予想の帰結の大半は準リーマン予想から既に導かれる」と述べる。これは、AIが暗号解読や個別の未解決問題から、数論の中心部へ成果の射程を広げている流れの延長にある。ただし評価は専門家個人の見解で、独立した査読・確認は未了だ。本当の問いは、AIが成果を出す速度に、人間の検証が追いつくのかに移る。

何が起きたか

  • OpenAIは、公式GitHub（openai/math）に準リーマン予想のプレプリントを2版公開した。2026年9月30日版は「Re(s)>7/8に零点がない」とするもの、10月5日版は零点が実部1/12〜11/12の間に収まるとする改良版である。
  • Quanta Magazine（Konstantin Kakaes氏、2026-10-19）が、この証明の意味を専門家の声とともに報じた。
  • Jared Duker Lichtman氏（スタンフォード大）は「the most significant AI-for-math achievement so far, by quite a margin」と評した。これはQuantaが引用した専門家個人の見解で、Quanta自身の評価ではない。

準リーマン予想とは何か

準リーマン予想は、リーマン予想の弱い版である。リーマン予想は零点がすべて特定の直線上にあると主張するが、準リーマン予想は、零点が既知の0から1の帯より狭い縦の帯に含まれることの証明を求めるだけだ。Quantaは「just asks one to prove that they are all contained in a vertical strip that's narrower than the known strip between zero and 1」と説明している。

したがって、リーマン予想自体が解決されたわけではない。

検証の状況

項目 状況
OpenAIによる公開 公式GitHubで2版を確認
専門家の評価 Quantaが引用した個人の見解
外部数学者による独立確認 未確認
Lean検証（9月30日版は検証済み、10月5日版は未形式検証） Quantaの記述のみで未検証

OpenAI側のページからはLean検証の記載を確認できず、PDF本文も精査できていない。9月30日版と10月5日版は境界値が異なるため、「準リーマン予想」の具体的な内容は版に依存する。

なぜ重要か

数学では、成果が正しいと受け入れられるまでに査読と独立確認が必要になる。AIが大規模に証明を生成できる状況では、生成の速さと検証の速さに差が生まれる。今回の証明は、評価の高さと検証の未了が同時に存在する例である。

「最大の成果」という言葉は専門家の評価であり、確立した事実ではない。この記事が断定できるのは、OpenAIが2版のプレプリントを公開したこと、準リーマン予想がリーマン予想の弱い版であること、そして専門家が上記の評価を述べたことまでだ。