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

数学界部分人士呼吁抵制 OpenAI，起因是该公司一次性放出 700 多份 AI 生成的数学证明文件，被 AHM 声明称为展示力量而非学术成果。陶哲轩在博客转发该声明，并提出数学应进入不再以解题为核心衡量标准的 Math 2.0 时代；Scott Aaronson 则对比了 OpenAI 批量放出草稿与 Anthropic 与研究者合作、给予报酬并写出人类可读证明的两种模式。