The Decoder· Manuel Uth·· 3 小时前精选AI 评分76
数学家呼吁抵制 OpenAI，AI 生成证明冲击数学研究
Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field
AI 导读
部分数学家呼吁抵制 OpenAI，原因是其一次性发布超过 700 份 AI 生成证明，被批评为展示力量而非展示学术成果。文章梳理了 Terence Tao、Scott Aaronson 等人对“Math 2.0”的担忧，包括证明难以核验、归属与抄袭争议，以及 AI 批量解决问题可能削弱数学中的解释、合作和新研究方向。
推荐理由
文章对比了 OpenAI 批量释放证明草稿与 Anthropic 协作整理成果的做法，呈现数学界对理解、归属和研究生态的具体担忧。
来源：The Decoder · the-decoder.com