OpenAI 宣称使用内部大模型攻克杨-米尔斯存在性问题，引发学术优先权争议

OpenAI 宣布利用内部专有大语言模型完成了量子色动力学与杨-米尔斯理论中存在性问题的形式化推演，并称已在 Lean 语言中完成验证。该结果抢先了 Anthropic 研究员 Levent Alpöge 与西北大学数学家 Ethan Sussman 的独立合作研究，后者此前刚在 GitHub 公布相关中间进展。