最近數學(xué)圈最火的事莫過(guò)于一張PPT引發(fā)的地震。昨天，在德國海德堡，著(zhù)名數學(xué)家阿蒂亞爵士（Michael Atiyah）在演講中表示自己已經(jīng)證明了黎曼猜想。

黎曼猜想是什么？

1859年，德國數學(xué)家黎曼發(fā)表了《論小于已知數的素數個(gè)數》論文，并認為所有素數都可以表示為一個(gè)函數，ζ（s）=0位于一條垂直直線(xiàn)上，ζ函數所有非平凡零點(diǎn)的直線(xiàn)也被稱(chēng)為臨界線(xiàn)。這個(gè)推測也被稱(chēng)為黎曼猜想，困擾了整個(gè)數學(xué)界整整159年。

100多年來(lái)，不少科學(xué)家都曾經(jīng)提出他們證明了黎曼猜想，雖然這些論證不斷被指出錯誤，但當中也有一些證明正一步步走向問(wèn)題的最終核心。而昨天，阿蒂亞在演講中公布了一張PPT，他聲稱(chēng)利用todd函數反證法，證明了所有零點(diǎn)都在臨界線(xiàn)上。

論證的主要內容和過(guò)程在這里就不詳細介紹了，畢竟發(fā)現與論證的是非也只能由專(zhuān)業(yè)人員來(lái)解讀。關(guān)于黎曼猜想，大家更感興趣的是，它被證實(shí)以后會(huì )對現實(shí)生活有什么影響？這可能比理論解釋更能讓大家明白，黎曼猜想究竟是啥。

黎曼猜想的成立會(huì )帶來(lái)什么影響？

對于數學(xué)學(xué)科來(lái)說(shuō)，黎曼猜想與超過(guò)1000條數學(xué)命題有著(zhù)密切的聯(lián)系，超過(guò)千條的數學(xué)命題是建立在黎曼猜想的基礎之上的，如果黎曼猜想被證實(shí)，那超過(guò)千條的數學(xué)命題就會(huì )升級成為定理，數學(xué)面貌將會(huì )有很大的改變。另外，那些直接或間接運用到這些命題的領(lǐng)域也將會(huì )受到不同程度的影響，對數學(xué)界的研究有著(zhù)重大的意義。

黎曼猜想也滲透與應用在其他學(xué)科上，它與眾多學(xué)科都有著(zhù)重要的聯(lián)系，例如計算機與網(wǎng)絡(luò )、物理學(xué)、生物神經(jīng)網(wǎng)絡(luò )，以及最近經(jīng)常被提起的人工智能。黎曼猜想的證實(shí)或許會(huì )給這些領(lǐng)域的基礎研究者帶來(lái)新的啟發(fā)，他們也是最受影響的人群。

黎曼猜想與素數的性質(zhì)有著(zhù)很大的關(guān)系，而素數被廣泛應用在密碼學(xué)上，現在的很多銀行、金融機構、計算機公司以及其他重要的保密機構，都是使用RSA加密算法，這種算法的安全性就在于對極大整數做因數分解的難度。有觀(guān)點(diǎn)認為如果黎曼猜想被證實(shí)了，基于大素數分解的RSA加密算法可能會(huì )受到一定程度的影響。不過(guò)也有意見(jiàn)指出，互聯(lián)網(wǎng)安全、密碼學(xué)和區塊鏈還不至于因為黎曼猜想的成立而受到直接威脅與破滅。

邁克爾·阿蒂亞爵士是何許人也？

邁克爾·阿蒂亞，1929年4月22日出生于英國倫敦，被譽(yù)為當今最偉大的數學(xué)家之一，主要研究領(lǐng)域為幾何。

邁克爾·阿蒂亞1954年在劍橋大學(xué)獲得博士學(xué)位，1966年榮獲菲爾茲獎，1968年被選為倫敦皇家學(xué)會(huì )院士，1983年被封爵士，2004年與辛格共同獲得阿貝爾獎。