第291章 证明黎曼猜想,全球论证【求订阅】
事实证明徐源对数学的判断,并不会出错,按照新的思路和数学分支方法,后续对黎曼猜想的证明都推进的非常顺利。
中途甚至连瓶颈都没有遇到。
只能说选对了方向,就相当于走在了平坦大道上。
直接前往终点就行。
否则面对崎岖泥泞的道路,甚至还存在陷阱,哪怕费再长时间,最后也只会让自己遍体鳞伤。
为此徐源特意把其他工作交接下去,专心扑在黎曼猜想的证明上。
想要一鼓作气,尽快完成整个证明过程。
就这样。
转眼半年过去。
当时间来到六月份,面板进度条也成功增长到百分之九十以上。
其速度堪称惊人。
而这其中也少不了田振等人的协助。
否则全部过程都由他自己完成的话,就算结果不会发生改变,时间上肯定不会像现在这么提前,没用一年时间便即将完成证明。
2020年6月15日。
周二。
高考刚结束一周的时间,对高三学生来说,眼下正是最舒服放松的阶段。
连带高校也进入了毕业季。
而就是在这种时候,数学与系统科学院,其中数学学报编委会所在的整个建筑,宣布正式戒严禁止任何人员的出入。
丝毫不夸张的讲,哪怕是数学学报主编马智明,都主动遵守。
在隔壁楼层内临时搭建了办公地点。
至于为什么要突然搞出这么大动作,那自然是和黎曼猜想有关。
经过这半年以来,研究小组们的潜心研究,目前徐源对整个黎曼猜想证明过程的推导,可以说已经没剩下多少步骤,就差最后关键的论证结论成立。
于是经过商量决定,大家都同意直接进行攻坚战。
整个研究小组聚集在房间内闭关研究,直到完成全部的证明过程。
虽说完全投入其中后,两天不休息都正常,但和彻底证明黎曼猜想相比,显然是无比值得的。
直接管控研究小组所在的整座楼,也是避免有人打扰思路。
单凭证明黎曼猜想的意义,任何让步都是应该的。
——
“战前动员的话我就不多说了,总之很快全世界都会为今天我们所做的事情欢呼。”
“困扰了无数数学家一百多年的难题,将在今天,在我们手中成为定理。”
“现在大家开始吧。”
宽敞的会议室内,摆放着许多写字板,以及堆在桌面的手稿。
徐源一身简单装扮,面向田振等研究小组成员,嘴角噙着笑容胸有成竹的说着,仿佛早已经预知到了他们所做事情的结果。
若是视线继续远眺,则会发现墙角处,还堆放着水和泡面等食物。
俨然这两天是不会离开了。
与此同时。
田振等另外四个人,脸上堆满着兴奋表情。
就差直接提笔写上四个字。
迫不及待。
还记得徐源刚宣布,要研究黎曼猜想,并破天荒组建研究小组的时候,他们基本上是奔着,能和徐源共同研究数学课题才报的名参加。对能否证明黎曼猜想,心里面压根没考虑太多。
毕竟黎曼猜想的名气实在太大。
但万万没有想到,在徐源的带领下,他们竟真走到现在这步。
最近半年多的时间里,他们都参与了关于黎曼猜想的证明研究。
尽管主要是计算分解后的相关公式,却每次都对徐源提出的方法震惊不已。
深刻认识到自己和徐源的差距。
要知道以他们数学教授的身份,还能在熟悉的数学领域上发现新东西,这绝对是件难得的事情。若始终保持以前那种状态,只怕自身数学水平很难再提升。
因此他们除了庆幸自己能成为小组成员,更相信徐源的方法肯定能证明黎曼猜想。
“是徐院。”
深吸一口气,大家异口同声喊了句,随即便立刻回到自己座位上开始计算。
每个人要完成的工作,都已经分配妥当。
简单来说。
就是负责证明过程中的一些步骤计算,然后汇聚给徐源完成最终的结论论证,这样徐源便能把精力放在重要的节点上面。
不用为这些计算另外费时间。
当然这对田振他们五个人来说,所承受的压力要比徐源大的多。
毕竟若有数值计算错误的话,可是会让结论出现偏差的情况。
届时便需要全部排查。
但压力何尝不是动力,能作为证明黎曼猜想的其中小组成员,这份荣誉可是每位数学家最想得到的。
很快。
宽敞的办公室内,徐源六个人都变得无比专注。
以至于房间里面就只剩下,笔尖划过草稿纸的沙沙声响。
伴随时间一分一秒流逝,对黎曼猜想的证明步骤越来越多,连带徐源的心情都彻底放松了下来,因为他赫然注意到,面板上的进度条正在上涨,眼看距离到达百分之百就差临门一脚。
……
人在无比专注去做一件事情的时候,是察觉不到时间在飞速流逝的。
他们心里唯一所想的,便是完成证明。
不过相比沉浸在解答计算中的研究小组,外面马智明则反倒非常忐忑。
尤其当二十多个小时过去,来到第二天的上午。
看到依旧没有人从楼内走出来,要说丝毫不担心那绝对是假的。
“怎么还没有人出来,这么长时间没休息的话,对身体可不好。”
数学学报总部楼下面,马智明望着被拉上警戒线的大厅入口,整个人来回走动显得焦虑不安。
整个人的心情根本没有办法平静下来。
他当然知道要证明黎曼猜想的难度,甚至更相信徐源能够完成证明,但并不需要拼着不睡觉不休息,真要是因此让徐源的身体出现问题,那对国家来说才反倒是巨大的损失。
证明黎曼猜想固然有助于数学发展,但重要性还和徐源没办法相比。
“放心吧主编。”
“徐院士做事有分寸,不会出什么问题。”
“估计很快就该有人出来了。”
“要不咱们进去看一眼,瞅瞅情况怎么样了?”
“这绝对不行,要是打扰到小组成员的思路,那损失可就大了。”
……
周围编委这时也都没有闲着,纷纷对马智明提出自己的意见。
有的认为应该无条件相信徐源,只要人没有出来就耐心等待绝不打扰。
还有人则担心徐源的身体状况,提议可以派人进楼里查看情况,不过这个建议才刚刚讲出来,便立刻被马智明摇着头拒绝。
思路和灵感对数学研究非常重要,眼下小组成员都沉浸在难题解答中,如果这时候突然闹出动静,很有可能会把原本的思路打断。
再想重拾起来就困难了。
这就会导致,出现断联情况,无法和前面的步骤完美连接到一起。
况且他们之所以选择封闭整个大楼,也正是为了给徐源他们创造良好的解答环境。
若这时候派人进去查看情况,岂不是封锁大楼就成了多此一举。
将周围大家的话悉数听进耳中,最终马智明只得决定再等上一段时间。
“那就再等等看吧。”
不过他说归这么说,目光却时不时朝大厅门口的方向望去。
并且在心里默默打定了主意。
如果下午徐源还不出来的话,那他就算会打断研究小组成员的思路,也要进去把人给喊出来。
这也是先前开会他特意提出的要求。
毕竟就算黎曼猜想晚证明一段时间,那也不会有多大的关系。
徐源的身体健康才是最重要的。
六月的天气已经比较热,但对于数学学报的所有编委来说,却没有一个人选择回临时办公室,依旧坐在楼下耐心等待。
想要第一时间见证,世界数学难题之首被证明。
到后面随着太阳逐渐升高,也只是让院里的人弄了几个简易遮阳棚。
徐源并不知道马智明等人都在楼下等待,此刻他和田振等人都已经一整天没休息,但整个人的精神却依旧保持着亢奋。
或许是在深度学习状态下,效率并没有下降。
手中黑色笔在写字板上写着一个个数学符号,并且速度越来越快。
最终在写完公式的最后一个符号后,他突然顿住笔停下了动作。
同时嘴角微微上扬,浮现出笑容。
“终于……完成了。”
自顾自轻声低喃之下,目光也落在了眼前虚拟面板上的进度条。
——
任务:黎曼猜想证明
学科:数学
进度:100%
结果:已完成
整个证明过程,他用到了多种数学分支方法,并将它们相结合得出全新的证明工具。
甚至连带物理学科中的量子力学内容,都在其中包含涉及。
眼下进度条成功来到百分之百,这说明他对黎曼猜想的证明成功了。
写字板上刚刚书写的,便是黎曼猜想证明过程。
并且不怕任何人的论证。
就像以前证明哥德巴赫猜想和霍奇猜想,无论谁想推翻他的结论,最后结果都会发现这就是最正确的证明过程和结论。这时田振等研究小组成员,也都注意到了徐源停顿下来的动作。
随即像是想到了什么,纷纷站起身朝徐源看去。
强烈的情绪在心中不断涌现。
似乎下一秒就会爆发。
在紧张的咽了口唾沫后,还是田振率先按耐不住试探性询问。
“徐院。”
“我们……这是成功了吗?”
徐源闻言转过身来,脸上堆满笑容,最终在几人的期盼下重重点了下头。
“是的。”
“我们完成了黎曼猜想的全部证明过程。”
几乎是徐源话音落下的瞬间,田振等人顿时便都不再压抑自己的情绪,立刻发出激动的欢呼,互相拥抱击掌发出震耳欲聋的声音。
“你们听到了吗,我们成功了。”
“我们完成了黎曼猜想的全部证明过程!”
“这段时间的辛苦没有白费。”
徐源将眼前众人的表现悉数看在眼里,虽说自己不是头一次证明世界数学难题,心态上很难像他们那样产生很大的波动,但心里面还是激动的。毕竟这次所费的时间,相比较先前成功证明霍奇猜想,那可真是太少太少了。
欢呼声持续了一分多钟,待田振等人情绪稍微平复些之后。
徐源这才开口交代后面的事情。
“大家这么长时间没有休息,应该都很疲惫了,先回去好好睡一觉补充精力。”
“等明天再对证明过程进行反向推导论证。”
因为面板进度条的存在,徐源才能一次性,得出最正确的证明过程。
但在实际情况中,还需要对证明过程,进行大量的推导论证。
确保里面不存在漏洞甚至错误。
否则直接发布出去的话,一旦被其他人找到,那么整篇论文结论都会被推翻。
导致先前所有心血付诸东流。
再说因为这几次的事情,这篇证明世界数学难题黎曼猜想的论文,肯定会受到全世界的关注,届时不知道有多少数学家对其进行推导论证。
所以必须要保证没有问题,才能正式全球发布。
田振听完徐源的话,并没有立刻回答,反倒是嘴唇蠕动面露难色。
略作迟疑后才开口道:
“那个徐院,我们想先进行论证。”
话音落下的同时,身旁另外四个人也都纷纷点头。
听完这话,徐源也是不知道该说什么好,不过就以现在的激动情绪来看,哪怕回去还真不一定能顺利的进入梦乡。
想到对黎曼猜想证明结论论证,可以借助计算机辅助验证。
加上院里还能调用科学院的超级计算机,倒也不会费太长时间。
除非多次重复验证。
念头停留在这里,徐源便也不再迟疑,最终还是开口同意了下来。
“那行吧。”
“不过感到精神不佳,必须要立刻去休息。”
“徐院你尽管放心,我们晓得。”田振听到徐源把这事答应了下来,立刻满脸笑容保证了一句。
其他人虽没有接话,但如小鸡叨米似的点头,已然说明了问题。
但值得一提的是,徐源同意他们验证归验证,自己可不会选择留下来。
毕竟这么长时间没合眼,他确实也感到困了。
再说他对自己的证明过程足够自信,根本不需要去等验证结果。
在和田振等人交代完后,他便作势朝会议室门口走去准备离开,可刚推开会议室的房门,视野中却突然多了一大堆熟悉的身影。
注意到人群前面熟悉的马智明后,徐源下意识开口喊了一句。
“马院,你们这是?”
“徐源刚才发生什么了,我们突然听到很大动静,就赶紧上来看看。”马智明有些不好意思说道:“是不是黎曼猜想的证明……”
本来他们在楼下坐的好好的,虽然天气比较热,但也并非不能承受。
结果正想着什么时候进去让徐源停下,就突然听到楼上传来很大的动静。
这可把他们给吓了一跳,还以为是有了突发状况。
于是也顾不上太多,当即便进楼,直奔研究小组所在的会议室。
徐源听到马智明的话,又看了看大家的样子,基本上便猜出了前因后果。
因此便也不再继续卖关子,当即点点头告知了众人这个好消息。
“我们刚完成了黎曼猜想的全部证明过程。”
尽管只是简短的一句话,甚至还用轻飘飘的语气给讲出来,但在马智明等编委心里面,却不亚于一颗重磅炸弹令人激动。
在场大家都出身数学领域,对这个消息的含金量再清楚不过。
心里面几乎瞬间便被喜悦和兴奋情绪占据。
“太好了。”
“这绝对是数学史上的最大奇迹。”
“能这么快完成对黎曼猜想的证明,这简直是不可想象的事。”
“那我们是不是应该,尽快向学界宣布这个消息。”
“这场学术竞争,海外注定要输了。”
激动之下互相交谈着,尽管不是自己证明的,却同样为之骄傲自豪。
也就是马智明最先镇定下来,暂时压制住心里的兴奋和喜悦,再次看向徐源开口询问一件事。
“关于向学界宣布的事,你是怎么想的?”
“现在小田他们正进行验证,还是等验证结果出来后再说吧,到时候就以数学学报和数学理事会名义,召开关于黎曼猜想的新闻发布会。”
徐源想了想回答道:“在发布会上,面向学界发表整个证明过程。”
围绕着黎曼猜想发生了这么多事情,好不容易在这么短的时间内证明出来,那肯定不能就直接发表在数学学报上完事。
到了这个时候还不高调,那什么时候高调。
他就是要让所有人知道,悬而未决一百多年的世界数学难题之首,被他们给彻底证明解决了。
同时他这也是在告诉所有数学家,他的证明过程根本不怕验证。
就算接下来全球所有数学家,都去验证这篇证明黎曼猜想的论文,那也不可能找到逻辑漏洞证伪。
马智自然不会质疑徐源的决定,听完后当即便给出了肯定的回答。
“没问题。”
“那就按照你说的办,接下来我们就开始准备。”
说这话时丝毫没有掩饰脸上的笑容。
从之前徐源证明霍奇猜想,成为世界数学大师,到今天国内数学界总算又有了大事件。
让全世界都知道,国内数学界的巨大潜力。
还有值得高兴的一件事,那便是此次参与证明黎曼猜想的田振等人。
相信等证明论文正式公布之后,他们的名字也会很快在学界流传,让国内拥有更多的顶尖数学家。
和马智明简单说完这些事情,徐源便也不再继续耽搁时间。
当即和其他人告辞离开。
连续长时间保持深度学习状态,虽然当时精力不会受到影响,但现在脱离深度学习状态后,那种疲惫感还是比较强烈的。
他需要赶紧回去睡上一觉才行。
马智明则是巴不得徐源赶紧去休息,后面甚至还不忘多催促了几句。
很快当徐源的身影从视野中消失,大家这才迫不及待的走进会议室,欣赏徐源对黎曼猜想的证明过程。
足足一百多年来,无数数学家做梦都想看到的,眼下就这样呈现在他们面前。
这种感觉根本无法用言语来形容。
只觉得呼吸急促,仿佛整个人的灵魂,都要沉浸到那些公式中去。
……
接下来的几天。
徐源在休息好状态补满后,依旧会每天按时来到数学与系统科学院。
虽然已经不需要再研究黎曼猜想,但对于论文的验证毕竟还没有结束,他便抽时间和田振他们一起。
毕竟早点完成验证,针对黎曼猜想的新闻发布会也能早点召开。
而值得一提的是,如果只是一次验证的话,那根本不需要费多少时间。
但为了保证整个证明过程没有错误漏洞,就只能使用各种验证方法不断论证,这样才能让其他数学家找不到质疑的地方。
最终当时间进入到六月下旬。
尽管外界还是一片平静,并没有什么大新闻,可国内数学界已经被巨大的喜悦环绕。
“这是我们这段时间的验证结果,在超级计算机的辅助之下,经过海量验证都证明此黎曼猜想结论成立。”
“我想我们现在可以公开宣布,黎曼猜想被正式彻底证明。”
这天上午,数学与系统科学院会议上,田振作为发言代表,向在场的人汇报了,这段时间对黎曼猜想证明过程的验证结果。
虽说大家都知道了这个消息,此时在这种场合听到依旧激动不已。
顿时会议室内传来热烈掌声。
待声音逐渐平息下去后,马智明示意田振坐下,然后转过脸对徐源说:
“这几天学报和理事会都已经准备妥当,现在有了论文的验证结果,咱们是不是该召开新闻发布会了?”
“你们安排就好马院。”徐源笑呵呵回应。
“你可是这场新闻发布会的主角,既然没意见那就定在三天后吧。”
马智明同样微笑着和徐源说完。然后确定了关于黎曼猜想新闻发布会的具体时间。
并且在当天,数学学报和国内数学理事会,同时宣布了这件事情。
此消息一出,无论国内还是海外,都纷纷炸开了锅讨论起来。
猜测数学学报这时候突然召开发布会,给学界抛出这样一个重磅炸弹,究竟是为了什么样的原因。
……
(本章完)