丘成桐成立不用高考的清华求真书院，只为培养数学家

Pine 发自凹非寺量子位公众号 QbitAI 首位华人菲尔兹奖得主丘成桐： AI 有望用来检查数学证明，还可以帮数学家更透彻地理解外文文献（比如拉丁文、德文…）。这段发言来自 2022 届世界人工智能大会开幕式，丘成桐与前微软执行副总裁沈向洋的对话中。知道人工智能源于数学，没想到它对推动数