OpenAI 千页 Yang-Mills 证明遭专家首次评估:尚未完全过关
mishig25 · x · 2026-11-13
HF 作者 David Louapre 解析 OpenAI 声称的 Yang-Mills 存在性与质量间隙问题进展(这是 Clay 研究所七大百万美元难题之一,也是数周前 Navier-Stokes 之后的又一个)。要点:
- OpenAI 发布了 1147 页手稿,并在 Lean 中完成机器验证,但 Lean 只能验证逻辑步骤,无法验证代码中的定义是否真正对应数学家/物理学家关心的问题。
- OpenAI 为此召集了特别专家小组审查证明,该小组刚发布第一份评估,结论是"尚未完全证明"(not quite...yet)。
- 文章还系统讲解了量子场论框架、Yang-Mills 与强核力的关系、质量间隙问题对粒子加速器物理的意义。
所属事件:OpenAI 千页 Yang-Mills 证明遭专家质疑：质量间隙未解决(3 条相关)→
「模型」频道最新
- Claude 短暂宕机后已恢复，作者确认服务正常 — Salmaaboukarr · 2026-11-13
- 谷歌或放弃显式缓存：Gemini 4 与新版 API 均不支持 — danson729 · 2026-11-13
- 一个 Prompt 生成 2200 行球鞋网站，ERNIE 5.5 Flash 4 分 53 秒完成 — Div_pradeep · 2026-11-13
- 综合榜单以文本为主,DeepSeek 等视觉能力难体现 — TwoBlueFools · 2026-11-13
- Terminal-Bench 4.0 算账:GPT-6.1 Sol 以约 1/8 成本逼近 Opus 5.5 — LeadershipNo2904 · 2026-11-13
- HF 员工推荐 basal-2.0-mini:基于 Bielik 1.5B 的决策微调模型 — lhoestq · 2026-11-13