AI 模型产出杨-米尔斯与 QCD 存在性证明，并已用 Lean 形式化验证
LucaAmb · x · 2026-10-27
据 @danintheory 介绍，一项物理学协作将解释并给出严格的数学存在性证明，覆盖四维时空中含规范场与费米子的相互作用量子场论，包括量子色动力学（QCD）及标准模型的一个统一完成版本。作为子问题，该工作还证明了纯杨-米尔斯理论的存在性——这正是克雷数学研究所千禧年大奖难题的一部分。关键在于这些证明均已在 Lean 中形式化验证：他们的模型先产出了杨-米尔斯存在性的自然语言证明，随后又给出了 QCD 的证明。物理学者对 4D 理论在紫外端弱相互作用、小尺度下近似自由粒子的图景展开讨论。
「研究」频道最新
- 碱编辑疗法 BEAM-301 治 GSD1a：2/3 患者单剂后不再需玉米淀粉补充 — IAmSamFin · 2026-10-27
- RXNMapper-v2 发布:化学反应原子映射工具在更大化学空间重新验证 — CatAstro_Piyush · 2026-10-27
- 研究者开讲「论文怀旧」系列,首篇重读 ICLR 2020 经典 JEM — CatAstro_Piyush · 2026-10-27
- Simons 基金会联合 Anthropic 与 OpenAI 设 1500 万美元 Math+AI 资助计划 — Pseudomanifold · 2026-10-27
- 约 1.5 万页有限单群分类定理完成 Lean 形式化，史上最大数学证明获机器验证 — eptwts · 2026-10-27
- EMNLP 海报研究：LLM-as-a-Judge 的评分 rubric 存在可被利用的伪影 — ravi_iitm · 2026-10-27