关于如今做数学是什么感觉的一些零散思考

一位数学工作者记录当下用 AI 做数学的体验：AI 在几个月内从"有点用的玩具"变成许多人离不开的工具，让他个人效率提升约 50%。但他认为 AI 仍不擅长写作与建立抽象，给出的证明冗长纠缠，需要反复对话才能逐步简化。