丘成桐成立不用高考的清华求真书院，只为培养数学家，还称 AI 有望帮忙检查数学证明

首位华人菲尔兹奖得主丘成桐：AI有望用来检查数学证明，还可以帮数学家更透彻地理解外文文献（比如拉丁文、德文…）。这段发言来自2022届世界人工智能大会开幕式，丘成桐与前微软执行副总裁沈向洋的对...

人工智能 2022-09-04 644 #丘成桐 #数学 #人工智能 #AI