公众号 · 新智元·· 3 天前精选AI 评分66
陶哲轩发表《数学2.0》演讲：AI把数学界从证明稀缺推向证明过剩
证明大爆炸，数学界变天！AI把陶哲轩逼出「数学 2.0」
AI 导读
菲尔兹奖得主陶哲轩在加州理工学院发表题为《数学2.0》的演讲，提出数学已从「证明稀缺」的数学1.0时代进入「证明过剩」时代。
选题角度
陶哲轩把数学从证明稀缺推向证明过剩，用抗癌药思想实验讲清AI给出答案却无人能懂的风险，适合做一期观点解读。
来源：公众号 · 新智元 · mp.weixin.qq.com
陶哲轩发表《数学2.0》演讲：AI把数学界从证明稀缺推向证明过剩