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 批量放出 AI 证明的抵制与 Tao、Aaronson 的分歧，呈现学术共同体与 AI 实验室的张力。
来源：The Decoder · the-decoder.com