不过一想到徐源改进筛法,用半天时间便把他的小于4200万素数对的结果,硬生生缩小到246素数对,他便对徐源充满了信心。
满脸胡须的德瓦只是瞥了老张一眼,同样没有再多说什么。
反正在他看来徐源的证明不可能有结果,到时候只有默默接受这份失败。
为自己的自负买单。
就这样随着时间一分一秒的流逝,大家不相信归不相信,目光却始终牢牢注视着写字板上的公式过程。
仔细研究后发现,有很多公式步骤非常精妙。
简单来形容,那就是把代数几何和微分几何,以及多复变函数度量几何完美结合到了一起,并对证明方法进行创新应用。
丝毫不夸张的讲,就算最终没有证明猜想,这种方法也相当于,给探索未知数学界提供了新工具。
是有重大意义和较高价值的。
面对如此变故,以至于不少人最初坚定的信念都开始有些动摇。
甚至脑海中浮现出了非常大胆的念头。
该不会真能证明丘诚桐猜想吧?
并且这个念头也越来越强烈,在脑海中挥之不去。
又过去十分钟。
围观的人群中,对徐源证明过程的称赞也多了些。
“这个公式实在太好了,直接就让复杂的问题一下下简化许多。”
“我以前研究的时候怎么没有想到。”
“真是精妙啊!”
“上帝保佑,希望能亲眼见证一项难题被解决。”
至于还等着看好戏的德瓦,此刻整个人的脸色却越来越阴沉。
仿佛都要滴出水来。
他和德利涅差不多,主要研究的数学分支都是数论和代数几何。
对徐源的证明过程,他自然能找到些可取之处,可心里的声音却不断说服着自己。
以此来坚定信念,相信徐源不可能证明猜想。
就算对方创造出新的数学分支方法,所得到的结论也不可能解决丘诚桐问题。
正所谓有人欢喜有人愁。
就在数学家们集中在楼下大厅,全程见证徐源尝试证明丘诚桐猜想时,陶哲轩却望着空空如也的主报告厅内满脸诧异。
甚至陷入到自我怀疑。
“人呢?”
“两百多位数学界知名学者,不可能一个人都没有来啊?”
“莫非已经彻底没有人关注我了……”
上午第二场报告由他上台,这是早定下来的事情。
为此他连德利涅教授的讲座都没听,待在楼上房间认真完善要讲的内容。
想着就算风头不如徐源,怎么也要维持下自己数学界莫扎特的名声。
结果他看到了什么。
来到主报告厅后,这么大的空间除了他自己竟然连一个人影都没有。
实属有点超出认知。
哪怕数学界有了更有天赋的数学天才,也不应该对他的关注度丧失这么彻底吧。
短暂给自己做了下心里建设后,他还是决定先找下主办方工作人员。
询问具体情况。
就在他准备走出去时,却迎面遇上了同事巴格夫。
刚要开口向其询问,对方的声音已经传进耳朵,语气中明显夹杂着兴奋和激动。
“特里你快去大厅,徐源正在那里现场尝试证明丘诚桐猜想。”
“所有人都在围观等待结果。”
实在是巴格夫话语中报告单信息太惊人,使得陶哲轩一时都没有反应过来。
对主要信息提取重复后,整个人也当场傻眼。
“现场证明?”
“丘诚桐猜想?”
每项数学问题的解决,无不是数学家们花费大量时间和精力,加上一点点灵感才有了课本上那么多定理。
偏偏徐源属于个例。
用大半天时间改进筛法,把孪生素数猜想数值从小于4200万素数对证明到小于246素数对,已经能称得上是数论领域的奇迹。
是不可复制的存在。
而眼下徐源却要现场证明数学问题,还是第一陈类为正的卡拉比猜想。
这让他不由得有种活在对方阴影下的感觉。
怪不得没人听他的报告。
既然事情已然变成这样,没有观众这场报告也没有进行下去的必要。
念头停留在这里,他立刻说道:“我们也过去看看具体情况。”
是的。
不管如何他总要知道,让他报告会泡汤的现场证明究竟是怎么的结果。
巴格夫眼下已经有成为徐源热衷粉丝的迹象,闻言没等陶哲轩便快步向楼下大厅走去。
陶哲轩刚看到大厅情况,整个人便忍不住倒吸一口凉气。
还是被眼前的场面震住。
乌泱泱少说有一百多人的大厅中,和被围在中间奋力书写证明过程的徐源泾渭分明,可以看出大家都在极力克制自己的情绪波动,尽可能不发出声音生怕打扰到徐源的节奏。
很明显徐源对丘诚桐猜想的证明,应该是已经进入到了尾声。
也就当陶哲轩挤进人群的同时,只见徐源嘴角上扬噙着笑容,右手自然下垂终于停止了证明。
周围全程关注的众多数学家,面对如此一幕则先是站在原地怔了几秒。
然后整个大厅瞬间轰动起来。
“这个一类四阶完全非线性椭圆方程真的解开了。”
“简直难以置信。”
“我的上帝,在生命结束之前竟还能看到卡拉比猜想被彻底解决。”
“证明过程应该没有问题,他真的给卡拉比猜想画上了迟到的句号。”
……
随着此起彼伏的声音接连响起,德瓦也终于彻底破防用最大的声音喊道:“结论还没有通过验证,在此之前丘诚桐猜想是否被真正证明还是未知数。”说完便直接在大厅内寻找草稿纸和笔准备验证。
这句话也无疑给其他人提了醒,下秒大家也都不再耽搁时间。
纷纷学习徐源,原地对结论进行笔算验证。
有些人甚至直接把海报撕掉,蹲到地上在海报背面计算。
丝毫没有顾及自己的形象。
都想第一个验证出结果,好向数学界正式宣布第一陈类为正的卡拉比猜想被彻底解决。
陶哲轩望着身边都开始行动起来的众人,此刻心里也不免五味杂陈。
从眼下的情况来看,徐源应该真的现场证明了丘诚桐猜想。
以徐源先前论文中的严谨度,就算现场那么多人集体验证也应该不会有问题,如此惊才绝艳的数学天赋实在让人羡慕。
“原来我和他之间的差距,竟然有这么大。”
暗自感慨了一句,接着他也同样找了个位置试着验证研究。
徐源对自己的证明过程自然充满信心,压根就不担心其他人展开验证。
说起来连他自己都有点不敢相信,没想到最终竟选择了这样的方式来证明猜想,以至于此刻整个人都还有些兴奋。
只是碍于站了那么久,且全程深度学习状态对自身能量消耗较大。
双腿有些发酸之下,索性直接坐在了地上,全程脸上笑容都没有消失过。
精神世界得到了前所未有的满足。
“我就知道一定可以,不过用这种方式证明可是给了我很大的惊喜。”德利涅和徐源交流时,便知道这些过程都是可行的并不需要他验证什么,径直走到徐源身旁说这句话时还不忘忙摆手说:“你不用起来。”
旁边的威滕此刻也丝毫没有掩饰脸上的激动,不吝啬的给了徐源极高赞扬。
“我承认刚开始我不认为你能证明,彻底解决第一陈类为正的卡拉比猜想,哪怕德利涅对你充满信心。”
“现在我才明白到德利涅对你信心源于什么,你的数学天赋是我见过最高的。”
话音落下的瞬间又接着讲:
“求解一类四阶完全非线性椭圆方程,此前就如同一块无形的幕墙挡在数学家面前,而你却在毫无征兆的情况下找到了一个突破口,不仅求出方程的解,而且还建立了一套系统研究此类方程的方法。”
“能够预见这篇论文会是此领域中的经典之作。”
徐源把威滕的话悉数听进耳中,被数学界中的知名数学家如此称赞,心里面也顿时涌现出欣喜之色。
不过面对眼前这两位大佬,他还是略显腼腆的稍微谦虚了句。
“这还要感谢德利涅教授,如果不是他的指导,我不可能这么快就证明出丘诚桐猜想。”
德利涅闻言笑着说:“就算没有我,你早晚也能解决这项难题。”
但讲完脸上表情又有些遗憾。
“可惜你这么快就从那种高度专注的特殊状态中脱离出来了,如果继续推演孪生素数猜想的话,或许能让正数值再缩小些。”
徐源听到这话,心里则有些哭笑不得,没想到德利涅是在遗憾这个。
于是随即开口解释道:“我把这种精神高度专注的情况称作深度学习状态,平时学习做题能提升不少效率。”
“平时学习你也能进入这种状态?”德利涅突然拉高声音问。
徐源疑惑:“进入这种状态很难吗?”
话音落下德利涅和威滕顿时沉默,作为数学界的大师眼下竟有种很受伤的感觉。