The Decoder· Manuel Uth·· 2 小时前精选AI 评分85
数学家呼吁抵制 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