数学圈被「苦涩教训」击中：造假论文泛滥，数学家自嘲第一次为身份羞愧

basedjensen · x · 2026-09-21

一条关于 AI 冲击数学社区的讨论串：原推认为，在 Tsimerman、陶哲轩、Buckmaster 等人相关事件之后，加上「去形式化的低质 lean 证明」涌向 arXiv、以及终身教职群体对博士后困境的冷漠回应，自己生平第一次为身为数学家而羞愧。

Plinz 引用评论称，数学家被「苦涩教训」击中是耐人寻味的时刻——这打击来得比 AI 研究者和程序员更突然，他们至今仍卡在愤怒与讨价还价阶段之间；并追问下一个会不会是物理学家。