The Decoder· Manuel Uth·· 2 小时前精选AI 评分78
数学家呼吁抵制 OpenAI，AI 生成证明涌入数学界
Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field
AI 导读
数学家团体 AHM 发表声明，呼吁抵制 OpenAI，起因是 OpenAI 一次性发布 700 多个 AI 生成的数学证明文件，称这是展示力量而非学术贡献。菲尔兹奖得主 Terence Tao 在博客转发该声明并提出 Math 2.0 时代，认为解题不应再是学科主要目标；Scott Aaronson 则称之为 Mathocalypse。
推荐理由
围绕 AI 批量产出数学证明引发的抵制与两种发布模式对比，呈现学界对研究节奏与署名规则的分歧。
来源：The Decoder · the-decoder.com