评审组验证 OpenAI 的 Yang-Mills 存在性证明，但未解决质量间隙问题

由 Nobel 奖得主 David Gross 主持的五人评审组认为，OpenAI 提交并经 Lean 机器检查的证明建立了量子 Yang-Mills 理论的存在性。

来源：Dataconomy · 阅读原文 · 前沿热点