OpenAI公布三项数理突破引争议，专家团队正复核反驳ETH成果
先了解这件事
2026年10月27日，OpenAI宣布其AI模型在数学、计算机科学和物理学领域取得三项突破，涉及局部光滑猜想证明、证伪指数时间假说（ETH）及纯杨–米尔斯理论存在性推演，并称已完成Lean形式化验证。早先报道称相关输出与证明已全部上传GitHub；后续报道则称数学和计算机成果已公开，物理学成果依专家建议暂缓公开。同日，OpenAI邀请诺奖得主David Gross等专家展开独立审查。10月28日，杨–米尔斯成果被指抢先了Anthropic研究员与学者的独立研究，引发优先权争议；多位科研人员亦批评其闭门把关、未全面公开证明。10月29日，针对反驳ETH的成果，OpenAI已邀请麻省理工学院专家及ETH原提出者介入改写与复核，后续将制作人类可读证明并组织专业评审。
AI 根据报道生成 · 5 天前更新
事件进展
- 10月28日 04:48 · 1 篇报道研究人员批评 OpenAI 限制性发布科学突破成果The Verge · AI：科研人员不满 OpenAI 对数学与物理等突破性成果设限把关
- 10月27日 07:34 · 5 篇报道OpenAI公布三项重大科学发现及学术合作新模式The Verge · AI：OpenAI 宣布三项重大科学发现，并公布与学术界合作验证机制
报道时间线
沿着报道，了解事件的不同侧面。
- 科学网OpenAI 称其 AI 模型反驳支撑计算机科学近 30 年的指数时间假设
OpenAI 宣布其 AI 模型反驳了支撑计算机科学近 30 年的指数时间假设（ETH），并使用数学证明检查软件 Lean 对结果进行了形式化验证。该假设关涉可满足性问题与 P 与 NP 难题的求解边界，团队已邀请麻省理工学院专家及 ETH 原提出者介入改写与复核，后续将制作人类可读证明并组织专业评审。
- The Verge · AI精选科研人员不满 OpenAI 对数学与物理等突破性成果设限把关
OpenAI 宣称在数学、计算机科学和物理学领域取得重大突破并交由选定专家审核，引发多位科研人员对其实施成果把关的不满。被宣布的成果包括声称解决任意维度挂谷猜想与反驳指数时间假说等，但物理等关键成果并未完全公开。学者及相关顾问团体呼吁，AI 实验室不应挑选少数人闭门把关，应直接公开自然语言与 Lean 形式化证明供全社区开放核验。
- Scientific AmericanOpenAI 宣称使用内部大模型攻克杨-米尔斯存在性问题，引发学术优先权争议
OpenAI 宣布利用内部专有大语言模型完成了量子色动力学与杨-米尔斯理论中存在性问题的形式化推演，并称已在 Lean 语言中完成验证。该结果抢先了 Anthropic 研究员 Levent Alpöge 与西北大学数学家 Ethan Sussman 的独立合作研究，后者此前刚在 GitHub 公布相关中间进展。
- The Decoder精选OpenAI 邀请诺奖得主等外部专家审核其 AI 在数学、计算与物理领域的理论证明
OpenAI 邀请包括诺贝尔物理学奖得主 David Gross 在内的外部专家团队，对其 AI 系统在计算机科学、数学和理论物理领域生成的多项重大证明进行独立审查。
- 科学网精选OpenAI公布数学、计算机和物理学3项新发现
OpenAI宣布利用模型在调和分析、计算复杂性理论和量子场论领域取得三项新发现，并已完成Lean形式化验证。成果涉及给出局部光滑猜想在所有维度下的证明、证伪指数时间假设（ETH），以及完成纯杨–米尔斯理论存在性等推演。数学和计算机成果已在GitHub公开并交由外部专家团队核查，物理学成果依专家建议暂缓公开，所有主张均等待学界独立审查。
- The Verge · AI精选OpenAI 宣布三项重大科学发现，并公布与学术界合作验证机制
OpenAI 宣布其 AI 模型在数学、计算机科学与物理学领域取得三项突破，包括声称否定指数时间假说（ETH）、证明波方程局部平滑猜想及四维量子场论存在性，相关模型输出与 Lean 证明已上传至 GitHub。针对计算机科学与物理学成果，OpenAI 邀请了外部专家团队进行审查与引导；但其数学顾问团 AGMAI 警告不应向指定学者提供早期特权访问，建议未来统一在学术仓库公开发布。
本事件热度走势
当前热度 3·可比范围峰值 31（10月28日 03:00）·近 24 小时可比范围变化 -50%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。