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

一张「math then vs math now」对比梗图在圈内流传，调侃 AI 时代数学产出数量激增，但质量和可读性变差。图里把过去解决非欧几何、形式化实分析、解决球堆积问题、提出黎曼猜想，与如今「ChatGPT 证明了这个引理（其实是错的）」「每 3 分钟一篇 arXiv 预印本，99% 是垃圾、1% 没法读」并列。