陶哲轩的观点：他并不反对AI作为数学助手（用于计算、查资料、形式核验），而是警惕AI产出的黑盒证明。\n\n在他看来，数学不只是得到“命题为真”这个结果。数学的核心是洞见：证明的价值不仅在于结论，更在于推导过程中诞生的新概念、新思路、可传承的思想路径。\n\n如果AI只输出一个能被机器验证、但人类完全读不懂的证明，相当于只给出终点，没有道路。就算答案正确，数学共同体也得不到可借鉴的认知财富。更深一层的担忧：商业资本可能把数学矮化成跑分竞赛，用“攻克难题”当作技术炫耀，扭曲数学本来的目标。\n\n这不是害怕被AI取代（不是卢德运动式的恐惧），不是怕自己的工作被抢走，而是担心数学的范式被破坏。\n \n对立的看法：不必要求人类读懂证明的每一步。\n \n1. 历史先例：四色定理的计算机穷举证明已经被学界接纳。判断一个证明有效，标准可以是可独立核验，不是人脑能完整理解；核验可以交给专门的形式化验证程序。\n\n2. “知道命题为真”本身就是巨大价值。即便AI的原始证明晦涩，人类仍可以在确认真值后，回头去寻找优美、可理解的证明，提炼洞见。AI是勘探员，而非最终的建造者。\n\n3. “可理解”不是固定标准，是随认知和工具进化的。今天看不懂的推理，未来可能会有新的数学语言来解读。\n\n4. 这是分工升级：人类聚焦提出问题、判断方向、搭建宏大理论；AI承接繁重的符号推演。就像计算器没有消灭数学，只是解放了数学家。\n\n5. 数学有自身的学术评价体系，不会完全被商业算力绑架。\n \n根本分歧是数学哲学：\n \n若把数学看作对抽象真理的探索（柏拉图式）：真理之间的关联、内在的道理（洞见）才是目的，单纯真值远远不够；\n\n若把数学看作自洽的形式结构：只要逻辑合规、可核验，就完成了证明的使命，理解可以后置。\n \n简单总结：\n一边认为，通往真理的路和真理本身同等重要；另一边认为，先确认真理存在，路可以以后再修。