陶哲轩对AI的评价，一年内从“满嘴跑火车的研究生”逆转为“初级合作者”。转折点很具体：大模型连续工作时长从几分钟跃升到数天，并能自主解决埃尔德什遗留的20多个中等难度问题。这验证了AI在试错效率上的潜力。但他强调，必须把AI当“副驾”，用形式化工具严格审查，因为生成证明的速度已远超人类验证能力——这才是当前核心瓶颈。 陶哲轩说AI是满嘴跑火车研究生