陶哲轩预言数学百年新危机:AI能不断生成数学证明,但人类根本没时间验证和理解

X
陶哲轩预言数学百年新危机:AI能不断生成数学证明,但人类根本没时间验证和理解
量子位
量子位
北京
0
打开网易新闻 体验效果更佳