第138章 极限证明,数学家们的惊叹【万 (第2/2页)
他所研究的领域正是弦理论，所以更清楚证明卡拉比猜想的复杂性。
哪怕仅剩下第一陈类为正的情况，依旧不是年轻学者能解决的。
否则丘诚桐早就自己证明了这个猜想。
别人不知道徐源对代数几何的研究，德利涅却再清楚不过。
那天他和徐源讨论相关内容时，哪怕他在代数几何领域研究多年，也不免对徐源结合多个数学分支公式的证明过程赞不绝口。
甚至连他都颇受启发，这才临时更改了报告题目。
当时他就相信徐源能证明丘诚桐猜想，无非只是时间早晚问题。
现在徐源既然有幸进入到特殊状态，那么现场完成全部证明也是很有可能的。
念头停留在这里，他并没有直接反驳威滕，只是神神秘秘的丢出一句话。
“那就让我们拭目以待吧。”
不过话音刚落，便听见耳旁突然传来一道不合时宜的声音。
“越是天才越是有自负的毛病，以为自己侥幸推动孪生素数猜想的进展，就能随便解决数学难题了。”
“他肯定会为自己的自负买单，成为数学界今年最大的笑料。”
德利涅和威滕闻声都扭过头查看，发现是哈佛大学的教授德瓦后，顿时便明白过来并未选择接话。
关于这位德瓦教授和徐源之间的事，他们多少还是听说过些的。
从数学年刊宣布孪生素数猜想迎来重大突破，对方便不太认同。
公开表示会推翻论文中的结论。
并联络了学校数学系的几位教授，共同对徐源的论文进行验证，试图找到论文中的错误和逻辑漏洞。
遗憾的是最终他们一无所获，不得不承认孪生素数猜想确实有了进展。
而出现这种结果再正常不过，毕竟孪生素数猜想论文是经过普林斯顿高等研究院众多数学家验证，真要是被对方推翻的话，岂不是显得高等研究院里的数学家都是名不副实。
另外德瓦合作的是数学领域另一家顶刊，质疑数学年刊自然不觉得奇怪。
德利涅自然知道德瓦是有意针对徐源，但他却并没有主动反驳。
因为当不被对方认可的结果变成现实时，才是最为有力的回击。
倒是同样被吸引过来的张益唐，在这件事上再次力挺了徐源反驳德瓦。
“我相信徐源能够完成最终的证明。”
老张虽然知道徐源在研究丘诚桐猜想，但对于实际情况是没有把握的。
不过一想到徐源改进筛法，用半天时间便把他的小于4200万素数对的结果，硬生生缩小到246素数对，他便对徐源充满了信心。
满脸胡须的德瓦只是瞥了老张一眼，同样没有再多说什么。
反正在他看来徐源的证明不可能有结果，到时候只有默默接受这份失败。
为自己的自负买单。
就这样随着时间一分一秒的流逝，大家不相信归不相信，目光却始终牢牢注视着写字板上的公式过程。
仔细研究后发现，有很多公式步骤非常精妙。
简单来形容，那就是把代数几何和微分几何，以及多复变函数度量几何完美结合到了一起，并对证明方法进行创新应用。
丝毫不夸张的讲，就算最终没有证明猜想，这种方法也相当于，给探索未知数学界提供了新工具。
是有重大意义和较高价值的。
面对如此变故，以至于不少人最初坚定的信念都开始有些动摇。
甚至脑海中浮现出了非常大胆的念头。
该不会真能证明丘诚桐猜想吧？
并且这个念头也越来越强烈，在脑海中挥之不去。
又过去十分钟。
围观的人群中，对徐源证明过程的称赞也多了些。
“这个公式实在太好了，直接就让复杂的问题一下下简化许多。”
“我以前研究的时候怎么没有想到。”
“真是精妙啊！”
“上帝保佑，希望能亲眼见证一项难题被解决。”
至于还等着看好戏的德瓦，此刻整个人的脸色却越来越阴沉。
仿佛都要滴出水来。
他和德利涅差不多，主要研究的数学分支都是数论和代数几何。
对徐源的证明过程，他自然能找到些可取之处，可心里的声音却不断说服着自己。
以此来坚定信念，相信徐源不可能证明猜想。
就算对方创造出新的数学分支方法，所得到的结论也不可能解决丘诚桐问题。
——
正所谓有人欢喜有人愁。
就在数学家们集中在楼下大厅，全程见证徐源尝试证明丘诚桐猜想时，陶哲轩却望着空空如也的主报告厅内满脸诧异。
甚至陷入到自我怀疑。
“人呢？”
“两百多位数学界知名学者，不可能一个人都没有来啊？”
“莫非已经彻底没有人关注我了……”
上午第二场报告由他上台，这是早定下来的事情。
为此他连德利涅教授的讲座都没听，待在楼上房间认真完善要讲的内容。
想着就算风头不如徐源，怎么也要维持下自己数学界莫扎特的名声。
结果他看到了什么。
来到主报告厅后，这么大的空间除了他自己竟然连一个人影都没有。
实属有点超出认知。
哪怕数学界有了更有天赋的数学天才，也不应该对他的关注度丧失这么彻底吧。
短暂给自己做了下心里建设后，他还是决定先找下主办方工作人员。
询问具体情况。
就在他准备走出去时，却迎面遇上了同事巴格夫。
刚要开口向其询问，对方的声音已经传进耳朵，语气中明显夹杂着兴奋和激动。
“特里你快去大厅，徐源正在那里现场尝试证明丘诚桐猜想。”
“所有人都在围观等待结果。”
实在是巴格夫话语中报告单信息太惊人，使得陶哲轩一时都没有反应过来。
对主要信息提取重复后，整个人也当场傻眼。
“现场证明？”
“丘诚桐猜想？”
每项数学问题的解决，无不是数学家们花费大量时间和精力，加上一点点灵感才有了课本上那么多定理。
偏偏徐源属于个例。
用大半天时间改进筛法，把孪生素数猜想数值从小于4200万素数对证明到小于246素数对，已经能称得上是数论领域的奇迹。
是不可复制的存在。
而眼下徐源却要现场证明数学问题，还是第一陈类为正的卡拉比猜想。
这让他不由得有种活在对方阴影下的感觉。
怪不得没人听他的报告。
既然事情已然变成这样，没有观众这场报告也没有进行下去的必要。
念头停留在这里，他立刻说道：“我们也过去看看具体情况。”
是的。
不管如何他总要知道，让他报告会泡汤的现场证明究竟是怎么的结果。
巴格夫眼下已经有成为徐源热衷粉丝的迹象，闻言没等陶哲轩便快步向楼下大厅走去。
——
陶哲轩刚看到大厅情况，整个人便忍不住倒吸一口凉气。
还是被眼前的场面震住。
乌泱泱少说有一百多人的大厅中，和被围在中间奋力书写证明过程的徐源泾渭分明，可以看出大家都在极力克制自己的情绪波动，尽可能不发出声音生怕打扰到徐源的节奏。
很明显徐源对丘诚桐猜想的证明，应该是已经进入到了尾声。
也就当陶哲轩挤进人群的同时，只见徐源嘴角上扬噙着笑容，右手自然下垂终于停止了证明。
周围全程关注的众多数学家，面对如此一幕则先是站在原地怔了几秒。
然后整个大厅瞬间轰动起来。
“这个一类四阶完全非线性椭圆方程真的解开了。”
“简直难以置信。”
“我的上帝，在生命结束之前竟还能看到卡拉比猜想被彻底解决。”
“证明过程应该没有问题，他真的给卡拉比猜想画上了迟到的句号。”
……
随着此起彼伏的声音接连响起，德瓦也终于彻底破防用最大的声音喊道：“结论还没有通过验证，在此之前丘诚桐猜想是否被真正证明还是未知数。”说完便直接在大厅内寻找草稿纸和笔准备验证。
这句话也无疑给其他人提了醒，下秒大家也都不再耽搁时间。
纷纷学习徐源，原地对结论进行笔算验证。
有些人甚至直接把海报撕掉，蹲到地上在海报背面计算。
丝毫没有顾及自己的形象。
都想第一个验证出结果，好向数学界正式宣布第一陈类为正的卡拉比猜想被彻底解决。
陶哲轩望着身边都开始行动起来的众人，此刻心里也不免五味杂陈。
从眼下的情况来看，徐源应该真的现场证明了丘诚桐猜想。
以徐源先前论文中的严谨度，就算现场那么多人集体验证也应该不会有问题，如此惊才绝艳的数学天赋实在让人羡慕。
“原来我和他之间的差距，竟然有这么大。”
暗自感慨了一句，接着他也同样找了个位置试着验证研究。
徐源对自己的证明过程自然充满信心，压根就不担心其他人展开验证。
说起来连他自己都有点不敢相信，没想到最终竟选择了这样的方式来证明猜想，以至于此刻整个人都还有些兴奋。
只是碍于站了那么久，且全程深度学习状态对自身能量消耗较大。
双腿有些发酸之下，索性直接坐在了地上，全程脸上笑容都没有消失过。
精神世界得到了前所未有的满足。
“我就知道伱一定可以，不过用这种方式证明可是给了我很大的惊喜。”德利涅和徐源交流时，便知道这些过程都是可行的并不需要他验证什么，径直走到徐源身旁说这句话时还不忘忙摆手说：“你不用起来。”
旁边的威滕此刻也丝毫没有掩饰脸上的激动，不吝啬的给了徐源极高赞扬。
“我承认刚开始我不认为你能证明，彻底解决第一陈类为正的卡拉比猜想，哪怕德利涅对你充满信心。”
“现在我才明白到德利涅对你信心源于什么，你的数学天赋是我见过最高的。”
话音落下的瞬间又接着讲：
“求解一类四阶完全非线性椭圆方程，此前就如同一块无形的幕墙挡在数学家面前，而你却在毫无征兆的情况下找到了一个突破口，不仅求出方程的解，而且还建立了一套系统研究此类方程的方法。”
“能够预见这篇论文会是此领域中的经典之作。”
徐源把威滕的话悉数听进耳中，被数学界中的知名数学家如此称赞，心里面也顿时涌现出欣喜之色。
不过面对眼前这两位大佬，他还是略显腼腆的稍微谦虚了句。
“这还要感谢德利涅教授，如果不是他的指导，我不可能这么快就证明出丘诚桐猜想。”
德利涅闻言笑着说：“就算没有我，你早晚也能解决这项难题。”
但讲完脸上表情又有些遗憾。
“可惜你这么快就从那种高度专注的特殊状态中脱离出来了，如果继续推演孪生素数猜想的话，或许能让正数值再缩小些。”
徐源听到这话，心里则有些哭笑不得，没想到德利涅是在遗憾这个。
于是随即开口解释道：“我把这种精神高度专注的情况称作深度学习状态，平时学习做题能提升不少效率。”
“平时学习你也能进入这种状态？”德利涅突然拉高声音问。
徐源疑惑：“进入这种状态很难吗？”
话音落下德利涅和威滕顿时沉默，作为数学界的大师眼下竟有种很受伤的感觉。
千言万语最终只汇聚成一句话。
“年轻就是好啊！”
而周围同样听到徐源回答的众学者，此刻也终于明白徐源为什么能用半天时间，成功改进筛法把孪生素数猜想数值从4200万缩小到246。
原来昨天人家的确没有乱说。
不过这也让他们更加相信，恐怕徐源的确继孪生素数猜想后，又彻底证明了丘诚桐猜想问题。
与此同时。
就在大厅内众多数学家，积极对徐源的证明过程进行验证的时候，外面编委会主编霍尔特正带人急匆匆往这边赶。
今天的报告会他并没有参加，毕竟数学年刊那边每天都有事情需要处理。
他本以为昨天关于，孪生素数猜想的报告结束，不会再有什么特别的情况出现。
露不露面都没有影响。
谁曾想徐源竟不声不响又整了件大事，竟直接现场尝试证明丘诚桐猜想。
接到消息他二话没说便赶了过来，并且还特意找了摄影师。
想着对证明过程进行跟拍，好记录这数学界的重要时刻。
哪怕最终未能成功证明，宣传出去也能成为数学界的一桩趣事。
“赶紧再快点，等会可就来不及了。”
霍尔特快步走在前面，时不时还不忘催促下跟在后面的摄影师，生怕错过这种少见的时刻。
毕竟可不是每位数学家，都有这个自信敢当着那么多人的面去挑战难题。
很快随着霍尔特和摄影师走进大厅，当眼前的场景进入视野后，整个人瞬间怔了在了原地只觉得脑袋有些不够用。
原本西装革履的数学家，此刻毫不顾忌形象的蹲在地上认真笔算着。
再仔细一瞅，用的草稿纸居然是撕下来的海报。
至于作为普林斯顿高等研究院，两位数学界大佬的德利涅和威滕，同样蹲在地上和坐在地上的徐源交谈。
恐怕任谁看到这种场景，都不会和高大上的数学学术会议联想到一起。
摄影师勉强维持着自己的三观，咽了口唾液向身旁的霍尔特询问：
“霍尔特先生，这还要拍吗？”
“拍。”霍尔特咬着牙坚定的吐出一个单词。
尽管他还不知道究竟发生了什么，但着急忙慌跑过来总不能半途而废。
好在进入大厅询问完情况后，他得到了一个值得高兴的好消息，徐源成功完成了对丘诚桐猜想的证明。
虽说其他数学家还在验证，但他却对徐源的证明过程充满信心。
想到数学年刊马上又要宣布一项难题被解决，他这个编委会主编也无法抑制的兴奋。
就这样又过去一个多小时，随着有人喊出自己的验证结果，就如同点燃了炸药库不断有人接话。
“我的验证成功了，代数几何的稳定性已经证明。”
“丘诚桐猜想被彻底证明。”
“不单单是证明丘诚桐猜想，里面使用的方法对此类方程的求解都适用。”
“我们又有了一种新的探索未知数学世界的工具。”
“时隔几十年第一陈类为正的情况终于被解决，卡拉比猜想也画上了圆满的句号。”
……
而哈佛大学教授德瓦，看着自己的验证结果，口中不断重复不敢相信。
“验证居然真的成功了。”
“甚至找不到一处错误的地方，这怎么可能？”
本以为十拿九稳的结果，最终竟和尝试推翻孪生素数猜想的情况相同，整个人顿时犹如泄气的皮球径直瘫坐在地上。
反观徐源这边，已经被众多数学家围在中间，大家纷纷向其祝贺。
亲眼见证徐源解决丘诚桐猜想，不管心里如何想都不得不承认，数学界正有一位数学大师正在快速成长。
成功挤进来的霍尔特，更是一把抓住了徐源的胳膊难掩激动之色。
“这篇证明丘诚桐猜想的论文什么时候能出来，到时候可一定要投给我们数学年刊。”
眼下现场有那么多数学家帮忙验证，等接收到论文可以直接进行发表，这种难得的经典论文他肯定要拿到手才行。
……