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

首位华人菲尔兹奖得主 丘成桐 ： AI有望用来 检查数学证明 ，还可以帮数学家更透彻地 理解外文文献 （比如拉丁文、德文…） 。 这段发言来自2022届世界人工智能大会开幕式，丘成桐与前微软执行副总裁 沈向洋 的对话中。 知道人工智能源于数学，没想到它对推动数学学科的发展还有这样的潜力。 对话中，沈向洋和丘成桐分别作为人工智能领域和数学领域的大牛，探讨了 数学 与 人工智能 之间存在的各种关系。 话不多说，来看看吧！

早在几年前，中国科学院院士、数学家徐宗本就称AI与数学之间是 融通共进 的。 前几天，清华大学人工智能研究院张钹院士在谈到人工智能与数学的关系时也说道：

没有世界一流的数学，就不可能有世界一流的人工智能。 所以在探讨数学与AI之间的关系前，得先明白什么是 一流的数学 。 对此，已经称得上是一流数学家的丘成桐总结出了四个字： 画龙点睛 。 在丘成桐眼中，数学是研究大自然的学科，这个大自然不仅包括实际存在的事物，还囊括了各种现象。 普通的数学家一般着眼于一个具体的问题，所观察到的维度局限在点、线之间。 而一流的数学家则能够跳出点与线的框架，将“眼睛点出来”，把视野延展到更广阔的“自然”上。 那一流的数学是怎样对人工智能产生影响的？ 其实纵观数学与人工智能发展的历史，不难发现二者之间的关系。 我们可以从几十年前的数学中看到现在AI的发展，同样的，我们也可以从现在数学的发展中窥探到未来AI的发展。 就拿图灵和冯诺依曼来说，他们当时的许多研究成果都在引导着现在人工智能的发展。 图灵 的研究方向从 数理逻辑 开始，慢慢地向计算机方向研究。他引进了很多重要的观念，比如说图灵测试，图灵机模型等，并且至今图灵机都还是计算机研究的中心课题。 冯诺依曼 从数学的角度出发，引进了博弈论，深刻地影响了经济学和计算机等学科。 以上两位都是上个世纪的数学家，但他们的理论、观念仍在影响着现代人工智能的发展。 说回丘成桐，作为现在一流的数学家，或许我们也可以从他的研究内容中找到未来AI的发展方向。 在对话中，丘成桐提到了他的研究内容“最优传输的奇点”与AI发展之间的关系。 简单来讲，他的研究内容是寻找两个概率分布之间的最优传输方案，而这也应用到了计算机图形学，计算机视觉等AI领域。 不仅如此，沈向洋提到，人工智能领域出现的很多突破都恰恰是数学的功劳。 就拿前不久爆火网络的DALLE-2生成的图像来说，它之所以能够生成逼真的图像，是因为它使用对了数学模型——Diffusion Model。 △ 图源OpenAI 人工智能源自于一流的数学，那反过来人工智能会影响数学的发展吗？ 答案是肯定的。 丘成桐提到，对于很多问题，许多数学家都不能确定，拿 有限群的分类 来说，这是数学领域一项巨大的工程，由百余位数学家合作完成，相关证明也就多达几千页纸。 要去证明它，很明显计算量已经远远超过了普通人的脑力范围，因此若有人工智能的协助，会轻松不少。 除此之外，丘成桐还表示人工智能可以帮助人们更深刻地了解过去大数学家提出的命题。 因为语言的隔阂，过往的很多数学命题很难被透彻地理解。 比如说大数学家欧拉，他写了有千余篇文章，在被研究的百余篇文章中，几乎每篇都会有独特的看法，重要性不言而喻。 但他写的大部分文章都是用拉丁文 （听起来就头疼） ，因此使用人工智能协助或许是未来发展的一大方向。 更重要的是，过往很多学科上的突破都是在两个学科或多个学科的融合中发现，人工智能或许可以深入分析不同学科，帮助其进行更好地融合。