OpenAI宣称解决杨-米尔斯问题但未公开证明

OpenAI宣称已解决“杨-米尔斯存在性问题”，但未公开用于验证结论的Lean形式化证明文件，数学界因此质疑其成果及具体证明内容。数学家Elliot Glazer指出，社区无法取得证明文件，也难以从外部判断究竟证明了什么。 研究者teortaxesTex称，隐藏Lean证明如同隐藏思维链，并认为该证明属于OpenAI的知识产权；这些说法及OpenAI的突破宣称均未因相关文件公开而得到外部验证。

AI 根据报道生成 · 59 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。