我想題主是受這篇新聞影響提出的。

10 月 12 日，李忠教授出現在中科院數學所，並在當天的小範圍報告中公佈了自己對黎曼猜想證明的思路。

先上結論，暫時還沒有人證明出來。

黎曼猜想由德國數學家黎曼在 1859 年提出。該猜想是數學中重要而著名的未解決問題，也被稱為猜想界CROWN。在攻克黎曼猜想證明難題的歷史上，不乏一些世界著名數學家的身影。但即使是到今年 9 月 Atiyah 爵士宣稱證明了黎曼猜想，學界對此仍存在爭議。

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年後我重生，我的第一個問題就是想知道黎曼猜想被證明了麼。”

就我個人的理解，認為黎曼猜想的解決還為時尚早，可能還要等上百年！