徐源停顿下来的动作。
随即像是想到了什么,纷纷站起身朝徐源看去。
强烈的情绪在心中不断涌现。
似乎下一秒就会爆发。
在紧张的咽了口唾沫后,还是田振率先按耐不住试探性询问。
“徐院。”
“我们……这是成功了吗?”
徐源闻言转过身来,脸上堆满笑容,最终在几人的期盼下重重点了下头。
“是的。”
“我们完成了黎曼猜想的全部证明过程。”
几乎是徐源话音落下的瞬间,田振等人顿时便都不再压抑自己的情绪,立刻发出激动的欢呼,互相拥抱击掌发出震耳欲聋的声音。
“你们听到了吗,我们成功了。”
“我们完成了黎曼猜想的全部证明过程!”
“这段时间的辛苦没有白费。”
徐源将眼前众人的表现悉数看在眼里,虽说自己不是头一次证明世界数学难题,心态上很难像他们那样产生很大的波动,但心里面还是激动的。毕竟这次所花费的时间,相比较先前成功证明霍奇猜想,那可真是太少太少了。
欢呼声持续了一分多钟,待田振等人情绪稍微平复些之后。
徐源这才开口交代后面的事情。
“大家这么长时间没有休息,应该都很疲惫了,先回去好好睡一觉补充精力。”
“等明天再对证明过程进行反向推导论证。”
因为面板进度条的存在,徐源才能一次性,得出最正确的证明过程。
但在实际情况中,还需要对证明过程,进行大量的推导论证。
确保里面不存在漏洞甚至错误。
否则直接发布出去的话,一旦被其他人找到,那么整篇论文结论都会被推翻。
导致先前所有心血付诸东流。
再说因为这几次的事情,这篇证明世界数学难题黎曼猜想的论文,肯定会受到全世界的关注,届时不知道有多少数学家对其进行推导论证。
所以必须要保证没有问题,才能正式全球发布。
田振听完徐源的话,并没有立刻回答,反倒是嘴唇蠕动面露难色。
略作迟疑后才开口道:
“那个徐院,我们想先进行论证。”
话音落下的同时,身旁另外四个人也都纷纷点头。
听完这话,徐源也是不知道该说什么好,不过就以现在的激动情绪来看,哪怕回去还真不一定能顺利的进入梦乡。
想到对黎曼猜想证明结论论证,可以借助计算机辅助验证。
加上院里还能调用科学院的超级计算机,倒也不会花费太长时间。
除非多次重复验证。
念头停留在这里,徐源便也不再迟疑,最终还是开口同意了下来。
“那行吧。”
“不过感到精神不佳,必须要立刻去休息。”
“徐院你尽管放心,我们晓得。”田振听到徐源把这事答应了下来,立刻满脸笑容保证了一句。
其他人虽没有接话,但如小鸡叨米似的点头,已然说明了问题。
但值得一提的是,徐源同意他们验证归验证,自己可不会选择留下来。
毕竟这么长时间没合眼,他确实也感到困了。
再说他对自己的证明过程足够自信,根本不需要去等验证结果。
在和田振等人交代完后,他便作势朝会议室门口走去准备离开,可刚推开会议室的房门,视野中却突然多了一大堆熟悉的身影。
注意到人群前面熟悉的马智明后,徐源下意识开口喊了一句。
“马院,你们这是?”
“徐源刚才发生什么了,我们突然听到很大动静,就赶紧上来看看。”马智明有些不好意思说道:“是不是黎曼猜想的证明……”
本来他们在楼下坐的好好的,虽然天气比较热,但也并非不能承受。
结果正想着什么时候进去让徐源停下,就突然听到楼上传来很大的动静。
这可把他们给吓了一跳,还以为是有了突发状况。
于是也顾不上太多,当即便进楼,直奔研究小组所在的会议室。
徐源听到马智明的话,又看了看大家的样子,基本上便猜出了前因后果。
因此便也不再继续卖关子,当即点点头告知了众人这个好消息。
“我们刚完成了黎曼猜想的全部证明过程。”
尽管只是简短的一句话,甚至还用轻飘飘的语气给讲出来,但在马智明等编委心里面,却不亚于一颗重磅炸弹令人激动。
在场大家都出身数学领域,对这个消息的含金量再清楚不过。
心里面几乎瞬间便被喜悦和兴奋情绪占据。
“太好了。”