陶哲轩：数学2.0时代已至！

菲尔兹奖得主陶哲轩发文提出数学2.0时代已至，认为建立在证明稀缺之上的数学1.0即将落幕。他指出数学易受AI冲击有三个条件：证明可被客观检验、数学对象与推理高度可数字化、大量高质量文献已数字化，同时提醒警惕只展示成功案例的幸存者偏差。他主张减少对抢先证明的强调，增加对解释评审与知识整理的重视，并把数学2.0的主要瓶颈归结为想象力。