先进研究院AGM AI 呼吁 OpenAI 立即公开杨-米尔斯等 AI 证明

AGM AI 于 2026 年 10 月 26 日发布公告，呼吁 OpenAI 立即公开其关于杨-米尔斯理论、量子色动力学及标准模型完备性的自然语言与 Lean 形式化输出。他们指出，理解应开放发展，反对由 AI 公司指定特定数学家优先获取成果的做法。