陶哲轩：AI 辅助数学证明如同汽车冲击城市，需构建新型基础设施

【陶哲轩：AI 辅助数学证明如同汽车冲击城市，需构建新型基础设施】数学家陶哲轩将 AI 对数学的影响比作汽车冲击城市。他指出，AI 生成的证明虽快，但缺失了人类探索过程中锤炼能力、发现新方向等“附加价值”。他主张创建适配 AI 的新型数学基础设施，并提议建立“AI 规划”新学科。 ## #…… ​​​