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

是谁证明了黎曼猜想?

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


1859年,黎曼向柏林科学院提交了一篇论文,《论小于给定数值的素数个数》,这篇仅8页的简短论文宣告着黎曼猜想这一千年难题的诞生 。黎曼猜想的深刻意义在于,求出一个特殊函数的非平凡零点,由这些非平凡零点就可以找到素数分布的全部规律,这里是全部规律,这也是数学领域最艰深的内容之一 。1900年,希尔伯特把黎曼猜想,哥德巴赫猜想,孪生素数猜想并称为23问题之第8题 。
最初的五十年时间,别说有人可以证明这个猜想,就连一个非平凡零点就难以找出来,在那个纯靠手算的年代,这样的计算量实在太大 。直到1903年,丹麦数学家格拉姆费尽千辛万苦计算得出了15个非平凡零点 。1932年,找到138个非平凡零点,同年1932年,德国数学家西格尔在对纷繁复杂的黎曼手稿进行了长达2年多时间的研究,发现了一个非常有效的公式,这个公式大大推进了零点的寻找过程 。
图灵找到了1104个零点,电子计算机出现,大大增加了零点的数量 。直到2004年,人们找到了10万亿个非平凡零点,这些非平凡零点无一例外都满足黎曼猜想 。对于解析证明的历程则要精彩困难得多 。1896年,法国数学家哈达玛和比利时数学家从不同的方向分别证明了,黎曼ζ函数的非平凡零点通通位于某个带状区域内,这个带状区域就是复平面实部介于0到1之间的所有点 。
1914年哈代证明了黎曼预言的那条x=1/2的临界线上存在无穷多个非平凡零点 。1921年,哈代对无穷这个结论做了具体的估计 。他考虑的是这个临界线上零点的无穷多个相对于所有非平凡零点的无穷多个做比较,可惜他得到的结果让人失望,这个比例竟然是0!接下来的很多年,人们对于黎曼猜想的攻克都是按照哈代的路径 。1975年美国麻省理工学院的莱文森在他患癌症去世前证明了分布在临界线上非平凡零点的比例有34.74% 。
1980年,中国数学家楼世拓、姚琦对莱文森的工作有一点改进,他们将比例提高到35% 。这是目前关于黎曼猜想的解决中已知的最好的成果 。2018年9月,迈克尔·阿蒂亚声明证明黎曼猜想,于9月24日海德堡获奖者论坛上宣讲 。他的论文仅有5页,涉及到黎曼猜想的只有1页,论文看起来极为简洁 。这样的证明,最多只能是提供了一种解决思路,根本不可能解决数学里最艰深的黎曼猜想 。
陈景润在1966年得到1 2的结果,这和最终的哥德巴赫猜想好像仅有一步之遥,但是这一步足以容纳千山万水,50年来没有任何进展 。黎曼猜想离最后一步还差很远,就像希尔伯特曾经说的那样:“如果500年后我重生,我的第一个问题就是想知道黎曼猜想被证明了么 。”就我个人的理解,认为黎曼猜想的解决还为时尚早,可能还要等上百年! 。
黎曼猜想此生能被解决吗?
吴豪聪完全证明黎曼猜想,黎曼猜想被证明了吗


黎曼猜想对于大众而言,知名度远不如哥德巴赫猜想和费马大定理 。大概是宣传的不到位,更重要的原因是黎曼猜想的内容不像哥德巴赫猜想和费马大定理那样,只要稍微有一点数学基础的人都可以很清楚地理解问题说的是什么,黎曼猜想的要求就高多了 。黎曼猜想说的是一个不大于某个特定数值的素数个数有多少个的问题 。毫无疑问这是一个数论方面的问题,但是黎曼猜想的数学表达却好像跟数论毫无关系 。
黎曼ζ函数1859年,黎曼给柏林科学院递交了一篇仅8页的论文《论小于某给定值的素数的个数》,这里黎曼从一个特殊的函数出发,然后认为这个函数所有的非平凡零点ρ的实部都是1/2,这个就是黎曼猜想 。本来你猜想某个很难解答的方程的解好像也并不能说明什么,但是黎曼在这篇论文里给出了几个重大的推论,黎曼先生并没有在论文里把所有的推论证明,他用了显而易见来表示这个推论的由来 。

推荐阅读