至于怀尔斯的证明当年用了一个显然,但显然他用的那个显然并不那么显然。
而且恰巧那个显然还是个关键步骤,他需要一种全新的技巧来完成一个后来被称为欧拉系统的结构推导。
审核团队现了这个步骤存在逻辑漏洞,于是怀尔斯花费了一年半的时间去处理这个“显然”的问题,但好在最后他还是成功了。
显然从某种意义上来说,这种审稿模式远比双盲或者单盲评审更加严格。全世界无数双眼睛都盯着论文跟审稿人,保证了论文任何一点逻辑漏洞都不可能放过。
加上搞科研的能比普通人更方便接触到外面这些信息。所以计算所关注乔喻的人能了解到这些消息也不奇怪。
当然这些落入刘钊元的耳朵后,他是真不知道该如何评价。
虽然他不是搞理论的,但黎曼猜想有多重要自然也很清楚。
于是他不禁想问,说好了要为计算数学出把力,搭建一个跨世纪的计算平台来为大家解决问题的。现在钱都收了,转头证明了黎曼猜想算什么?
这算什么啊?!
妈的,该不能因为自然科学基金那边申请项目不通过,干脆拿他们的钱完成了这项证明吧?
好吧,刘钊元把叫来汇报工作的家伙打走,便在电脑上登6了arxiv。
没办法,计算数学也是数学。只要研究数学的人大概都会对这篇论文有兴趣。想要看看这篇论文到底正不正经。
毕竟已经不是第一次有人宣称证明了黎曼猜想了。之前就有一位爵士对外宣称自己证明了这个世纪难题,结果却是跟全世界开了一个天大的玩笑。
就这样下载论文,研读论文,时间不知不觉中就到了晚上。
好不容易把论文看过一遍之后,刘钊元只觉得脑子空空的……说实话,没太看懂。
如果乔喻知道了刘钊元看论文的方法,大概会嗤之以鼻。然后教给他一些心得。
看论文的时候不能只看论文。肯定看不懂的。
而是要在现第一个看不懂引理的时候就主动先翻到最后一页去找引用文献。然后先把那些引用的文献全部看一遍,都看懂之后,再来啃这篇论文。
如果连这篇论文引用的文献都看不懂的话,那就接着再去先看引用文献中引用的文献……
只要坚持这样做,那么不管再晦涩的论文最后都一定能看懂!
事实上一直以来乔喻看论文都是这么做的。只要看不懂,就去上级的文献,直到把原始论文看懂为止。这往往也意味着直接吃透了整个研究方向。
就好像当初乔喻研究朗兰兹猜想跟p-几何的时候,就把朗兰兹、彼得·舒尔茨早期的论文跟著作几乎全部研读了一遍……
可惜的是,刘钊元显然没这个耐心也没那个时间。乔喻这篇论文引用的文献虽然不多,但也有著作在里面。
而且都是纯数论方面的内容。当年他真对这方面的学问感兴趣,就不会选择做计算了。
不过说实话,刘钊元对乔喻的这篇论文并不看好。因为连感谢跟文献引用那一页都算上,也才三十八页。
一篇数学三十八页不奇怪,但解决黎曼猜想的论文才三十八页,刘钊元觉得不太现实。
即便这篇论文真有价值但很可能并没有足够多的细节。
当年他的博士论文都写了七十多页。长度是这篇论文的一倍!
看完论文之后,刘钊元揉了揉眼睛,看了眼时间。不知不觉中竟然已经是晚上十点了。
也就是虽然他没怎么看懂,但在这篇论文上花费了三个小时。
然后他坐在办公桌前思索了片刻,考虑着要不要给于延江打个电话。
您这位大佬牵头搞了个计算平台的任务,但人家却在做理论研究,您总得说上两句吧?
不是说乔喻不能研究这些,但事情总有个轻重缓急。先把计算平台搭建起来,再搞这些花里胡哨的研究也是可以的。