“徐老师,楼嵩通过微信联系我,问您最近有没有时间,想跟您一起讨论一些问题。”
听到是楼嵩想要找自己,徐佑自然是没有拒绝的理由。
“知道了,一会儿我会亲自回复他的。”
“好的,徐老师。”
提起楼嵩,徐佑已经有一段时间没有和他见面了。
这也并不是徐佑所愿,只是这段时间都在忙着登月项目相关的事宜,自己确实抽不开身。
楼嵩因为从事专业的关系,并没有直接参与到登月项目之中,只是偶尔和徐佑聊一些学术上面的问题罢了。
这一次楼嵩主动联系到自己,一定是有什么重要的新发现,想要和自己分享。
处理完手头的工作后,徐佑便与楼嵩取得了联系。
听楼嵩在电话里的语气,似乎这次的事情非常重要,徐佑便与楼嵩约定在午后见面。
“平常的话,楼嵩一般是不会这么急的。要不然的话,楼嵩也不会通过崔颖去联系我。”
想到这,徐佑越发的觉得,楼嵩这次的发现应该并不简单。
到了约定的时间,楼嵩准时出现在了徐佑办公室门前。
“楼老师,请进。”
“好的,麻烦崔老师了。”
楼嵩走进徐佑的办公室,两人见到对方之后,皆是相视一笑。
自从两人第一次在竞赛的时候相遇,已经过去将近十年的时间了。
在这期间,两人在各自的领域中,都取得了无数的成果,身份也发生了很大的变化。
而一直未变的,是他们都知识的敬畏与探索之心。
“告诉你一个好消息,黎曼猜想我已经完成了一半的证明。”
听到楼嵩的话,徐佑也是非常的兴奋。
“怪不得这次你这么着急。方便给我看看证明的思路吗?”
“当然。”
既然楼嵩亲自来找徐佑,自然是不会对徐佑有任何的避讳。
楼嵩打开自己的电脑,向徐佑讲解起了自己的思路。
“其实证明黎曼猜想的关键与否,并不一定在于从黎曼函数进行推导,也可以从Re(s)的定义域这里来入手。在这里,我使用了两个定理,分别是负实数开方定理,以及虚数产生定理。”
“虚数产生定理?”徐佑诧异道。
众所周知,当所有负实数进行开方运算时,都会产生一个虚数。
例如虚数单位i,就是通过计算1的算术平方根得到的结果。
“是的。我们通过负实数开方定理和虚数产生定理的证明过程,就可以得到如下的一系列公式。”
楼嵩快速的讲解着自己的思路,中间省略了很多的过程,就算是数学系的教授,也未必能够跟得上楼嵩的思路。
不过,这样的速度,对于徐佑来说,却是刚刚好。
“原来如此,这还真是一个奇妙的思路啊。”
听楼嵩讲解完他的整个思路,徐佑不禁用力的点了点头。
楼嵩的思路非常的特别,可以说是给证明黎曼猜想,提供了一个全新的思路。
即使还没有彻底的解决黎曼猜想的证明,但至少已经完成了接近半数的工作了。
“楼嵩,能说一下,你是怎么想到这个方法的吗?”
徐佑已经理解了楼嵩的思路,不过还没有想明白,楼嵩是如何获得这样的灵感的。
这种感觉,就好像是看完了题目的解析之后,明白题目可以这么做,却不知道为何可以找到这个方向。
“其实,这不能说完全是我的功劳。伏龙迷你量子机在其中给了我非常多的帮助。”
“什么?你已经找到如何让量子计算机解决复杂数学问题的方法了?”
“还不能这么说,不过至少我已经开始学会,如何使用量子计算机,作为辅助解决数学问题的工具了。”
接下来,楼嵩详细的讲述了一下,自己是如何利用量子计算机,来帮助自己解决各种复杂的数学问题的。
徐佑听着楼嵩使用量子计算机的思路,也是连连点头感叹着。
“原来如此,你是希望量子计算机能够像人类一样去学习数学,先成为一个有一定基础的‘数学家’,这样的话,再去解决数学问题就要轻松许多了。”
“没错,这其实跟人工智能学习围棋的思路是大致相同的。只不过数学与围棋不同,并没有明确的胜负,在让人工智能学习起数学来,还是要有更多的困难的。”
楼嵩现在能做到的,并不是像之前的算经人工智能一样,完全让量子计算机去解决所有的问题。
而只是让人工智能去解决一些小的问题,大的方向还是需要人类自己去掌控。
即便如此,这在数学史上,也算是一个非常大的突破了。
“现在我对人工智能的想法已经完全转变了。我并不觉得人工智能在数学上超过人类是不可能的事情,也不觉得这有什么遗憾的。从计算机被发明开始,人类就已经在依赖它们去解决数学问题了。”楼嵩说道。
“没错,其实人类一直都在制造各种工具,去帮助自己解决复杂的问题。早在两千多年以前,我们的祖先就发明了算盘,这也算是人类早期所使用的‘计算器’了。既然都是我们自己发明的工具,我们使用它们,就是顺理成章的事情。”
楼嵩听完也连连点头,表示的确是这个道理。
说完了黎曼猜想的事情后,楼嵩便没有马上离开,而是继续说道:
“这是我今天来找你的第一件事情。接下来,还有一件更重要的事情。”
徐佑闻言一愣,眉头不禁微微皱了起来。
徐佑之前也觉得,楼嵩能够发现黎曼猜想的证明方向这件事情的确很重要,却也没有重要到需要马上见到徐佑。
就算晚几天和徐佑说这件事情,也不会有什么影响。
果然,楼嵩这次来,还有一些更重要的事情。
“到底是什么事情,快说吧。”
“还记得前一阵子,山姆联储突然宣布加息的事情吗?”
徐佑没有想到,楼嵩要跟自己谈论的事情,居然是跟山姆加息的情况有关。