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