AI 让我的数学效率只提高了 50%Scattered thoughts on how doing math feels these days

一位数学工作者记录 2024 到 2026 年间 AI 从玩具变成必需品的亲历，估算自己效率只提升一半，并指出 AI 真正缺的是「创建抽象」。

作者说，AI 今年秋天已经能几分钟做完他过去要花几小时的事，可他的整体效率只提高了大约 50%。

最戳我的是他对 AI 写作的抱怨：问题不是文风套路，是它写的证明「根本讲不通」。它会做技术活，却不会把论证拆成有清晰前提和结论的模块，于是一路从简单滑向一团乱麻。

我还挺认同他那句自我提醒：每次让 AI 改到天亮、最后一无所得、只能推倒重来，都觉得自己很蠢。