丘成桐成立不用高考的清华求真书院，只为培养数学家，还称 AI 有望帮忙检查数学证明 首位华人菲尔兹奖得主丘成桐： AI 有望用来检查数学证明，还可以帮数学家更透彻地理解外文文献 (比如拉丁文、德文…)。 这段发言来自 2022 届世界人工智能大会开幕式，丘成桐与前微软执行副总... 大千世界 2022-09-02 165 #丘成桐 #数学 #人工智能 #AI
