陶哲轩预言数学新危机|陶哲轩|数学证明

【#陶哲轩预言数学百年新危机#】
推销AI的人先慌了！陶哲轩在菲尔兹奖大会上预言数学百年新危机：AI能不断生成数学证明，但人类根本没时间验证和理解，数学正从证明稀缺迈向证明过剩。#陶哲轩# #数学# #菲尔兹奖# #AI# #百年一遇# http://t.cn/AXCSf4v8