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

数学界部分人士呼吁抵制 OpenAI，起因是该公司一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在其博客以客座文章形式发布了 AHM 的声明，并称数学应进入不再以解题为主要衡量标准的 Math 2.0 时代；Scott Aaronson 则称之为 Mathocalypse。