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

陶哲轩在加州理工学院的演讲《Math 2.0》中指出，AI正在使数学研究从“证明稀缺”进入“证明富足”时代。他警告盲目追求AI解题会损害数学长期发展，并提出了包括解决开放阐释问题、建立知识网络、开发开源数学模型等十条Math 2.0具体研究方向。