标签 > 陶哲轩最新演讲：数学2.0来了，证明稀缺时代正在终结

数学 2 0 全新阶段已经到来，AI 技术推动数学研究转型，过去证明稀缺的时代正在走向终结。传统数学 1 0 阶段，数学证明产出难度大、数