“世界難題”是如何被證明的？2018年9月24日，德國海德堡，著名數(shù)學家阿蒂亞爵士（Michael Atiyah）在演講時表示，自己已證明了黎曼猜想，并進行了現(xiàn)場講解。

2018年9月24日，德國海德堡，著名數(shù)學家阿蒂亞爵士（Michael Atiyah）在演講時表示，自己已證明了黎曼猜想。

在演講開始前，他公開了這篇研究論文，總共5頁。在論文中，借助量子力學中的無量綱常數(shù)α（fine structure constant），阿蒂亞聲稱解決了復數(shù)域上的黎曼猜想。

在這個論文的引言部分，阿蒂亞說他希望理解量子力學中的無量綱常數(shù)——精細結構常數(shù)。

這讓人很震驚，因為精細結構常數(shù)大約等于1/137，刻畫的是電磁相互作用的強度。比如在氫原子中，我們大致可以說電子繞原子核的速度是1/137再乘上光速。

這個東西物理學家已經理解得很深了。隨后，阿蒂亞指出，理解精細結構常數(shù)只是最初的動機。在這個過程中發(fā)展出來的數(shù)學方法卻可以理解黎曼猜想。

隨后，阿蒂亞談到了黎曼猜想。他說在他的證明過程中，他引入了一個新的函數(shù)，這個函數(shù)叫做todd函數(shù)。有意思的是，todd 是他的導師。

據阿蒂亞說，todd函數(shù)是一個弱解析函數(shù)…… 但中間過程不好理解，這里就先不過多展開了。

最后，在論文的最后，阿蒂亞說，精細結構常數(shù)與黎曼猜想，用他的方法，已經被解決了。當然他只解決了復數(shù)域上的黎曼猜想，有理數(shù)域上的黎曼猜想，他還需要研究。另外，隨著黎曼猜想被解決，阿蒂亞認為，bsd猜想也有希望被解決。當然，現(xiàn)在阿蒂亞認為，引力常數(shù)G是一個更難理解的常數(shù)。

“牛”論文的讀后感

這就是阿蒂亞論文的大概意思。

讀了這個論文，我倒是很平靜。因為論文太短，看起來不是那么牛，而且充滿了物理味道。其實，我還是想知道，黎曼猜想中為什么出現(xiàn)一個固定的常數(shù)1/2

在黎曼猜想中，我們看到非平凡零點的實部都等于1/2，這是一個讓人很意外的常數(shù)。雖然我們可以從一個簡單的對稱關系中看出為什么會出現(xiàn)1/2。

1-s=s，所以 s=1/2

但是，1/2為什么那么特殊？這個數(shù)字有什么對稱性嗎？體現(xiàn)了什么周期性嗎？好像都沒有。如果我們用物理學的眼光來看，我們會覺得1/2這個數(shù)是特殊的。（不是很好理解為什么上帝要特別選擇這個數(shù)字來作為黎曼猜想的答案？為什么不選1/3或者1/7？難道是因為2是第一個素數(shù)嗎？）在我看來1/2它不具備那種“廣義協(xié)變性”。

如果在黎曼猜想中，出現(xiàn)的常數(shù)不是1/2，而是圓周率，那會讓我覺得這個事情要優(yōu)美一些。現(xiàn)在出現(xiàn)的卻是1/2，這無疑讓人覺得黎曼猜想不是一個涉及到宇宙本質的猜想，而僅僅是一個比較粗糙的數(shù)學半成品。宇宙中可能還存在比黎曼猜想更基礎的更重要的數(shù)學現(xiàn)象。

“牛”論文的參考文獻

阿蒂亞在證明黎曼猜想的論文中提到了另外一篇參考文獻，這個參考文獻被叫做“文獻2”，這個文獻的題目是“精細結構常數(shù)”。

在這個論文的一開頭，阿蒂亞就寫了幾個字：

“獻給莉莉”

現(xiàn)在還不太清楚這個莉莉是他女兒還是妻子，或者其他女性。

阿蒂亞證明黎曼猜想的工作，與他一開始研究精細結構常數(shù)有非常大的關系。精細結構常數(shù)是量子物理學中的一個基本的常數(shù)，其數(shù)值大概等于1/137。 這個常數(shù)是比較巧合的，因為宇宙的年齡大概是137億年。所以，如果不考慮誤差，那么137這個數(shù)字就是很特殊的。

阿蒂亞說，以前有一個叫愛丁頓的人，注意到 136=8+128

其中8等于2的3次方，而128是2的7次方。而這些數(shù)字與所謂的克利福德代數(shù)有關。著名物理學家、引力波專家陳雁北認為，這只是把數(shù)字寫成了2進制，其實也不能說明什么。但是，當時的愛丁頓只能看到136，現(xiàn)在還必須加上1，才能得到137。

隨后，阿蒂亞給出了他的理由，為什么137會出現(xiàn)。

但是，問題來了，阿蒂亞給出的這個精細結構常數(shù)在物理學家眼里其實不是常數(shù)，因為根據量子場論的最新研究成果，精細結構常數(shù)其實刻畫的是電磁相互作用的強度，物理學家稱之為“耦合常數(shù)”。但耦合常數(shù)其實不是真的常數(shù)，它是會跑動的——也就是會隨著時間變化。這就叫做running的常數(shù)。

所以，大多數(shù)物理學家對數(shù)學家阿蒂亞試圖證明1/137是一個常數(shù)覺得很尷尬，啞然失笑。

確實，根據所謂的重整化群方程，耦合常數(shù)是跑動的，不是真的常數(shù)。在物理上，這可以被看成是隨著能量的增加，相互作用強度的改變。

阿蒂亞是不管物理學家如何想，因為作為數(shù)學家，他有他自己的想法。阿蒂亞認為，精細結構常數(shù)應該像圓周率一樣，具有同樣的數(shù)學上的意義。

在阿蒂亞的“精細結構常數(shù)”的論文中，阿蒂亞寫到，在18世紀中葉，數(shù)學家歐拉發(fā)現(xiàn)了圓周率與歐拉自然常數(shù)以及虛數(shù)單位i之間存在一個關系。所以，他希望找到歐拉的這個關系在四元數(shù)領域到底有沒有類似的關系。

四元數(shù)是當時的英國數(shù)學家哈密頓發(fā)現(xiàn)的。這是阿蒂亞的另外一個基本的思路。他看來時要發(fā)展四元數(shù)的歐拉公式，然后對精細機構常數(shù)的來歷有所說明。

隨后，阿蒂亞提到了他在1950年代的合作者希茲布魯赫的工作。在那個時代，希茲布魯赫發(fā)展了關于todd虧格的理論。這個理論可以把幾何學與拓撲學聯(lián)系起來。在這個基礎上，阿蒂亞與辛格等人發(fā)展了指標定理，而這個定理對數(shù)學物理學家很有用。

所以，在“精細結構常數(shù)”這個論文中，阿蒂亞用數(shù)學解釋了137這個數(shù)字的來歷。而且他把這個常數(shù)與圓周率以及歐拉的常數(shù)聯(lián)系在了一起。

他在這個時候提到了重整化，看起來他還是很懂物理的。他說，重整化其實刻畫的就是耦合常數(shù)隨著能量的改變而改變的過程。他說，物理學家是用費曼圖這類工具來處理這個問題的，而且物理學家的做法是依賴于實驗的。但阿蒂亞認為，他自己的做法是數(shù)學化的。

隨后，阿蒂亞開始了他用數(shù)學化的手段推導精細結構常數(shù)的過程。

在這個過程中，阿蒂亞令人震驚得提到了歐拉的7橋問題。隨后他又提到了希茲布魯赫的工作馮紐曼的工作。

在這個文章中，結構太過龐雜，他還提到了他的合作者鮑特的工作。這看起來很像是他人生的回憶錄。在這里他得到了結論：

137=1+8+128

在這里1就是2的0次方。所以正如陳雁北說的那樣，他是把137寫成了2進制。

黎曼猜想是怎么回事呢？

黎曼猜想是黎曼在1859年提出來的一個猜想，說白了就是與整數(shù)的求和有關。比如1+2+3+4+5+……一直加下去等于多少？高斯小的時候，能一直加到100，說答案是5050。

但是，黎曼不是這樣看這個問題的。

黎曼把這個求和擴展了，他定義了一個求和f（s），其中s可以是任意復數(shù)。而高斯做的那個問題，相當于黎曼的一個特例，也就是f（-1）。特別要強調的是，f（1）是發(fā)散的，沒有定義。其實就是解方程，也就是讓f（s）=0，然后黎曼用一種很神秘的數(shù)學技巧解了這個方程，他只解出了不超過10個解，然后一看這寥寥無幾的解，他發(fā)現(xiàn)這幾個解全是復數(shù)，但復數(shù)的實部全是1/2。于是，黎曼猜想這個方程的解的實部都是1/2。打個比方就是，1859年，黎曼看到3個中國女人全是裹腳的，她猜想所有中國女人都裹腳。

這個猜想太難，一直沒有被解決。

阿蒂亞爵士其人其事

9月24日在海德堡獲獎者論壇發(fā)表演講的Atiyah

Atiyah做數(shù)學喜歡與別人合作，他有很多合作者。他的三個主要的合作者是：

1、 Raoul Bot，他們在一起發(fā)展了 Atiyah–Bott不動點定理。Raoul Bot是一個工程師出身的數(shù)學家，有著名的“ Bot周期律”傳世。

2、 Isadore M。 Singer ，他們一起發(fā)展了Atiyah–Singer 指標定理。這個定理認為，一個微分流形上的微分算子的解空間可以揭示出流形的拓撲結構。

3、 Friedrich Hirzebruch，他們一起發(fā)展了拓撲 K理論。

這三個人都是阿蒂亞 1955年在普林斯頓高等研究院的那一年認識的。所以，現(xiàn)在如果阿蒂亞是一個人證明黎曼猜想，那么這看起來還是比較懸的一件事情。因為黎曼猜想很難，而看起來 Atiyah并不太擅長一個人做研究。

Atiyah1966年獲得數(shù)學的最高獎——Fields 獎金，當時他才37歲。得過這個獎的，華人只有丘成桐與陶哲軒。

后來他在英國的劍橋大學做數(shù)學教授，他的學生中也有很牛的人，比如1983年的Simon Donaldson，也是因為用量子場論的方法證明了四維流形上有無窮多個微分結構獲得1986年的Fields 獎金。

黎曼猜想如果真的被阿蒂亞爵士證明，那么阿蒂亞爵士將成為繼高斯黎曼之后最偉大的數(shù)學家之一，因為這個問題是數(shù)學界最難的問題，與素數(shù)有關，一旦被破解，也許我們地球上所有基于RSA密碼的電腦系統(tǒng)都將變得不安全。

總的說來，阿蒂亞的文章非常龐雜，需要很長的時間才可以看明白他的基本意思。但毫無疑問，這個文章解釋了137的來歷。隨后，按照類似的方法，阿蒂亞證明了黎曼猜想。

雖然我們現(xiàn)在不能完全確認阿蒂亞對黎曼猜想的證明是沒有硬傷的。但他在89歲高齡的這一場戰(zhàn)斗看起來充滿了畫面感。

我想，歷史會記得他的工作。