OpenAI模型产出QCD存在性证明
先了解这件事
OpenAI披露，其模型已于2026年9月完成纯Yang–Mills理论存在性证明，并为包含规范场与费米子的四维相互作用量子场论生成严格数学证明，相关证明均通过Lean形式化验证。 OpenAI研究者danintheory称，成果涵盖量子色动力学（QCD）及粒子物理标准模型的一个统一情形；公开信息介绍的是模型生成并完成形式化验证的证明，未说明该成果是否已获物理学界独立评审。
AI 根据报道生成 · 2 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
- AIHOT精选OpenAI 公布数学、计算机科学与物理三项 AI 研究成果及验证安排
OpenAI 宣布在数学、计算机科学与物理领域取得三项 AI 研究成果，并邀请外部专家参与验证。计算机科学成果提出 ETH 为假的确定性算法与证明材料，已在 GitHub 公开；数学成果涉及局部平滑、Kakeya 猜想与 Stein 球面限制估计；物理成果是与规范场和费米子相关的四维相互作用的量子场论存在性证明，完整信息尚未发布。
- AGI Hunt精选OpenAI 宣称 AI 产出 Kakeya、ETH 与 Yang–Mills 证明结果
OpenAI 宣称其 AI 产出三项跨领域研究结果，并提供 Lean 形式化与独立学术审查。结果涉及所有维度的局部光滑性、反驳 ETH，以及 QCD 与 Yang–Mills 存在性；ETH 结果不等于解决 P vs NP，Yang–Mills 存在性也未覆盖质量间隙，相关成果仍待学界独立确认。
- AGI Hunt精选OpenAI 宣布模型产出 Yang-Mills 与 QCD 存在性证明
OpenAI 披露其模型于 2026 年 9 月产出 Yang-Mills 存在性证明，并为包含规范场与费米子的四维相互作用量子场论给出严格数学存在性证明。研究者在相关声明中称，这些证明涵盖 QCD 及粒子物理标准模型的一个统一情形，且均通过 Lean 形式化验证。
- AGI Hunt精选OpenAI 模型生成 QCD 存在性证明并通过 Lean 形式化验证
OpenAI 模型产出了四维含规范场与费米子的相互作用量子场论严格存在性证明，涵盖 QCD 和粒子物理标准模型的统一完备化。模型先给出 Yang–Mills 存在性的自然语言证明，再给出 QCD 证明，所有证明均已在 Lean 中完成形式化验证。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 1010月27日 06:00
- 近 24 小时变化
- –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。