丘成桐成立不用高考的清华求真书院，只为培养数学家 Pine发自凹非寺量子位|公众号

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

文章图片
对话中，沈向洋和丘成桐分别作为人工智能领域和数学领域的大牛，探讨了数学与人工智能之间存在的各种关系。

文章图片
话不多说，来看看吧！
未来几千页的证明AI来检查早在几年前，中国科学院院士、数学家徐宗本就称AI与数学之间是融通共进的。
前几天，清华大学人工智能研究院张钹院士在谈到人工智能与数学的关系时也说道：
没有世界一流的数学，就不可能有世界一流的人工智能。

文章图片
所以在探讨数学与AI之间的关系前，得先明白什么是一流的数学。
对此，已经称得上是一流数学家的丘成桐总结出了四个字：画龙点睛。
在丘成桐眼中，数学是研究大自然的学科，这个大自然不仅包括实际存在的事物，还囊括了各种现象。
普通的数学家一般着眼于一个具体的问题，所观察到的维度局限在点、线之间。
而一流的数学家则能够跳出点与线的框架，将“眼睛点出来” ，把视野延展到更广阔的“自然”上。
那一流的数学是怎样对人工智能产生影响的？
其实纵观数学与人工智能发展的历史，不难发现二者之间的关系。
我们可以从几十年前的数学中看到现在AI的发展，同样的，我们也可以从现在数学的发展中窥探到未来AI的发展。
就拿图灵和冯诺依曼来说，他们当时的许多研究成果都在引导着现在人工智能的发展。
图灵的研究方向从数理逻辑开始，慢慢地向计算机方向研究。他引进了很多重要的观念，比如说图灵测试，图灵机模型等，并且至今图灵机都还是计算机研究的中心课题。
冯诺依曼从数学的角度出发，引进了博弈论，深刻地影响了经济学和计算机等学科。
以上两位都是上个世纪的数学家，但他们的理论、观念仍在影响着现代人工智能的发展。
说回丘成桐，作为现在一流的数学家，或许我们也可以从他的研究内容中找到未来AI的发展方向。
在对话中，丘成桐提到了他的研究内容“最优传输的奇点”与AI发展之间的关系。
简单来讲，他的研究内容是寻找两个概率分布之间的最优传输方案，而这也应用到了计算机图形学，计算机视觉等AI领域。
不仅如此，沈向洋提到，人工智能领域出现的很多突破都恰恰是数学的功劳。
就拿前不久爆火网络的DALLE-2生成的图像来说，它之所以能够生成逼真的图像，是因为它使用对了数学模型——DiffusionModel 。

文章图片
△图源OpenAI人工智能源自于一流的数学，那反过来人工智能会影响数学的发展吗？
答案是肯定的。
丘成桐提到，对于很多问题，许多数学家都不能确定，拿有限群的分类来说，这是数学领域一项巨大的工程，由百余位数学家合作完成，相关证明也就多达几千页纸。