OpenAI 模型给出 QCD 存在性证明并经 Lean 形式化验证
danintheory · x · 2026-10-27
OpenAI 研究者 danintheory 宣布，其模型产出了关于四维含规范场与费米子的相互作用量子场论的数学严格存在性证明，涵盖量子色动力学（QCD）及粒子物理标准模型的一个统一完备化。
- 作为子问题，这项工作还包含纯 Yang–Mills 理论存在性的证明，后者属于 Clay 数学研究所千禧年大奖难题的一部分
- 所有证明均已在 Lean 中完成形式化验证
- 流程：模型先给出 Yang–Mills 存在性的自然语言证明，随后给出 QCD 证明，形式化完成后邀请 David Gross 牵头，与 Michael Douglas、Arthur Jaffe、Igor Klebanov、Nikita Nekrasov 等物理学家组成工作组审核并向外界解释这一结果
所属事件:OpenAI 宣布模型产出 Yang-Mills 与 QCD 存在性证明(2 条相关)→
「模型」频道最新
- 实测 GPT-6.1 Terra 操控 Blender 建 3D 跑车，仅耗 Pro 200 计划 3% 额度 — sandersted · 2026-10-27
- Google DeepMind 高管回复意外确认「Gemini 4」存在 — DeryaTR_ · 2026-10-27
- Gemma 推理提速 2.85 倍:vLLM 上突破每秒 10.8 万 token — patloeber · 2026-10-27
- 用户实测发现 Claude Duet 无凭据存储,无法安全保存 API key — altryne · 2026-10-27
- 医生预告「放射科最后考试 2.1」:医疗模型榜单将被翻转 — DrDatta_AIIMS · 2026-10-27
- Reddit 用户热议：Ming 图像模型被严重低估 — alley103 · 2026-10-27