The Decoder· Manuel Uth·· 2 小时前精选AI 评分78
数学家呼吁抵制 OpenAI：AI 生成证明涌入数学界
Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field
AI 导读
数学界部分人士呼吁抵制 OpenAI，起因是该公司一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 以客座文章形式在其博客发布了相关声明，并提出数学应进入不再以解题为主要衡量标准的 Math 2.0 时代；复杂性理论家 Scott Aaronson 则称之为 Mathocalypse。
推荐理由
数学界对 OpenAI 一次性放出 700 多份 AI 证明的反应，折射出 AI 与学术共同体在署名、验证和节奏上的分歧。
来源：The Decoder · the-decoder.com