AI 秒证数学题梗图戳中学界焦虑

2026年10月7日，一条被热转的段子在学术圈传播并获报道：段子以从本科生到系主任各层级数学人的口吻，刻画 AI 能直接给出证明后的学术圈众生相。研究生自嘲学位难点成了「带证明的自动补全」；博士后发愁谁来审 700 份 PDF；系主任纠结是多招数学家，还是多招做验证机器的人；老教授则要求「给我两周验证明」。报道称，该梗图戳中了 Lean 形式化验证等工具落地后学界面临的信任与审稿危机。截至报道时，尚无更多后续进展。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。