数学家呼吁抵制 OpenAI，AI 生成证明涌入数学领域
一批数学家发表声明，呼吁抵制 OpenAI，起因是 OpenAI 一次性放出 700 多个文件，声称其内部模型解决了 100 多个未解数学问题。菲尔兹奖得主 Terence Tao 在博客转发该声明并提出 Math 2.0 时代，Scott Aaronson 则称之为 Mathocalypse。
推荐理由：数学界对 OpenAI 批量放出 AI 证明的反弹，呈现了 AI 冲击基础研究时学术共同体与实验室之间的张力。
一批数学家发表声明，呼吁抵制 OpenAI，起因是 OpenAI 一次性放出 700 多个文件，声称其内部模型解决了 100 多个未解数学问题。菲尔兹奖得主 Terence Tao 在博客转发该声明并提出 Math 2.0 时代，Scott Aaronson 则称之为 Mathocalypse。
推荐理由：数学界对 OpenAI 批量放出 AI 证明的反弹，呈现了 AI 冲击基础研究时学术共同体与实验室之间的张力。