正在加载视频...
视频加载失败
Terence Tao thinks AI is already very good at using existing, well-understood math techniques to solve problems. An important question is how many open problems in math could be solved this way, without developing any new ideas. An extreme case of a proof like this is the four-color theorem,... show more
0 条评论
暂无评论
原始帖子的评论将显示在这里
