The Decoder· Manuel Uth·· 28 天前精选AI 评分82
数学家呼吁抵制 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