数学家呼吁抵制 OpenAI，AI 生成证明涌入数学界
一批数学家发表声明呼吁抵制 OpenAI，起因是该公司一次性放出 700 多份 AI 生成的数学证明文件，声明称这并非学术展示而是力量展示。菲尔兹奖得主 Terence Tao 在博客转发该声明，并提出数学应进入不再以解题为核心指标的 Math 2.0 时代；Scott Aaronson 则称之为 Mathocalypse。
推荐理由：数学界对 OpenAI 一次性放出 700 多份 AI 证明的反应，折射出 AI 与学术共同体在署名、验证和节奏上的冲突。