AI 数学顾问组呼吁 OpenAI 公开杨米尔斯证明细节
原标题：The Advisory Group on Mathematics and Artificial Intelligence has publicly called on OpenAI to relea...
78AI 研判分
AI数学顾问组公开要求OpenAI披露其声称完成的杨-米尔斯存在性、量子色动力学及标准模型补全的自然语言与Lean形式化证明。尽管OpenAI此前已发布Kakeya猜想等成果，但核心物理数学证明仍由David Gross团队审核未公开，引发社区对透明度与验证性的关注。
报道正文
Rohan Paul (@rohanpaul_ai) · 2026-10-27 16
数学与人工智能咨询小组公开呼吁 OpenAI 发布其尚未公开的杨-米尔斯（Yang-Mills）证明。
他们要求立即公开 OpenAI 声称已完成的关于杨-米尔斯理论、量子色动力学以及标准模型完备性存在性证明背后的自然语言描述和 Lean 形式化输出。
OpenAI 表示，其模型已于 9 月 9 日证明了杨-米尔斯存在性，并于 9 月 18 日证明了量子色动力学，且首个结果已在 10 月 16 日前通过 Lean 验证。
其关于 Kakeya 猜想和指数时间假设（Exponential Time Hypothesis）的结果直接发布到了 GitHub，而物理学相关文件则仍由 David Gross 领导的评审团队保管。
