2026年3月22日，数学家陶哲轩指出，AI与形式化方法正深刻改变数学研究，其影响堪比汽车对城市发展的冲击。他强调，现有学术体系（如期刊、师徒制）为人而设，重视探索过程与思想脉络；而AI辅助证明虽高效直达结论，却缺失关键的启发性叙述，难以适配传统发表机制。陶哲轩主张不强行改造AI以迎合旧体系，而应构建适配机器的新基础设施，如形式化验证平台、人机协同证明库，并倡导设立“AI规划”新学科。他坦言AI未显著提速核心研究，但极大降低了想法生成成本，当前瓶颈转向验证与评估海量假设。

免责声明：本文内容由开放的智能模型自动生成，仅供参考。