The Decoder· Manuel Uth·· 11 小时前精选AI 评分81
部分数学家因 AI 生成证明涌入数学领域呼吁抵制 OpenAI
Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field
AI 导读
部分数学家在 AHM 声明中呼吁抵制 OpenAI，批评其一次性释放 700 多个 AI 证明文件是在展示力量而非学术成果。文章称，OpenAI 此前宣称内部模型一个月内解决 100 多个开放数学问题，并在 IAS 设立 AGMAI 顾问组，但 AHM 认为其已无视相关建议。
推荐理由
原文梳理了数学界对 AI 生成证明的分歧，可作为理解研究归属、验证负担和开放节奏冲突的背景。
来源：The Decoder · the-decoder.com