就像以前证明哥德巴赫猜想和霍奇猜想,无论谁想推翻他的结论,最后结果都会发现这就是最正确的证明过程和结论。
这时田振等研究小组成员,也都注意到了徐源停顿下来的动作。
随即像是想到了什么,纷纷站起身朝徐源看去。
强烈的情绪在心中不断涌现。
似乎下一秒就会爆发。
在紧张的咽了口唾沫后,还是田振率先按耐不住试探性询问。
“徐院。”
“我们……这是成功了吗?”
徐源闻言转过身来,脸上堆满笑容,最终在几人的期盼下重重点了下头。
“是的。”
“我们完成了黎曼猜想的全部证明过程。”
几乎是徐源话音落下的瞬间,田振等人顿时便都不再压抑自己的情绪,立刻发出激动的欢呼,互相拥抱击掌发出震耳欲聋的声音。
“你们听到了吗,我们成功了。”
“我们完成了黎曼猜想的全部证明过程!”
“这段时间的辛苦没有白费。”
徐源将眼前众人的表现悉数看在眼里,虽说自己不是头一次证明世界数学难题,心态上很难像他们那样产生很大的波动,但心里面还是激动的。毕竟这次所花费的时间,相比较先前成功证明霍奇猜想,那可真是太少太少了。
欢呼声持续了一分多钟,待田振等人情绪稍微平复些之后。
徐源这才开口交代后面的事情。
“大家这么长时间没有休息,应该都很疲惫了,先回去好好睡一觉补充精力。”
“等明天再对证明过程进行反向推导论证。”
因为面板进度条的存在,徐源才能一次性,得出最正确的证明过程。
但在实际情况中,还需要对证明过程,进行大量的推导论证。
确保里面不存在漏洞甚至错误。
否则直接发布出去的话,一旦被其他人找到,那么整篇论文结论都会被推翻。
导致先前所有心血付诸东流。
再说因为这几次的事情,这篇证明世界数学难题黎曼猜想的论文,肯定会受到全世界的关注,届时不知道有多少数学家对其进行推导论证。
所以必须要保证没有问题,才能正式全球发布。
田振听完徐源的话,并没有立刻回答,反倒是嘴唇蠕动面露难色。
略作迟疑后才开口道:
“那个徐院,我们想先进行论证。”
话音落下的同时,身旁另外四个人也都纷纷点头。
听完这话,徐源也是不知道该说什么好,不过就以现在的激动情绪来看,哪怕回去还真不一定能顺利的进入梦乡。
想到对黎曼猜想证明结论论证,可以借助计算机辅助验证。
加上院里还能调用科学院的超级计算机,倒也不会花费太长时间。
除非多次重复验证。
念头停留在这里,徐源便也不再迟疑,最终还是开口同意了下来。
“那行吧。”
“不过感到精神不佳,必须要立刻去休息。”
“徐院你尽管放心,我们晓得。”田振听到徐源把这事答应了下来,立刻满脸笑容保证了一句。
其他人虽没有接话,但如小鸡叨米似的点头,已然说明了问题。
但值得一提的是,徐源同意他们验证归验证,自己可不会选择留下来。
毕竟这么长时间没合眼,他确实也感到困了。
再说他对自己的证明过程足够自信,根本不需要去等验证结果。
在和田振等人交代完后,他便作势朝会议室门口走去准备离开,可刚推开会议室的房门,视野中却突然多了一大堆熟悉的身影。
注意到人群前面熟悉的马智明后,徐源下意识开口喊了一句。
“马院,你们这是?”
“徐源刚才发生什么了,我们突然听到很大动静,就赶紧上来看看。”马智明有些不好意思说道:“是不是黎曼猜想的证明……”
本来他们在楼下坐的好好的,虽然天气比较热,但也并非不能承受。
结果正想着什么时候进去让徐源停下,就突然听到楼上传来很大的动静。
这可把他们给吓了一跳,还以为是有了突发状况。
于是也顾不上太多,当即便进楼,直奔研究小组所在的会议室。
徐源听到马智明的话,又看了看大家的样子,基本上便猜出了前因后果。
因此便也不再继续卖关子,当即点点头告知了众人这个好消息。
“我们刚完成了黎曼猜想的全部证明过程。”
尽管只是简短的一句话,甚至还用轻飘飘的语气给讲出来,但在马智明等编委心里面,却不亚于一颗重磅炸弹令人激动。
在场大家都出身数学领域,对这个消息的含金量再清楚不过。
心里面几乎瞬间便被喜悦和兴奋情绪占据。
“太好了。”
“这绝对是数学史上的最大奇迹。”
“能这么快完成对黎曼猜想的证明,这简直是不可想象的事。”
“那我们是不是应该,尽快向学界宣布这个消息。”
“这场学术竞争,海外注定要输了。”
激动之下互相交谈着,尽管不是自己证明的,却同样为之骄傲自豪。
也就是马智明最先镇定下来,暂时压制住心里的兴奋和喜悦,再次看向徐源开口询问一件事。
“关于向学界宣布的事,你是怎么想的?”
“现在小田他们正进行验证,还是等验证结果出来后再说吧,到时候就以数学学报和数学理事会名义,召开关于黎曼猜想的新闻发布会。”
徐源想了想回答道:“在发布会上,面向学界发表整个证明过程。”
围绕着黎曼猜想发生了这么多事情,好不容易在这么短的时间内证明出来,那肯定不能就直接发表在数学学报上完事。
到了这个时候还不高调,那什么时候高调。
他就是要让所有人知道,悬而未决一百多年的世界数学难题之首,被他们给彻底证明解决了。
同时他这也是在告诉所有数学家,他的证明过程根本不怕验证。
就算接下来全球所有数学家,都去验证这篇证明黎曼猜想的论文,那也不可能找到逻辑漏洞证伪。
马智自然不会质疑徐源的决定,听完后当即便给出了肯定的回答。
“没问题。”
“那就按照你说的办,接下来我们就开始准备。”
说这话时丝毫没有掩饰脸上的笑容。
从之前徐源证明霍奇猜想,成为世界数学大师,到今天国内数学界总算又有了大事件。
让全世界都知道,国内数学界的巨大潜力。
还有值得高兴的一件事,那便是此次参与证明黎曼猜想的田振等人。
相信等证明论文正式公布之后,他们的名字也会很快在学界流传,让国内拥有更多的顶尖数学家。
和马智明简单说完这些事情,徐源便也不再继续耽搁时间。
当即和其他人告辞离开。
连续长时间保持深度学习状态,虽然当时精力不会受到影响,但现在脱离深度学习状态后,那种疲惫感还是比较强烈的。
他需要赶紧回去睡上一觉才行。
马智明则是巴不得徐源赶紧去休息,后面甚至还不忘多催促了几句。
很快当徐源的身影从视野中消失,大家这才迫不及待的走进会议室,欣赏徐源对黎曼猜想的证明过程。
足足一百多年来,无数数学家做梦都想看到的,眼下就这样呈现在他们面前。
这种感觉根本无法用言语来形容。
只觉得呼吸急促,仿佛整个人的灵魂,都要沉浸到那些公式中去。
……
接下来的几天。
徐源在休息好状态补满后,依旧会每天按时来到数学与系统科学院。
虽然已经不需要再研究黎曼猜想,但对于论文的验证毕竟还没有结束,他便抽时间和田振他们一起。
毕竟早点完成验证,针对黎曼猜想的新闻发布会也能早点召开。
而值得一提的是,如果只是一次验证的话,那根本不需要花费多少时间。
但为了保证整个证明过程没有错误漏洞,就只能使用各种验证方法不断论证,这样才能让其他数学家找不到质疑的地方。
最终当时间进入到六月下旬。
尽管外界还是一片平静,并没有什么大新闻,可国内数学界已经被巨大的喜悦环绕。
“这是我们这段时间的验证结果,在超级计算机的辅助之下,经过海量验证都证明此黎曼猜想结论成立。”
“我想我们现在可以公开宣布,黎曼猜想被正式彻底证明。”
这天上午,数学与系统科学院会议上,田振作为发言代表,向在场的人汇报了,这段时间对黎曼猜想证明过程的验证结果。
虽说大家都知道了这个消息,此时在这种场合听到依旧激动不已。
顿时会议室内传来热烈掌声。
待声音逐渐平息下去后,马智明示意田振坐下,然后转过脸对徐源说:“这几天学报和理事会都已经准备妥当,现在有了论文的验证结果,咱们是不是该召开新闻发布会了?”
“你们安排就好马院。”徐源笑呵呵回应。
“你可是这场新闻发布会的主角,既然没意见那就定在三天后吧。”
马智明同样微笑着和徐源说完。然后确定了关于黎曼猜想新闻发布会的具体时间。
并且在当天,数学学报和国内数学理事会,同时宣布了这件事情。
此消息一出,无论国内还是海外,都纷纷炸开了锅讨论起来。
猜测数学学报这时候突然召开发布会,给学界抛出这样一个重磅炸弹,究竟是为了什么样的原因。
……
(本章完)