数学家怒斥AI造假：当证明能被"生成"，数学还剩什么

顶级数学家公开表达愤怒，这在数学界极其罕见。OpenAI用AI批量生成数学论文和证明的方法，触碰了学术诚信的底线。这不是矫情——当证明可以跳过人类思考直接输出，数学最核心的东西，即独立验证的智识过程，就被抽空了。有人会说AI只是工具，但工具不标注来源、不区分人机产出的边界在哪里？数学家们真正在捍卫的，是知识生产必须经过人的判断这一古老原则。这个原则一旦松动，今天被质疑的是数学论文，明天可能就是一切学术研究的根基。

原文：Top mathematicians are outraged by OpenAI's methods · 来源：Hacker News