2018年的中秋節，對于互聯網時代的從業者來說也是不平靜的，因為在這一天，著名數學家阿蒂亞宣布自己證明了黎曼猜想。
黎曼猜想是現代數學中最著名難題之一。在1959年的時候，黎曼為了評選德國科學院的院士提出了這個問題。這個猜想其實可以告訴我們在某個數附近素數的近似密度。
而其實阿蒂亞對黎曼猜想的證明有嚴重的缺陷。我在2018年9月24日當天接受《中國科學報》的相關采訪，也評論了這個事情。當時的報道如下：
物理學科普作家、科學網博主張軒中從物理的角度向《中國科學報》記者做了分析，他表示，精細結構常數是一個會“跑動”的數，描述兩個電子相互吸引力大小，它的耦合常數隨著時間的變化而變化，并不是一個“真的常數”。
“但阿蒂亞直接論證了精細結構常數是固定的，大約等于1/137，這讓物理學家很費解，對第一步就產生了懷疑。”張軒中說。“也許在數學上是對的，畢竟阿蒂亞也是懂物理的，可能他有獨到的見解，但這個還需要時間論證。”
現在的情況已經明朗了。阿蒂亞的那個證明過程不但在物理上不對，而且在數學上也有很大的漏洞。他使用了一個Todd函數作為關鍵來證明黎曼猜想，但他沒給出證明的細節過程。而且，他所使用的Todd函數看起來好像是一個復平面上的解析函數，但他又說這是一個半解析函數，自我矛盾。他的證明中也沒有用到黎曼函數的任何特殊性質——黎曼函數的對稱性以及黎曼函數與伽馬函數的關系都沒有用到，所以原則上他的證明對任意解析函數都成立，所以這是荒謬。
因此阿蒂亞沒有真的證明黎曼猜想。不曉得他是怎么回事，我感覺他可能是老糊涂了。
不過我們還是要尊敬他的，畢竟他已經89歲了，而他妻子也剛去世。在阿蒂亞證明黎曼猜想的論文中他提到的參考文獻2中寫著“獻給莉莉”，“莉莉”就是他今年剛去世的妻子。所以我覺得他搞這個震驚世界的行動，也許是為了紀念他的妻子。
前面已經說了，黎曼猜想與素數有關，由于互聯網一般使用RSA公鑰密碼體系，而RSA基于的是大整數的素數分解，所以很多人覺得一旦黎曼猜想被證明，那么互聯網也都不安全了。
其實互聯網所使用的RSA公鑰密碼體系是在1970年代末提出來的，而在這之后，大家一般都默認黎曼猜想是成立的。所以黎曼猜想的成立這個事實不會對破解RSA加密算法有什么影響。但是，不可排除的是，如果黎曼猜想的證明過程真的用到了新的數學工具對理解素數有幫助，那么這個新數學工具確實可能對RSA公鑰密碼體系造成沖擊。
而至于新一代的互聯網“區塊鏈”與黎曼猜想的關系，也可以稍微談一下。其實在區塊鏈上用的密碼算法有兩個：哈希函數和數字簽名。哈希函數用的是二進制，基本上和素數沒有什么關系。而數字簽名使用的是橢圓曲線密碼學，這部分與大整數的素數分解也沒有關系，所以區塊鏈和黎曼猜想沒有直接的聯系，相對來說則更加安全一些。
而且，目前沒有任何一種互聯網加密方式是以黎曼猜想的不成立為前提，大家其實都已經默認黎曼猜想是成立的。
阿蒂亞沒有成功證明黎曼猜想，所以我們不用擔心互聯網密碼的安全性。反過來說，假設阿蒂亞真的證明了黎曼猜想，我們也不用過分恐慌互聯網密碼的安全性，因為我們還得看清楚證明黎曼猜想的數學工具到底是不是真的會影響到互聯網的安全。
