Yang-Mills 工作组独立验证 OpenAI 构造:证实 Wightman 公理但未证质量隙
calabi_and_yau · x · 2026-11-11
Yang-Mills 工作组发布了对 OpenAI 于 10 月 28 日提交的 Lean 形式化构造(仓库 OpenAI-YM-20261028)的独立验证报告(11 月 10 日)。
核心结论
- 验证认为该提交证明了一个满足 Wightman 公理的相对论性量子场论,可由任意单纯紧致规范群的四维 Wilson 格点规范理论作为 scaling limit 构造。
- 但未证明无限体积极限的唯一性,也未证明质量隙——即不构成对 Jaffe-Witten 意义下完整 Yang-Mills 千禧年问题的解决。
验证过程
- 通过干净重建、公理审计与 Comparator 检查,并附加独立写成的 Lean 检查确认构造满足要求;人类审查补充核对了定义。
- 证明思路:构造固定体积下的连续关联函数作为格点理论的 scaling limit,用紧致性获得次序列极限,分解为满足 Osterwalder-Schrader 公理的纯相分量,再经 OS 重建定理得到满足 Wightman 公理的 QFT。
- 报告声明与 OpenAI 唯一联系是使用其 Astra 模型辅助分析,与 Clay 数学研究所无关联。
所属事件:物理学家工作组验证 OpenAI 杨-米尔斯 Lean 构造：证实 Wightman 公理但未证质量隙(5 条相关)→
「模型」频道最新
- 鹈鹕骑车 SVG 横评：Fable 5.2 花25分钟25美元，Gemini 4 Hydrogen 5分钟搞定 — FinanceYF5 · 2026-11-11
- 同一任务四种 AI 工作流横评：Fable 2分钟6美元完胜 GPT-6 的23分钟93美元 — FinanceYF5 · 2026-11-11
- 无提示词无成本的模型对比更像效果展示而非排名 — FinanceYF5 · 2026-11-11
- Vals Index 一周三发全在帕累托前沿，Meta Ember 仅花 0.84% 成本拿到 85% 性能 — AnkaReuel · 2026-11-11
- Fable 指挥本地 Qwen 执行：立体书成本降 80% 提速一半 — FinanceYF5 · 2026-11-11
- Fable 5.2 对比 Opus、Gemini、GPT：10 组实测无碾压 — FinanceYF5 · 2026-11-11