Math 2.0 on gulucaptain's Bloghttps://gulucaptain.github.io/DailyPaper/tags/math-2.0/Recent content in Math 2.0 on gulucaptain's BlogHugozh-CNSun, 11 Oct 2026 08:30:00 +0800刚刚，陶哲轩加州理工演讲：数学2.0正式到来，证明稀缺性时代彻底结束https://gulucaptain.github.io/DailyPaper/clips/tao-math-2-0/Sun, 11 Oct 2026 08:30:00 +0800https://gulucaptain.github.io/DailyPaper/clips/tao-math-2-0/陶哲轩在 Caltech 讲《Math 2.0》：数学因为「客观可验证 + 高度可数字化 + 海量高质量数据」三特性命中机器学习的最强项，正从证明匮乏时代被拽入证明充沛时代——但解题从来只是人类理解的替代指标，在证明充沛时代这根标尺彻底错位，盲目刷解题速度反而有害；AI 的正确用法不是替人解题…