AI 做数学：从玩具到不可或缺的伙伴
Scattered thoughts on how doing math feels these days
作为一名数学研究者，我亲历了从 2024 年到 2026 年 AI 在数学领域的惊人飞跃。虽然 AI 能让我的效率提升约 50%，但它并非完美无缺。它能快速处理繁琐计算，却在构建清晰的抽象结构和撰写逻辑连贯的证明时显得力不从心，常产出类似“意大利面代码”的混乱论证。目前，人类在理解数学本质和提炼核心思想方面仍具有不可替代的优势。我们正处于一个奇点时刻：AI 是强大的助手，但人类仍需保持对“理解”的掌控，而非完全让渡思考权。
至少在做数学这件事上，至少在当下，我得以扮演柯克船长，而 AI 则是史波克。