像在澳洲国立大学工作,做超越数论和丢番图逼近的库尔特·马勒就不是那么信服,他和阿蒂亚·塞尔伯格吐槽道:“阿蒂亚,你真的相信伦道夫只花了六天时间就解决了孪生素数猜想吗?”
阿蒂亚是解析数论的先驱,因素数定理的初等证明和Selberg迹公式而闻名,获得1950年菲尔兹奖,他研究的就是筛法和数论。
加上两人关系不错,库尔特才会特意来问阿蒂亚。
阿蒂亚读出了他的意思:“你是说伦道夫早就解决了孪生素数猜想,为的就是在这里来表演吗?”
没人会说林燃的结果不对,库尔特也不是质疑结果,他质疑的是过程和动机。
库尔特点头:“是的,伦道夫关于孪生素数猜想的证明无懈可击,至少以我的角度来看,这是一条可行的路,他在过程中用到的分析也同样足够精妙。
可就是如此,他为了证明孪生素数猜想,中间一共证明了足足31个引理,对超过五个工具做了大幅度的创新,自己单独造了两个工具出来,整个过程只花了六天时间。
六天,这意味着什么?我们自己要证明哪怕只是一个引理,可能就能卡住我们一个月时间,甚至更久。
做着做着,发现这个引理有点难,甚至需要引理的引理,好不容易把引理证明出来之后,引理就足够发一篇论文了。
他六天时间,能做我要花二十年时间都不一定能做出来的成果。
你不觉得这太离谱了吗?
内容未完,下一页继续阅读