“难怪彼得舒尔茨跟乔喻很投缘,他们走了同一条路。”陶轩之感慨道。
这感慨很贴切。
毫无疑问陶轩之跟彼得舒尔茨都是年轻一代的惊才绝艳之辈。不过两人被菲尔兹奖所承认的原因完全不同。
彼得舒尔茨靠的搭建了一个全新的体系,而陶轩之则是靠解决了一个重要数学难题。两人走了不同的路子,现在看来,乔喻也想走彼得舒尔茨的路子。
“其实不一定。据我所知,乔喻设计这个框架的目的是为了能够证明孪生素数猜想。或许这个框架搭建好之后他就会向孪生素数猜想发起冲击。
也就是说,他也许会既搭建了一个能够给数学指引方向的纲领体系,同时又解决一系列数论问题,也许他能把你们两条路结合起来。
而且这很有可能。毕竟他已经为几何朗兰兹猜想的证明做出了很大的贡献。真的,我想过可能会面对挑战,但没想到挑战者会这么年轻。”
张远堂发表了不同意见。
他跟乔喻面对面的聊过,比其他人更清楚跟乔喻探讨起学术问题时的压迫感。最开始一些粗浅的问题,他能很快想到如何回答。
但随着之后讨论越来越深入,他是真的很难招架。最关键的是乔喻的发问总能直指问题的核心,甚至带着他去思考一些更深入的东西。
所以讨论的越深入,越能感觉到那种压迫性。至于第二天,当他打算应对来自年轻人的挑战时,这个框架直接砸在他眼前,让他不知道该如何评价。
所以他很乐意让陶轩之也意识到这一点。
“你说的让我很想跟他沟通一番了。如果他也关注素数问题的话,不知道是否会看到我们的论文。又会作何评价。”詹姆斯梅纳德笑着说道。
对于他们这些人来说,已经在素数研究上耗费了太多的精力,谁不希望能率先解决那些困惑人们数百年之久的难题呢?
“是的,张教授,也许你可以帮我联系一下乔喻,我对他的这个构想很有兴趣,如果可以的话,也许我们可以合作。”
陶轩之突然开口说道。
刚刚他根据张远堂的说法,在大脑里进行了一些简单的推演,突然发现乔喻的想法的确是有可能成功的。
有些问题他还不知道乔喻是如何解决的,但毫无疑问这是一种崭新的数学思想。
更统一的数学表达,让数论的证明过程能变得更加清晰,不再需要去为了一个特定的问题构建一套复杂的体系,用不同类型的模态空间去代表不同的问题……
乔喻这家伙是有野心的!他想通过自己的方式构建一个数学大统一学说,陶轩之甚至怀疑乔喻想替代朗兰兹纲领,是的,就用他的模态空间理论去做一个替代。
这似乎并不是不可能的,因为乔喻的方法虽然也抽象,但并没有朗兰兹纲领那么难以理解。
尤其是数论问题几何化,能让一些晦涩的数论问题在模态空间上变得更为直观。
“我可以问问不过那个孩子,虽然才十六岁……怎么说呢,他不抗拒交流,但是对于合作者的选择有自己的一套方式。”
张远堂神色古怪的说道。
事实上自从知道乔喻这个课题之后,他也一直关心着相关进展,当然结果让他很意外。
“偏执?”在乔喻问题上一直没说话的哈维古斯问了句。
他对乔喻了解是最少的,只是听说过一些在世界代数几何大会上发生的事情,所以刚刚一直没发表意见。
“不是偏执,准确的说应该是自信。我觉得他大概是认为只靠自己就能独立完成这个项目。所以他在挑选合作者的时候,喜欢挑跟他关系更亲密的人。而非对课题有帮助的人。”
张远堂摇了摇头,纠正道。
好吧,这是可以理解的,甚至可以说天才一般都会有这个自信。
陶轩之也笑了,玩笑道:“的确,如果主框架能靠自己证明的话,其他都是细枝末节的验证工作,的确不需要有水平的合作者。
不过我很期待他能做出什么样的结果。张教授,你可能会让我这一段时间都睡不好觉了,尤其是考虑到真有人能一次解决许多复杂数论问题的时候。”
张远堂笑了笑,没回答。
不只是他,另外两人也感觉到了一种紧迫感。
如果真有人用一种前所未有的方式证明了一系列关于素数方面的难题,这对于许多一直在研究素数的数学家来说,并不完全算一个好想消息。
毕竟没人愿意当背景板,不信的话可以去问山姆跟弗兰克。
“没事,先问问吧。我跟乔喻没有过什么交往,贸然给他发邮件的话,可能会有些失礼。拜托你了,张教授。”
陶轩之想了想说道。
张远堂笑了笑,点头应下。
失礼只是借口,这些天才都是骄傲的。
……
华夏,燕北大学。
此时的乔喻的确是在做大洋彼岸的教授们所关心的工作。
验证的工作他可以不去管。但有些工作他需要做在前面。
乔喻此时正在做的工作,就是将一系列他打算用模态空间框架解决的问题,从经典表述转化为模态空间下的表述。
比如孪生素数猜想的经典表述是存在无穷多对素数(p,p+2),其中素数p和p+2都是素数。
那么在多模态空间下的表述就要转化为三个问题。
1、在模态空间M中,存在无穷多对模态点(r_p,r_p+2),使得模态距离 d_m(r_p,r_p+2),满足固定约束。
2、模态密度函数ρ_m(r)在满足孪生素数条件的模态空间区域内累积为无穷。
3、孪生素数对的分布形成模态路径Γ上的等间距点,并在模态空间中表现出周期性和对称性。
简单来说就将一个经典的数论问题,分解成了三个几何问题。
如果他能把这三个几何问题都在模态空间下证明了,就代表着他完成了孪生素数猜想的证明。
当然前提是他的广义模态数论公理体系能够得到数学界的广泛认可,且能证明这套公理体系的确能够在几何跟数论之间相互转换,以及始终保持可验证性。
不过话又说回来,验证工作有人做,这些转化工作只有他亲自操刀了。
毕竟将问题进行转化,要求对这套公理体系了解的极为清晰,以及有着极高的数学洞察力。
同理,想要解决黎曼猜想也是一样的步骤。先把经典化的表述转化成这套框架下的几何表述,并对问题进行分解,然后逐个证明。
这一步其实进行的很顺利。
甚至黎曼猜想的转化比孪生素数猜想要更为简单。
而且在经典解读中,所有零点分布在一条线上。而在模态空间的分布则是在一个超平面上。
当然转化完成不代表着马上就能解决问题,要做到这一步还有许多东西要定义。
比如模态密度、卷积等等几何工具。总之把问题几何化、模态化之后,乔喻也就知道了想要解决这个问题需要哪些工具,再到框架下去一一做证明跟转化。
乔喻也并不像对面那些教授想的那样,甚至跟田导、袁老想的都不一样,他压根就没打算先把整个理论框架搭建完整。
他的打算是按需搭建。
证明上界猜想需要哪些工具,先把所需的工具以定理的形式推导出来,然后把问题证明了。
然后再看孪生素数猜想需要哪些新工具,再进行下阶段的推导,然后开始证明……
这样做的好处自然就是能发最多的文章,而且别人甚至不能说他在水论文。
不管是增加新工具还是解决新问题,都是数学界最喜欢的内容。即便是朗兰兹纲领同样是许多子猜想组合而成。
这其实也是乔喻对于评基金没什么兴趣的原因。毕竟就算拿到了拨款,钱也不是在他的个人账户上。
而是会打到研究中心的账户,然后下面分出一个子账户,需要用钱的时候,直接划拨。更别提一般拨给纯数学理论的经费也不多。
主要是个名声。但乔喻感觉自己没那么着急求名。更没必要那么着急把框架搭建出来,造福数学界。
毕竟华夏理论数学这块的研究进度还远远比不上西方,他这套新的公理体系完整贡献出来之后,大概率也是人家最先用到一些前沿的命题证明上。
做完了这些基础性工作之后,乔喻伸了个懒腰。打算在微信里问问其他人的工作进度。
昨天专门拉了一个群聊,把乔曦、薛松跟陈卓阳都拉到了一个讨论群里,方便他布置任务。
然后就看到他的工作邮箱里出现了新邮件提示,还是张远堂教授的邮件,便下意识的点开。
哪怕他现在在数学界也算有一些名气了,不过平日里邮件往来其实并不算多。
主要还是华清那边李教授课题组内部的邮件沟通比较多。
至于其他大佬只是偶尔会来一封邮件。探讨一些问题,这既跟大家都很忙有关,其实也跟乔喻还没养成邮件沟通的习惯有关。
“乔喻:
见字晤面。今日有幸受轩之教授之邀,与古斯教授、梅纳德教授一起探讨其最新文章《狄利克雷多项式大值估计新进展》,只觉收获匪浅。
想起在燕北时,你曾言对于素数问题极有兴趣,遂将这篇文章推荐与你。文章已发布在预印本平台arXiv上,作者詹姆斯梅纳德、哈维古斯。
文章讨论之余,便跟三位教授提起了你正尝试构建的广义模态数论公理系统,陶轩之教授听后极有兴趣。
近些年轩之教授亦一直尝试将素数的解析理论与组合数论中的极值原理结合,用于研究素数分布与模形式的特征关系,并在一般数列、函数中寻找类似素数性质。
并获得了诸多成就。如开发了遗传筛法,以分析筛法在复杂集合中的作用,特别是用于构造具有特定性质的素数集合。
更是致力于推动了Polymath项目,将素数对间距从7000万缩小到600之内。所以他希望能跟你建立合作,共同探讨素数问题几何化的内容。
若你也有兴趣,可告知方便的时间或交流方式。
盼复,敬祝顺祺!
张远堂。”
飞快的把这封信扫了一遍之后,乔喻有些下意识的便打开网页,搜索了陶轩之、詹姆斯梅纳德、哈维古斯三个名字……
是的,乔喻不但是数学门外汉,更是学术界的门外汉。很多数学大佬他是真不认识。
不过他知道能随随便便邀请到张远堂,还能让张教授专门给他写这封信,肯定也是数学界的大佬。
事实果然如此。
一搜就是两位菲尔兹奖大佬,还有一位虽然没拿过菲尔兹奖,但看起来在数学界地位也不算低。
最重要的是跟上次在世界代数几何大会上认识的菲尔兹奖大佬不同。不管是陶轩之还是詹姆斯梅纳德都还很年轻。
陶轩之今年才刚过五十岁,至于詹姆斯梅纳德就更年轻了,还差一年才四十岁。
乔喻能看出陶轩之在数学界很活跃,去年还联合六十多位数学家一起出题,并推出了用于测试人工智能数学能力的数学基准FrontierMath。
简单来说FrontierMath就是一个原创题库,基准内包含数百道原创且极具挑战性的数学问题,涵盖现代数学的主要分支,如数论、实分析、代数几何和范畴论等。
然后让最先进的AI到题库里去答题……
看到这个乔喻突然发现余伟突然想做AI的确是有眼光的。
彼得舒尔茨在跟微软搞AI数学科研工作,把数学定理转化成AI能看懂的东西,这位陶轩之教授则搞AI数学测试基准题库。
大概了解这些大佬的生平之后,乔喻随手登陆了arXiv把张教授推荐的《狄利克雷多项式大值估计新进展》这篇文章下载到了电脑上。
菲尔兹奖得主的最新论文,还是有必要看看的。更别提这些菲尔兹奖大佬关注的还是关于素数问题的。
说实话,乔喻也挺怕有人在他之前把孪生素数猜想跟黎曼猜想解决了。
前者还无所谓,后者关乎到一百五十万美元的奖金。
起码对于现在的乔喻来说,他对这一百五十万美元还是很有兴趣的。折合成人民币可是有上千万呢,不但是美国人给的,而且还不用缴税。
毕竟一帮搞数学的恨不得打破脑袋都想拿的菲尔兹奖奖金也不过才1.5万加元,折合人民币不到六万块。
不说1100万瑞典克朗奖金的诺贝尔奖跟一百万美元奖金图灵奖了,甚至比不过沃尔夫奖。
人家沃尔夫奖都还有十万美元呢!
这大概是乔喻对菲尔兹奖最不满意的一点了。