OpenAI模型完成杨-米尔斯场论证明

发生了什么

据凤凰网·科技报道，OpenAI发布文章称其内部模型已证明杨-米尔斯场论的数学存在性。该模型在数学上证明了局部平滑猜想、挂谷猜想及斯坦因限制猜想，并推翻了指数时间假说。在物理领域，模型给出了量子场论的严格存在性证明，并提出了描述标准模型的大统一理论。OpenAI为上述发现配备了外部专家团队进行验证与公开。据报道，该模型于9月9日输出四维存在性证明，9月18日证明QCD存在，10月16日完成Lean形式化。