陶哲轩发文称数学2.0时代已至：AI让数学证明泛滥，人类数学家的护城河何在？

量子位整理陶哲轩最新演讲与博客观点，他提出数学正从证明稀缺的1.0时代迈入AI证明泛滥的2.0时代。陶哲轩认为数学易受AI冲击源于三点：证明可客观检验、对象与推理高度可数字化、已有大量数字文献，而前沿实验室的投入进一步推动数学成为模型能力战场。