微新创想：2026年3月22日，数学家陶哲轩指出，AI与形式化方法正深刻改变数学研究，其影响堪比汽车对城市发展的冲击。他强调，现有学术体系（如期刊、师徒制）为人而设，重视探索过程与思想脉络；而AI辅助证明虽高效直达结论，却缺失关键的启发性叙述，难以适配传统发表机制。
陶哲轩主张不强行改造AI以迎合旧体系，而应构建适配机器的新基础设施，如形式化验证平台、人机协同证明库，并倡导设立“AI规划”新学科。他认为，这样的转变将有助于数学研究更高效地适应人工智能带来的新机遇。
他坦言AI未显著提速核心研究，但极大降低了想法生成成本，当前瓶颈转向验证与评估海量假设。这意味着，虽然AI在数学研究中展现出强大的计算能力，但其在推动理论创新方面仍面临挑战。
陶哲轩的言论引发了学界对AI在数学研究中角色的广泛讨论。许多学者开始思考如何在保持传统学术价值的同时，探索AI与数学研究的深度融合路径。这不仅关乎技术的进步，更涉及学术文化的重塑。
随着AI技术的不断发展，数学研究的未来将更加多元化。陶哲轩提出的构想为这一进程提供了新的方向，也促使人们重新审视学术体系的适应性与创新性。
