The Decoder· Manuel Uth·· 8 天前
数学家呼吁抵制 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”。
入选记录
门槛 76媒体与个人第一次 78第二次 78
入选两次之和 156 ≥ 门槛的两倍 152
- 信源等级
- 媒体与个人，这一级的门槛是 76 分
- 预筛
- 通过：AI生成数学证明引发抵制与讨论
- 推荐理由
- 数学界对 OpenAI 一次性放出 700 多份 AI 证明的反应，呈现了 AI 冲击基础研究时学术共同体与实验室之间的张力。
评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。
来源：The Decoder · the-decoder.com