“数学今昔”梗图讽刺AI数学产出失序

一张“math then vs math now”对比梗图在AI圈流传，以非欧几何等传统数学成果对照ChatGPT证错引理、机器学习证明难以理解等AI数学案例，调侃数学产出激增后，证明质量与可读性反而下降。 梗图还提及arXiv预印本质量失衡，以及Lean形式化证明无人阅读，借此集中呈现AI时代数学工作数量增加、内容却难以被同行理解和检验的困境。

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

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