【#证明大爆炸,数学界变天,AI把陶哲轩逼出「数学 2.0」#】 今年10月,菲尔兹奖得主陶哲轩在加州理工发表《数学2.0》演讲,指AI已让数学进入证明过剩时代,提出需重建人类对数学的理解。 http://t.cn/AXlKmQUD
发布于 北京
【#证明大爆炸,数学界变天,AI把陶哲轩逼出「数学 2.0」#】 今年10月,菲尔兹奖得主陶哲轩在加州理工发表《数学2.0》演讲,指AI已让数学进入证明过剩时代,提出需重建人类对数学的理解。 http://t.cn/AXlKmQUD