IAS 下属数学与 AI 咨询组 AGMAI 呼吁 OpenAI 无条件公开 Yang-Mills 证明

IAS 下属的数学与人工智能咨询组（AGMAI）发布建议，呼吁 OpenAI 无条件公开其宣称的 Yang-Mills 理论、量子色动力学存在性证明及标准模型补全的自然语言与 Lean 形式化输出。OpenAI 此前称推迟公开是等待 Lean 形式化完成，AGMAI 认为按其说法形式化已经完成，再拖延没有科学理由。AGMAI 还另文反对由实验室指定少数数学家参与成果发布，主张社区主导的有机传播。