数学家呼吁抵制 OpenAI，AI 生成证明涌入数学领域

部分数学家呼吁抵制 OpenAI，起因是该公司一次性放出 700 多份 AI 生成的数学证明文件，一个数学家顾问团体称这是展示力量而非学术成果。陶哲轩在博客转发该声明并提出 Math 2.0，认为解题不应再是学科的主要衡量标准；Scott Aaronson 则对比了 OpenAI 批量放出草稿与 Anthropic 与研究者合作并支付报酬的两种路径。