「数学今昔」梗图：从非欧几何到 ChatGPT 证错的引理

miniapeur · x · 2026-10-27

一张「math then vs math now」对比梗图在圈内流传：过去的数学是肌肉 Chungus 式的壮举——解决非欧几何、形式化实分析、解决球堆积问题、提出至今未解的黎曼猜想；「现在」则变成了脑残图角色——「ChatGPT 证明了这个引理（其实是错的）」「每 3 分钟一篇新 arXiv 预印本，99% 是垃圾、1% 没法读」「机器学习又证明了一遍，没人知道为什么」「所有证明都用 Lean 形式化了，但没人读」。调侃 AI 时代数学产出爆炸但质量与可读性崩坏，戳中不少研究者痛点。