AGMAI 发布 AI 生成数学成果负责任发布规范，要求披露模型、提示、计算成本与形式化状态

Advisory Group on Mathematics and Artificial Intelligence（AGMAI）在 9 月 29 日发布面向 AI labs 的数学成果发布建议。文件基于 600 余份数学界反馈，区分“有人类数学家完全理解并负责”的论文与“尚无人真正理解”的 AI 输出；后者应及时公开、补足文献归因与传统论文式表述，并披露模型、prompts、耗时、估算计算成本、失败尝试背景与 formalization status。AGMAI 还建议尽可能提供 comparator / formalization metadata，并由 AI labs 资助社区主导的人类理解工作。