Terence Tao: Math 2.0 [pdf]

summary_zh: Terence Tao 在《Math 2.0》演講中指出，現代 AI 正在將數學從「證明稀缺」時代推向「證明充足」時代，改變了研究方法與重心。