研究者吐槽AI证明帖刷屏：低质arXiv论文泛滥

AI研究者吐槽社交平台时间线上每天出现「我用AI证明了这个猜想」并附arXiv链接的帖子，点开却发现论文连核心命题所需的基本概念和对象都没有定义清楚，甚至有用Lean形式化证明能通过编译、定理本身却不对的情况。作者认为「slop」一词都不足以形容这类低质内容，反映出AI辅助生成论文的质量危机正在加剧。

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

• 研究者吐槽:时间线天天出现缺基本定义的 arXiv「证明」帖 — _onionesque · 2026-09-18
• TL 每天被 AI『证明』论文刷屏:Lean 证明能编译,定理却不对 — _onionesque · 2026-09-18