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