AGI Hunt· danintheory·· 2 小时前精选AI 评分74
OpenAI 模型给出 QCD 与 Yang-Mills 存在性证明并经 Lean 形式化验证
OpenAI 模型给出 QCD 存在性证明并经 Lean 形式化验证
AI 导读
OpenAI 研究者 danintheory 宣布，其模型产出了关于四维含规范场与费米子的相互作用量子场论的数学严格存在性证明，涵盖量子色动力学（QCD）及标准模型的一个统一完备化。
推荐理由
原文呈现了模型产出 Yang-Mills 与 QCD 存在性结果、经 Lean 形式化并邀请物理学家审核的流程，可供观察 AI 在数学物理中的角色。
来源：AGI Hunt · agihunt.info