究团队在佩雷尔曼工作基础上做了许多补足。

至于怀尔斯的证明当年用了一个显然，但显然他用的那个显然并不那么显然。

而且恰巧那个显然还是个关键步骤，他需要一种全新的技巧来完成一个后来被称为欧拉系统的结构推导。

审核团队发现了这个步骤存在逻辑漏洞，于是怀尔斯花费了一年半的时间去处理这个“显然”的问题，但好在最后他还是成功了。

显然从某种意义上来说，这种审稿模式远比双盲或者单盲评审更加严格。全世界无数双眼睛都盯着论文跟审稿人，保证了论文任何一点逻辑漏洞都不可能放过。

加上搞科研的能比普通人更方便接触到外面这些信息。所以计算所关注乔喻的人能了解到这些消息也不奇怪。

当然这些落入刘钊元的耳朵后，他是真不知道该如何评价。

虽然他不是搞理论的，但黎曼猜想有多重要自然也很清楚。

于是他不禁想问，说好了要为计算数学出把力，搭建一个跨世纪的计算平台来为大家解决问题的。现在钱都收了，转头证明了黎曼猜想算什么？

这算什么啊？！

妈的，该不能因为自然科学基金那边申请项目不通过，干脆拿他们的钱完成了这项证明吧？

好吧，刘钊元把叫来汇报工作的家伙打发走，便在电脑上登陆了arxiv。

没办法，计算数学也是数学。只要研究数学的人大概都会对这篇论文有兴趣。想要看看这篇论文到底正不正经。

毕竟已经不是第一次有人宣称证明了黎曼猜想了。之前就有一位爵士对外宣称自己证明了这个世纪难题，结果却是跟全世界开了一个天大的玩笑。

就这样下载论文，研读论文，时间不知不觉中就到了晚上。

好不容易把论文看过一遍之后，刘钊元只觉得脑子空空的……说实话