OpenAI 证明准黎曼假设,被称迄今最重要的 AI 数学成就
IgorCarron · x · 2026-10-21
Quanta Magazine 报道 OpenAI 10 月 6 日公布的 377 项数学成果中最受瞩目的一个:证明了「准黎曼假设」(quasi-Riemann hypothesis),即黎曼假设的弱化版本。
要点:
- 斯坦福数学家 Jared Duker Lichtman 评价其为「迄今最重要的 AI-for-math 成就,且遥遥领先」
- NYU 的 Maksym Radziwiłł 称即便这个弱化版本的推论也「惊人」:RH 的绝大部分推论已经可以从 quasi-RH 得出
- 与此前 AI 证明不同,这一证明已由人类专家完成检验;且未引入新概念,而是「对已知思想出人意料的综合」(Georgia Tech 的 Alexander Dunn)
- 黎曼假设关乎素数分布,160 余年未解
转发者 IgorCarron(Nuit Blanche 博主)的「And they fall...」暗示数学难题正被逐个攻克。
所属事件:OpenAI 证明准黎曼假设获数学家认可(4 条相关)→
「漫话AGI」频道最新
- 1947 年以来全球仅造出约 10^21 个晶体管,人脑有 10^26 个开关单元 — JosephJacks_ · 2026-10-21
- KOL 预言:一个无人被迫做厌恶工作维持生计的时代将来临 — Dr_Singularity · 2026-10-21
- 长文:AI 等技术能否用于生态修复,而非只做榨取 — Cyborgized · 2026-10-21
- 李开复出新书《AI Native》:企业真相藏在会议与工单里 — kaifulee · 2026-10-21
- 科技圈「追地位」之争:反对者批交易式人际观太冷血 — RishiBommasani · 2026-10-21
- 一条推文点破共性:基因、市场与 AI 都在优化奖励 — brucemacv · 2026-10-21