部分数学家呼吁抵制 OpenAI，AI 生成的数学证明涌入数学界引争议
Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
部分数学家呼吁抵制 OpenAI，此前 OpenAI 宣称内部模型一个月解决了超过 100 个开放数学问题并一次性发布 700 多份文件。菲尔兹奖得主 Terence Tao 提出 Math 2.0，主张以解释和社区建设取代解题作为学科核心；Scott Aaronson 称之为 Mathocalypse，并对比 Anthropic 与研究者合作并支付报酬的模式。
推荐理由
梳理了数学界对 OpenAI 批量发布 AI 证明的抵制呼声，以及 Tao 与 Aaronson 对研究生态影响的不同切入，读者可据此比较争议双方立场。
来源：The Decoder · the-decoder.com