第一位华人菲尔兹奖得主丘成桐:
AI有望有助于检查数学证明,以及帮助数学家彻底理解外语文献(例如“拉丁”文、德语…)来修改标记元素的显示属性。
这是在2022年世界人工智能会议的开幕式上,与丘成桐前微软执行副总裁沈向洋进行了对话。
我知道人工智能是从数学中产生的,但我没想到数学的发展有这样的可能。
几年前,中国科学院法罗,数学家徐宗本说AI和数学之间有灵活性。
前几天,学院会员清华大学人工智能研究院张钹也就人工智能和数学的关系作了如下叙述。
所以,在思考数学和AI的关系之前,我们需要知道什么是一流的数学。
对此,已经是一流数学家的丘成桐导出了的是「画龙点睛」。
丘成桐中,数学是研究自然的学问,这个自然不仅是实际存在的东西,还囊括了各种各样的现象。
普通数学家通常着眼于一个具体问题,观察的维度仅限于点、线之间。
另一方面,一流的数学家可以跳出点和线的框架,“睁开眼睛”,开阔的“自然”视野。
一流的数学是如何影响人工智能的呢
其实,从数学和人工智能的发展历史来看,两者的关系就很清楚了。
从几十年前的数学可以看到现在AI的发展一样,也可以从现在的数学发展看到未来AI的发展。
例如,图灵和冯诺依曼的很多研究成果,引导着现在人工智能的发展。
图灵的研究从数理逻辑开始,逐渐向计算机方向发展。他引入了许多重要观念,如图灵测试、图灵机型等,并至今图灵机型仍是计算机研究的中心课题。
从数学的角度,引入博弈论,对经济学和计算机等产生了深刻的影响。
以上两位是上世纪的数学家,但他们的理论、观念影响着现代人工智能的发展。
丘成桐从他现在是一流数学家的研究内容中,可以看出未来AI的方向。
其中,丘成桐提到了他的研究内容“最佳传输的特异点”与AI发展的关系。
简而言之,这是一项探索两种概率分布之间最佳传递方式的研究,它也被应用于计算机图形和计算机视觉等AI。
不仅如此,沈向洋还表示,人工智能领域的突破大多得益于数学。
不久前互联网爆发性热播的dalle-2之所以能制作出和真的一模一样的图像,是因为它使用了一个叫做Diffusion Model的数学模型
△图像源OpenAI
从一流数学产生的人工智能,反过来对数学产生影响吗
答案是耶稣。
对于许多问题,许多数学家提到不能确定。有限群分类,是数学领域的一个巨大项目,由100多名数学家合作完成,相关证明长达数千页。
显然计算量远远超过普通人脑,所以如果有人工智能的配合就相当轻松了。
并且丘成桐认为,人工智能可以帮助我们更深入地理解过去大数学者提出的命题。
到目前为止,很多数学命题都因为语言障碍而难以被理解。
例如,大数学家欧拉写了上千篇文章,在上百篇研究过的文章中,大部分都有独特的看法,其重要性不言而喻。
但是,他写的文章大多是用“拉丁”句(仅此就令人头痛)写的,所以使用ai进行合作,可能是将来的一大方向。
更重要的是,过去学问的突破往往是在两门学问的融合中发现的,而人工智能或许可以帮助我们更深入地分析不同的学问,帮助我们融合。
One More Thing在对话的最后,在丘成桐中说,对算术产生兴趣是从小开始的,并且应该避免对应试学习的努力。
为了培养更多的数学家,设立了丘成桐求真书院。
为了不让你因为忙于考试而失去对数学的兴趣。
其实前几天在上海做讲座的时候,丘成桐成为了话题。
在这个讲座中,我认为中学生最适合培养对数学的兴趣。
丘成桐我也是在初二的时候听了几个意大利数学家关于解决天文问题的故事之后,对数学产生了兴趣。
除此之外,丘成桐对历史文化也有着奇妙的讲究,清华大学带着数学史这个科目。
我认为这不仅能开阔学生的视野,在之后的研究中“变得会学问”,还能支撑学生对数学的兴趣。
那么最后,用丘成桐的「几何学的歌」的一节结束!
参考资料:[1]https://www.bilibili.com/video/bv1id4y1g7u1spm_id_from=333.337.search-card.all.click [2] https://mp.weixin.qq.com/s/myfDFgpVXNV43xRlFM87PA是的
文章评论