AI 证明了类黎曼猜想。接下来会发生什么？
Quanta 报道，OpenAI 的模型给出了准黎曼猜想（黎曼猜想的弱化版本）的证明，其中一个版本已在 Lean 中完成形式化验证。研读过证明的数论专家普遍认为结果正确，称其为迄今最重要的 AI 数学成果。它并未解决完整的黎曼猜想，但表明 AI 能综合已有思想、攻克专家原以为够不着的问题。
报道来源 · SOURCES
- Hacker News (AI)2026-10-19 17:09
Quanta 报道，OpenAI 的模型给出了准黎曼猜想（黎曼猜想的弱化版本）的证明，其中一个版本已在 Lean 中完成形式化验证。研读过证明的数论专家普遍认为结果正确，称其为迄今最重要的 AI 数学成果。它并未解决完整的黎曼猜想，但表明 AI 能综合已有思想、攻克专家原以为够不着的问题。