OpenAI模型宣称证明杨-米尔斯场论

发生了什么

据虎嗅引述字母榜报道，OpenAI发布文章《与学术社群合作，建立科学认知》，称其内部模型已证明杨-米尔斯场论的数学存在性。该模型还宣称解决了局部平滑猜想、挂谷猜想、斯坦因限制猜想，并推翻了指数时间假说。在物理领域，模型给出了量子场论存在性证明及大统一理论。OpenAI为上述发现配备了外部专家团队进行验证与说明。据报道，9月9日模型输出四维存在性证明，9月18日证明QCD存在，10月16日完成杨-米尔斯部分的Lean形式化。