來源：瀟軒社

作者：葉揚波  著名數學家，美國愛荷華大學教授。作為數論學家，他在中國大陸出版有《跡公式與模形式》等專著。以下是他談Atiyah關於黎曼猜想的證明的文章，觀點專業而且獨到，轉載此文，希望大家能根據此文看到Atiyah證明黎曼猜想的基本思想與價值。

這幾天大家都非常關心Atiyah證明黎曼猜想的事情。作為一名數論工作者，我自然也非常關心，而且反覆閱讀了Atiyah的兩篇論文。現在所有的人都在說他的證明不對，我想要進一步弄清楚（1）他是用什麼思路什麼方法來研究黎曼猜想的，（2）他的所謂證明是否嚴格，（3）即使他的證明是錯的，他的思路方法是否有可取之處。現在談談我的看法，以補充大家的熱議。

問題（2）最容易回答，老先生的文章的確有許多漏洞。比如最關鍵的Todd函式T(s)他說在任意凸區域內是多項式，我覺得他應該說T(s)在凸區域內是區域性多項式。他又說T(s)把直線Im(s)=1/2對映到自己，可是又說T(s)在這條直線上的極限為137.035999... 他說T(s)在這條直線上是單調增，可是他明明剛說過T(s)在凸區域1/4<Re(s)<3/4, |Im(s)|<a上是（區域性）多項式。這樣的邏輯混亂使得這個Todd函式是否存在都令人懷疑，尤其是T(s)的定義也是給的不明不白的。

更加致命的錯誤可能是用T(s)來證明黎曼猜想。老先生用T(s)和黎曼zeta函式

zeta(s)=1/1^s+1/2^s+1/3^s+...

作了一個複合函式，宣稱該複合函式恆等於零，用這個矛盾推出了黎曼猜想成立。可是這個證明過程中沒有用到zeta(s)的任何性質與定義，也就是說你可以把zeta(s)換成任何其他函式也能證明出來類似的定理。這就有點天方夜譚了。

Atiyah的證明是建立在實數域R上的von Neumann馮·卡門代數A和有理數域Q上的Hirzebruch代數A(Q)上的。這兩個代數超級巨大，比如A是2x2復矩陣代數與自身的無窮張量積的弱閉包。2x2復矩陣有兩個對映到複數域C，為矩陣映到其兩個特徵值。老爺子把這兩個對映擴充到A的中心C(A)上，用這兩個對映一來一回定義T(s)。可是矩陣代數的中心不是都由相同對角元素的對角矩陣組成的嗎？這兩個特徵值是一樣的對不對？就算兩個特徵值不一樣，你憑什麼說哪個是第一個哪個是第二個？尤其是還要來一個無窮張量積，全裹和到一塊兒去了，這樣定義出來的T(s)令人費解。

回到問題（1），大家已經看出來了，Atiyah的理論是建立在巨大無比的兩個代數結構上的。這兩個巨大的代數一個在R上，一個在Q上，它們之間的關係包含了所有的數論資訊。而以這兩個代數中的元素作為線性運算元，它們的特徵值為所謂的證明提供了核心的基礎框架。不管證明對不對，上面這幾句話概括了Atiyah的思路與方法。

那麼問題（3）來了，到底Atiyah的思路與方法有沒有可取之處？

近年來數論界對黎曼猜想的研究，公認的一個進展是發現黎曼zeta函式的非平凡零點與重原子能級有同樣的統計分佈。重原子能級是量子力學中Hamiltonian運算元的特徵值。這個發現一度被認為是自黎曼猜想之後人類對黎曼zeta函式的第二個重大發現。但是幾年之後一位學者在德國的一家圖書館翻閱黎曼數學手稿，赫然發現黎曼在計算黎曼zeta函式零點的手稿的紙背，寫有大量關於原子能級的計算。這一下真相大白，原來黎曼早就意識到了非平凡零點與重原子能級之間的可能聯絡。

從此數論學家們的目標就是要找到這樣一個運算元，使得它的特徵值是黎曼zeta函式的非平凡零點。然後通過研究這個運算元，就像對稱運算元特徵值均為實數一樣，證明所有非平凡零點的實部均為1/2，從而證明黎曼猜想。而這個思路在有限域上的函式域上已經被證明了。

從這個意義下來說，Atiyah的思路是對的。運算元有了，特徵值也出現了。是不是他用的von Neumann運算元代數和Hirzebruch運算元代數真的包含了大家夢寐以求可以用來證明黎曼猜想的那個運算元，或者可以在其之上構建出一個，我想這未來的幾年一定會研究輩出。大家翹首以待吧，或者最好親身加入這個研究的行列。這條路如果最終能夠走通，Atiyah的文章就是有歷史意義的了。

未來智慧實驗室是人工智慧學家與科學院相關機構聯合成立的人工智慧，網際網路和腦科學交叉研究機構。

未來智慧實驗室的主要工作包括：建立AI智慧系統智商評測體系，開展世界人工智慧智商評測；開展網際網路（城市）雲腦研究計劃，構建網際網路（城市）雲腦技術和企業圖譜，為提升企業，行業與城市的智慧水平服務。

  如果您對實驗室的研究感興趣，歡迎加入未來智慧實驗室線上平臺。掃描以下二維碼或點選本文左下角“閱讀原文”