细过于简略无法接受。
许多关键步骤被简单地提及或跳过,细节没有完全展开。这些国际研究团队在佩雷尔曼工作基础上做了许多补足。
至于怀尔斯的证明当年用了一个显然,但显然他用的那个显然并不那么显然。
而且恰巧那个显然还是个关键步骤,他需要一种全新的技巧来完成一个后来被称为欧拉系统的结构推导。
审核团队发现了这个步骤存在逻辑漏洞,于是怀尔斯花费了一年半的时间去处理这个“显然”的问题,但好在最后他还是成功了。
显然从某种意义上来说,这种审稿模式远比双盲或者单盲评审更加严格。全世界无数双眼睛都盯着论文跟审稿人,保证了论文任何一点逻辑漏洞都不可能放过。
加上搞科研的能比普通人更方便接触到外面这些信息。所以计算所关注乔喻的人能了解到这些消息也不奇怪。
当然这些落入刘钊元的耳朵后,他是真不知道该如何评价。
虽然他不是搞理论的,但黎曼猜想有多重要自然也很清楚。
于是他不禁想问,说好了要为计算数学出把力,搭建一个跨世纪的计算平台来为大家解决问题的。现在钱都收了,转头证明了黎曼猜想算什么?
这算什么啊?!
妈的,该不能因为自然科学基金那边申请项目不通过,干脆拿他们的钱完成了这项证明吧?
好吧,刘钊元把叫来汇报工作的家伙打发走,便在电脑上登陆了arXiv。
没办法,计算数学也是数学。只要研究数学的人大概都会对这篇论文有兴趣。想要看看这篇论文到底正不正经。
毕竟已经不是第一次有人宣称证明了黎曼猜想了。之前就有一位爵士对外宣称自己证明了这个世纪难题,结果却是跟全世界开了一个天大的玩笑。
就
本章未完,请点击下一页继续阅读! 第3页 / 共9页