AI 冲击数学圈：造假论文泛滥引身份危机

AI 对数学社区的冲击引发热议：在 Tsimerman、陶哲轩、Buckmaster 等相关事件之后，「去形式化的低质 Lean 证明」大量涌向 arXiv，造假论文泛滥，有数学家自嘲第一次为自己的身份感到羞愧。Plinz 评论称，数学家群体被「苦涩的教训」击中，这波冲击对他们的杀伤比当年对 AI 研究者和程序员来得更突然、更措手不及。

2026-09-21 ~ 2026-09-21 · 2 条相关

• 数学圈被「苦涩教训」击中：造假论文泛滥，数学家自嘲第一次为身份羞愧 — basedjensen · 2026-09-21
• Plinz:数学家被「苦涩的教训」击中,比 AI 研究者更措手不及 — MarvinTBaumann · 2026-09-21