数学与人工智能顾问小组：反对 AI 机构指定数学家参与成果发布

数学与人工智能顾问小组（AGMAI）通过陶哲轩博客发文，呼吁 AI 实验室停止在发布 AI 数学成果时指定特定数学家先行解读。该机构指出，指定合作模式会导致成果获取不平等、削弱数学社区的自主权、产生选择偏见并借用学者声誉为商业机构背书。AGMAI 建议实验室直接公开成果并附带模型名称、提示词、链式推理过程、算力与成本记录，尽可能提供 Lean 形式化证明，交由社区自主理解与验证。