吴豪聪完全证明黎曼猜想,黎曼猜想被证明了吗( 三 )


黎曼猜想可以得出质数公式吗?

吴豪聪完全证明黎曼猜想,黎曼猜想被证明了吗


答:黎曼在《论小于给定数值的素数个数》的论文中,给出的是素数计数函数π(x),可以进一步利用π(x)推导出素数公式,但是求解π(x)依赖于黎曼函数的非平凡零点 。在1859年,黎曼向柏林科学院提交了一份标题为《论小于给定数值的素数个数》的论文,该论文仅仅只有八页,却让接下来的数学家忙碌了一百多年 。黎曼在论文中引用了6个假设,6个假设在黎曼的言语中,用了类似“显而易见”等词汇提出来,或者直接拿来用不给任何提示 。
后来经过几十年的时间,其中五个“假设”被其他数学家证明为定理,只有最后一个“黎曼猜想”还未得到证明,而这个猜想,正关乎着素数的分布规律 。黎曼的论文中,以黎曼猜想为前提,黎曼得到了一个素数计数函数π(x):π(x)表示“小于x的素数个数”;试想,如果整数x为素数,那么π(x 1)-π(x)的值就是“1”,如果x不是素数,那么差值就是0;于是素数计数函数π(x),几乎就相当于素数分布函数了 。
在黎曼的论文中,他还构造了一个辅助函数J(x),函数J(x)是求解函数π(x)的关键,而函数J(x)当中,黎曼函数的所有非平凡零点“ρ”,才是整个函数的核心部分 。根据黎曼的论文,函数π(x)和函数J(x)成立的前提,就是“黎曼函数的所有非平凡零点,均在直线x=1/2”,如果黎曼猜想不成立,那么以上素数计数函数π(x)也将不成立 。
为什么黎曼猜想在目前无法被证明?
黎曼猜想是黎曼在1859年提出来的一个猜想,目前在社交媒体上已经有一个传言,说黎曼猜想已经被英国数学家阿蒂亚爵士完成,整个证明过程将在2018年9月24日在德国海德堡进行讲演(今天是2018年9月20日星期四,阿蒂亚爵士的论文还没有公开发布) 。现在没有证据表明黎曼猜想是无法被证明的,只能说这个证明很难 。
不过,据上述阿蒂亚爵士讲演海报表示,他用的证明方法是非常简单的,看起来好像没有那么复杂 。他提到自己的证明过程是一个Simpleproof 。黎曼猜想如果真的被阿蒂亚爵士证明,那么阿蒂亚爵士就成为既高斯黎曼之后最伟大的数学家之一,他的成就将超越证明费马大定理的安德鲁怀尔斯,也将超过证明蒙代尔猜想的法尔廷斯等人 。
如果普通人证明出了黎曼猜想,他可能会经历什么?
普通人不可能证明出黎曼猜想,能证明黎曼猜想的也不可能是普通人 。大致情况可以参考张益唐证明孪生素数猜想的过程 。张益唐在他的论文发表之前,并没有什么名气,而且在美国也没房子,有时候借住在朋友家里 。但那个时候的张益唐不是普通人,他只不过是心气太高,一心要做大问题,对生活的追求物欲的追求比较少而已 。张益唐是北京大学的本硕,普渡大学的博士 。
正经的名校背景,说明张益唐不普通 。在他出名之前,他认识丁石孙这个级别的人 。丁石孙曾经是北京大学校长 。所以张益唐的人脉关系都决定了他不是普通人 。现在,如果一个没有名校背景的人宣布证明了黎曼猜想,谁会去相信他说的话?除非他把论文经过审稿发出著名的学术期刊上,否则不可能被学术界认可的 。阿蒂亚为什么宣布证明黎曼猜想有那么多人关注,原因很简单,阿蒂亚本身就是剑桥大学的教授,是菲尔兹奖得主 。
如何看待Michael Atiyah宣称自己证明了黎曼猜想一事?
Michael Atiyah是一个绝对的大牛,他至少有3大成就可以获得菲尔兹奖 。其中,最著名的就是指标定理 。不过,Michael Atiyah的3大成就都是与人合作的 。详细的情况你可以查查科普作家张轩中几天前写的Michael Atiyah的3大成就的文章,在网络上有的 。所以,Michael Atiyah如果一个人单干,我觉得他的水平还是很悬的,他不太可能真的证明了黎曼猜想 。

推荐阅读