罗特尔的安排可以说效果显著,为期九天的国际数学家大会中,足足有上百位数学界著名数学家,全部聚集在一起共同对霍奇猜想证明过程论证。
通过各种方法,验算其结论是否成立。
就连国内不少参加大会的数学家,也加入了论证。
并且所有人擅长的领域,也基本都以代数几何拓扑学数学分析为主。
正因如此他们心里也都希望,霍奇猜想这次能被彻底证明。
毕竟猜想变成理论,将为他们今后研究代数几何和拓扑学,开创出全新的方法扩展赛道。
所以整个论证的过程中,也可谓是非常的上心。
甚至晚上,都会选择加班验算。
也或许正是由于数学家们都在研究证明过程,使得接下来几天网上只有普通人讨论。
很难看到有数学家发言。
不过越是如此,越让大家有种暴风雨前的期待。
只要国际数学界宣布,承认徐源对霍奇猜想的证明结论成立。
那么全世界肯定会在瞬间陷入狂欢。
2014年8月21日,周日,首尔会展中心报告厅。
在这间面积很大的报告厅中,并没有进行一小时或者四十五分钟报告。
放眼望去。
能看到很多数学家找到适合的姿势,在草稿纸上大量计算着。
桌面地面上甚至散落了大量手稿。
连头发都因为没来得及清理,变得乱糟糟。
如果要用两个字来形容。
最好的便是痴狂。
完全被徐源的证明过程所吸引,沉浸在里面的巧妙思路中。
长达一个星期的时间中,中间没有丝毫停止。
主要霍奇猜想毕竟汇聚了最抽象的概念,可以称得上是最反直觉的。
在这种情况下,除了证明难度让人无法想象外,哪怕反过来推导论证也相当复杂。
不是短时间能够完成的。
哪怕现场有着这么多著名数学家。
而就在这个时候,本届菲尔兹奖得主的华威大学教授马丁,突然停下手上的动作,整个人站直身体看着手中的草稿纸。
脸上浮现出非常激动的表情。
“完美。”
“实在太完美了。”
“这简直是一件伟大的艺术品,徐不愧是我所见过的最有天赋的数学家。”
堆满笑容自顾自喊出声的同时,也很快引体了周围其他人的注意。
下秒便见有人像是想到了什么,连忙迫不及待的追问起来。
“马丁。”
“难道你已经完成了论证?”
听见有人喊出自己的名字,马丁这才平静下来,扭过头朝对方看去。
然后重重点了点头。
“我想是的。”
“经过反方向的推导论证,可以确定徐在证明过程中给出的条件,确实让代数几何和拓扑学之间一定程度上建立了联系。”
“这会是数学界的重大学术成果。”
“徐已经迈入了数学的最高殿堂,值得所有人敬佩。”
马丁丝毫没有吝啬对徐源的称赞,尽管年龄上比徐源大很多,但此刻已然化身成小迷弟满脸敬佩。
随着马丁率先传来好消息,报告厅内的其他人也纷纷不甘落后。
不多时也相继得到了论证结果。
基本和马丁的一致。
确认徐源给出的条件成立,确实让代数几何和拓扑学建立了联系。
这也标志着悬而未决这么长时间的世界数学难题霍奇猜想被彻底解决。
自克雷数学研究所提出七道千禧年大奖难题,在被佩雷尔曼解决了庞加莱猜想后,时隔这些年霍奇猜想也成功完成证明。
留个数学界破解的世界数学难题,也只剩下五道。
面对这样一件数学界的盛事,大家的心情也无疑非常兴奋激动。
“简直太不可思议了,徐居然能想出这样的方法来证明霍奇猜想,简直出乎了整个数学界的预料。”
“他的灵感似乎永远不会枯竭。”
“很难想象华方那边也能诞生出这种数学家!”
“原谅我先前并不看好对方,没想到却给了我这么大惊喜。”
“看来只要是他说的事情,就肯定能做到,今后对于这个猜想就要称作徐-霍奇定理了。”
……
罗特尔自从知道徐源完成了霍奇猜想证明后,对其结论是否成立也颇为关心。
毕竟这关系到,国际数学联盟能否正式面向数学界宣布。
眼看明天就是国际数学家大会结束的日子,他心里面对此也颇为着急。
有时间便会关注下论证进度。
今天他刚来到报告厅外面,便发现里面不像之前那么安静。
反倒是显得很热闹。
站在房门听了会,得知已经有人完成论证,连招呼没打便迫不及待走了进去。
并立刻开口询问道:“论证结果如何了?”
丝毫没有掩饰脸上的期待。
马丁因为是由罗特尔为他颁发菲尔兹奖,对其多少也算熟悉些。
面对询问立刻回答:
“罗特尔先生,我们确信徐彻底证明了霍奇猜想,他的条件是成立的。”
话音刚落。
下秒也有其他人接过话茬补充。
“我们使用了不同的方法进行推导验算,但最终没有找到任何一个错误,这些步骤不仅仅完成了证明,更像是一件静心雕刻出的艺术品。”
“很显然徐和佩雷尔曼一样,都为数学界做出了无法磨灭的贡献。”
“我提议应该立刻向全世界宣布。”
罗特尔自然清楚要保证国际数学联盟的权威,不能贸然发布霍奇猜想被解决的消息。
可他更明白眼前报告厅中的,都是数学界知名的数学家。
他们的结论,在一定程度上能代替国际数学界。
于是念头停留在这里,他也不再迟疑什么,当即面向众多数学家做出决定。
“这确实是一个好消息,并且这件盛事也不单单属于我们数学界,是整个世界都应该知道的。”
说完接下来的时间也没在报告厅逗留,很快便离开去做这件事。
可能是罗特尔亲自下令,国际数学联盟也难得见了回高效率,当天便通过官方渠道发布公告,宣布徐源证明世界数学难题霍奇猜想。
公然为徐源站台。
不过就算如此,也不会影响其他人对证明过程继续论证研究。
若能找到漏洞错误的话,同样也会借此快速提升在数学界的名气。
当然前提是真的能找到。
国际数学联盟的发声,无疑在数学界引起了一场全新的轰动。
只能说徐源的含金量还在上升。
至于作为提供奖金的克雷数学研究所,在这个时候却罕见的没有消息传出。
因为他们同样在紧急进行论证。
克雷数学研究所在千禧年提出七道世界难题,并为每道题准备了一百万美金奖金,他们肯定也要确定解题证明过程的真实性,才能做出反应下发这笔奖金。
其实按照正常情况,应该是他们克雷数学研究所最先公布结果。
奈何刚好是国际数学家大会举办的日子,国际数学联盟那边聚集了更多的数学家。
以至于国际数学联盟最先完成论证。
——
威尔斯的心情从未像现在这么舒爽过,最近几天脸上的笑容很难消失。
从对徐源抱有希望,到徐源淡出数学界的遗憾。
再到公开直播证明霍奇猜想的惊喜。
他总算是弥补了人生的遗憾,再次看到了一道世界数学难题被解决。
甚至他还觉得,徐源能这么快证明霍奇猜想,或许以后还能解决名气最高的黎曼猜想。
毫无疑问他对徐源是信任的,知道对方绝不会在直播的时候乱写。
所以为了尽快为徐源正名,他也是第一时间组成论证小组。
对证明过程进行推导论证。
尽管进度比国际数学联盟慢一点,可好歹是也得出了最终结论。
“威尔斯教授,根据我们论证的结果,证明证明过程中的条件成立。”
“霍奇猜想被解决了。”
“我就知道,能被德利涅看好的人,肯定不会让我们大家失望。”威尔斯接过证明结论,脸上堆着的笑容顿时变得更盛。
紧接着又不忘嘱咐道:
“赶紧面向世界正式宣布这个结果,我们这次已经落在国际数学联盟后面了。”
“好的威尔斯教授。”对方点点头回答。
闻言威尔斯也终于松了口气,下秒噙着笑容自顾自低喃了句。
“这次总算能把奖金发出去了。”
尽管徐源是第二个解决世界数学难题的人,但由于佩雷尔曼并没有接受奖金。
所以对他们研究所来说,这还是首次为数学家颁发百万美金大奖。
而德利涅那边,因为是独自研究证明过程,进度上肯定会慢很多。
不过看到国际数学联盟和克雷数学研究所,相继发文证实霍奇猜想被解决,他也彻底放心下来不紧不慢的继续往下研究。
毕竟有着两大数学界权威证实,他的论证结果倒也不急着发布了。
另外他对于这个结果并没有感到意外,毕竟他从徐源决定研究霍奇猜想,便相信对方肯定能够做到。
事实证明他的眼光非常精准。
就这样伴随消息传回国内,网友们激动之下,情绪也兴奋到了极点。
纷纷恭喜徐源顺利进入数学最高殿堂,成为世界数学大师。
至于作为主人公的徐源,这时则刚撰写完霍奇猜想的证明论文,准备在最新一期的数学学报上作为封面全球发表。
……