陶哲轩：AI 对数学研究的影响如汽车对城市，需建适配机器的新基础设施

数学家陶哲轩将 AI 对数学研究的影响比作汽车对城市的冲击：汽车虽快，却与旧道路体系冲突，需新规划融合。现有数学体系（期刊、师徒传承等）为人类设计，人类证明虽慢，但能锤炼能力、发现新方向；而 AI 辅助证明高效却丢失这些附加价值，难以符合传统期刊发表要求。

陶哲轩认为，不应强行让 AI 适配旧体系，而需创建适配机器的新数学基础设施（如形式化证明助手、自动生成的粗略证明库），并提议建立“AI 规划”新学科。他提到 AI 让工作更丰富（如图表、代码、文献检索），但核心研究仍用笔纸；AI 降低了想法生成成本，却使验证成为新瓶颈。