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

一张“math then vs math now”对比梗图在 AI 圈流传，调侃数学产出激增，但证明质量与可读性下降。梗图以 ChatGPT 证错引理、arXiv 预印本质量失衡、机器学习证明无人理解及 Lean 形式化无人阅读，讽刺 AI 时代数学工作的困境。