1頁PPT、3分鐘演講,阿蒂亞爵爺的黎曼猜想證明是鬧劇還是天才?

2020-12-05 大數據文摘

大數據文摘出品

作者:蔣寶尚

德國柏林時間9月24日上午9點45分,菲爾茲獎與阿貝爾獎雙料得主、英國皇家學會院士麥可·阿蒂亞爵士在德國海德堡舉行的海德堡獎諾貝爾獎獲得者論壇上,講述了他對黎曼猜想的證明。

演講視頻

https://v.qq.com/x/page/o07163lpl55.html

在論壇上,阿蒂亞爵士的演講時間為45分鐘,其中25分鐘在回顧歷史,而證明只有一頁PPT。關於證明方法,他在演講中表示,中心的證明方法是反證法。證明的關鍵點是引入了TODD函數。

這次證明,學界的質疑聲比較高。因為無論是演講中的證明介紹,還是貼出的5頁預印本都沒有能拿出令人信服的證明。

主要是兩個方面,一個是TODD函數,這個函數是老爵士自己新建立的,在預印本中寫到,因為過程太複雜,所以就不展開講了。另一個是他提到的精細結構常數α,這個常數是物理學領域中的應用,且是一個浮動的數值。簡單來說,他所用到的常數,在學界也沒有得到完全的證明。另外,他關於精細結構常數的相關論文尚未通過同行審議。

但是也有學者表示阿蒂亞爵士的思路或為後續黎曼猜想證明提供了一種新思路。

文末給出了網傳老爺子的證明預印本,注意這份預印本資料沒出現在官方渠道上,也沒有權威人士確認這份資料的真實性,真假還無法辨認。

黎曼猜想證明事件前後

今年的9月份,菲爾茲和阿貝爾獎得主麥可·阿蒂亞爵士宣稱自己證明了黎曼猜想,並在9月24日海德堡獲獎者論壇上宣講。

消息一出舉世震驚,因為黎曼猜想自1859年提出以來,到今天已有一百五十多年的歷史了,這期間一直都沒有解決。這一猜想也被列為世界7大數學難題之一。另外六個難題是NP完全問題、霍奇猜想 、龐加萊猜想、楊-米爾斯存在性和質量缺口、納衛爾-斯託可方程 、BSD猜想。這七大難題都被懸賞一百萬美元。

這個百萬懸賞項目是2000年5月的時候,美國克雷數學研究所(Clay Mathematics Institute, CMI)設立的一個「千禧難題」的數學問題挑戰。

當然,不是隨隨便便就能宣稱「我證明了難題」,題解必須發表在國際知名刊物上,並且要通過2年的驗證期和專家小組的審核。

現在只有龐加萊猜想被證明,證明者是俄羅斯數學家 格裡戈裡·佩雷爾曼。

黎曼猜想所以被認為是當代數學中一個重要的問題,主要是因為很多深入和重要的數學和物理結果都能在它成立的大前提下被證明。大部分數學家也相信黎曼猜想是正確的。

對這一高大上的理論證明看起來和我們的生活沒有什麼關係。在這文摘菌想借用馬雲在阿里巴巴雲棲大會演講上的一句話:沒有數學為基礎,科學就沒有基礎。

無論是阿里巴巴設立達摩院青橙獎和全球數學競賽,還是黎曼猜想被證明的消息震驚世界,其實都在說明一個問題,即業界和學界對數學越來越看重。

黎曼函數和素數的關係

讓我們看一下黎曼猜想:

這個函數表達式中,s的實部大於1,如果實部小於1,那麼這個級數是不收斂的。另外n取邊所有的正整數。

這個猜想是:黎曼函數ζ(s)的全部非平凡零點,全部位於實部為1/2的一條直線上

這裡的平凡零點是某個三角sin函數的周期零點;非平凡零點是Zeta函數自身的零點。

那麼黎曼猜想和素數的分布又有什麼關係呢?讓我們來看它另一個變形公式:

這個公式是歐拉乘積的形式,已經得到了證明

公式中的P為素數,又稱為質數,是指大於1的自然數中,除了1和它本身以外不再有其他因數。例如3、7、11等數。

結合方程與根的關係,這就意味著,這個公式蘊涵著有關素數分布的重要信息。

沒錯,這就是黎曼函數的零點和素數分布聯繫到一起的根源。

所以,黎曼猜想最主要是解決素數分布的問題,數學界在之前一直認為自然界中素數的分布,肯定有著一種規律,但是這種規律只是目前還沒有被發現而已。黎曼猜想等於是在說,素數最大的規律,就是沒有什麼突出的規律,素數的分布完全是完全隨機。

大學修過概率論與數理統計的同學應該知道, 在隨機事件的大量重複出現中,往往呈現幾乎 必然 的規律,這個規律就是大數定律。通俗地說,這個定理就是,在試驗不變的條件下,重複試驗多次,隨機事件的頻率近似於它的概率。大數定律將頻率和概率聯繫了起來,偶然中包含著某種必然。

所以,黎曼猜想意味著,素數的分布必然也遵循著大數定律!!!

在這裡也說明一下,隨機和分布滿足一定的規律並不矛盾。例如你投擲枚硬幣,出現正面和反面的情況是完全隨機的,但是出現在正面或者反面的概率趨於1/2。

證明難點

為什麼黎曼猜想經過了159年,且無數科學家為之奮鬥都沒有證明?

這個猜想證明的難點在於主項是集合概念的命題是無法證明的,因為集合概念的每一個個體不是必然具有這個概念的基本屬性。就決定了必須一個個去證明。

這就是說,必須對每一個零點都進行證明,在沒有計算機之前,對於這種計算都是人工來算,計算機出現之後,人力得到解放,計算能力也大大提高,現在最新的成果是法國團隊 最新的成果是法國團隊用改進的算法,將黎曼Zeta函數的零點計驗證了前10萬億個,仍然沒有發現反例。

雖然相比於最初哈代的學生1041個的計算記錄,10萬億個零點的驗證是巨大的飛躍,也更能夠堅定人們對黎曼猜想的信任。但是,10萬億相對於無窮大,仍然沒有絕對的說服力。

而採用分析思路證明的最佳的成果也只是證明了41.28%的非平凡零點分布在「臨界線」上。

黎曼猜想不僅構建數學大廈

在一些頂級數學難題中,大家所熟悉的費馬猜想(現在已經被證明了,所以是費馬大定理了)和哥德巴赫猜想。

這是因為,費馬大定理和哥德巴赫猜想的題目容易理解,即擁有中學數學的基本知識就能理解。費馬大定理的數學表示是:n >2時,關於x, y, z的方程 x^n + y^n = z^n 沒有正整數解。哥德巴赫猜想是 :任一大於2的偶數都可寫成兩個素數之和。正是如此簡單的數學表達,才能有如此深遠的傳播度。

皮埃爾·德·費馬

費馬大定理的證明,歷經三百多年。期間為了證明這個法國律師和業餘數學家提出的問題,無數的數學家為之努力,極大的推動了數學的發展。例如有人說數論中算術代數幾何的這一數學分支的產生就是為了證明費馬大定理。所以費馬大定理當之無愧是數學界的「會生金蛋的母雞」。

而在學界,學者公認的是黎曼猜想比費馬大定理的數學地位更重要。因為一個半世紀以來,人們在假設黎曼猜想成立的情況下,以它作為基石,已經建立了一千多條定理,並且打造了無比輝煌的數論大廈。然而一旦黎曼猜想找到反例被證偽,這些精美的大樓就會如空中樓閣一樣曇花一現,最終崩塌,給數論帶來災難性的結果。

還有一個是因為黎曼猜想研究的素數與密碼的加密有著非常重要的關係。而加密無論是銀行數據還是國家機密,還有號稱最安全的區塊鏈技術都會用到。

有些加密技術與大數分解有關。而大數分解加密採用的更多是素數分解。例如100這個數字,如果給你2*2*5*5這個公式,你很容易想到他的結果是100,但是如果直接給你100呢,他可以分解成的因子就會有很多,例如10*10、2*5*10。100這個數字可能很容易把結果窮舉,但是如果這個數值是123587136412.......呢?所以黎曼猜想被證明對於素數加密領域也會非常大的震動。

另外, 最出人意料的, 是黎曼猜想的重要性不僅是在數學領域, 而對於物理學也非常重要 1972年, 人們發現與黎曼猜想的相關研究( 孿生質數對在數軸上的分布規律)與多粒子系統在相互作用下,能級分布規律的函數有著顯著關聯。 這種關聯的原因直到今天也還是一個謎。 但是在黎曼猜想與物理學的關係, 無疑就進一步增加了黎曼猜想的重要性。

附錄

參考來源:

https://mp.weixin.qq.com/s/vXzN-oH5sPo8gwshz-Z4eQ

https://www.huxiu.com/article/264064.html

https://mp.weixin.qq.com/s/Vv23EyrPiQiBDbQSlYVa5w

http://m.8btc.com/blockchain-n-riemann

http://www.sohu.com/a/255852063_354973

https://tech.sina.com.cn/scientist/2018-09-24/doc-ifxeuwwr7733737.shtml

相關焦點

  • 1頁PPT、3分鐘演講,89歲阿蒂亞爵爺的黎曼猜想證明是鬧劇還是天才?
    在論壇上,阿蒂亞爵士的演講時間為45分鐘,其中25分鐘在回顧歷史,而證明只有一頁PPT。關於證明方法,他在演講中表示,中心的證明方法是反證法。證明的關鍵點是引入了TODD函數。 這次證明,學界的質疑聲比較高。因為無論是演講中的證明介紹,還是貼出的5頁預印本都沒有能拿出令人信服的證明。
  • 若黎曼猜想被證明,區塊鏈會受影響嗎?
    「黎曼猜想是否被證明,都與區塊鏈無關」據新華社報導,9 月 24 日,在德國海德堡舉行的第 6 屆海德堡國際數學與計算機科學獲獎者論壇上,現年 89 歲的英國著名數學家、阿貝爾獎和菲爾茲獎得主麥可·阿提亞,提出了證明黎曼猜想的「簡單思路」,並稱沿著該思路可以證明黎曼猜想。
  • 一場天才的證明遊戲:「黎曼猜想」被證明了嗎
    不言而喻,證明黎曼猜想的努力也註定是天才的遊戲。而在阿蒂亞之前,已有無數挑戰者。據說德國數學家希爾伯特曾被問,如果他能在500年後重返人間,最想問的問題是什麼?希爾伯特回答:黎曼猜想是否已被解決?「87歲時阿蒂亞曾宣稱解決了一個有60年歷史的數學難題,結果被普遍視為錯誤;88歲時,他宣稱將一個長達255頁的著名數學定理的證明簡化成12頁,結果沒能經受同行評議。」盧昌海表示,如今他89歲了,挑戰對象反而成了更加艱深的黎曼猜想,不能不讓人替他捏把汗。
  • 黎曼猜想證明現場:3分鐘核心講解、提問陷沉默,同行不予置評
    夏乙 慄子 一璞 發自 凹非寺量子位 出品 | 公眾號 QbitAI40分鐘後,89歲的阿蒂亞爵士(Sir Michael Francis Atiyah)完成了他全球矚目的黎曼猜想證明演講,現場聽眾報以10多秒的掌聲。
  • 黎曼猜想證明:現場QA陷尷尬,學界評價悲觀(附高清視頻+PPT)
    關於阿蒂亞爵士的證明黎曼猜想關注的是素數分布的問題,而素數指的是在大於 1 的自然數中,除了 1 和該數自身外,無法被其他自然數整除的數。如果黎曼猜想被證明是正確的,那麼它就表明素數沒有什麼突出的規律,也就是說它們幾乎具有均勻的隨機性。如果黎曼猜想得到證明,它可以說是驗證了從 1 到 n 中平均有 N/ln(N) 個素數,因此素數基本上是按照 N/ln(N) 的均勻分布。
  • 黎曼猜想證明現場怎麼回事?黎曼猜想是什麼解答出來了嗎揭秘
    關於阿蒂亞爵士的證明黎曼猜想關注的是素數分布的問題,而素數指的是在大於1的自然數中,除了1和該數自身外,無法被其他自然數整除的數。如果黎曼猜想被證明是正確的,那麼它就表明素數沒有什麼突出的規律,也就是說它們幾乎具有均勻的隨機性。如果黎曼猜想得到證明,它可以說是驗證了從1到n中平均有N/ln(N)個素數,因此素數基本上是按照N/ln(N)的均勻分布。注意這裡的N/ln(N)只是代表我們機器學習中常見的數學期望,並不能說確切地等於N/ln(N)個素數。
  • 黎曼猜想證明現場尷尬:證明講解只有3分鐘 QE環節迅速冷場
    黎曼猜想證明現場尷尬:證明講解只有3分鐘 QE環節迅速冷場  黃琨 • 2018-09-26 17:25:36
  • 證明黎曼猜想的5頁論文來了!
    量子位 綜合自網絡數學家阿蒂亞(Michael Atiyah)剛剛公開了他證明黎曼猜想的論文預印本。在預印本放出之後,關注科學傳播的公眾號瀟軒社做了一個簡短的解讀,量子位轉載如下:阿蒂亞的黎曼猜想論文發表了,在預印本文庫。全文很短,只有5頁。
  • 160年難題,黎曼猜想被他證明了?
    就在剛剛,當地時間9月24日上午9時45分(北京時間9月24日下午15時45分),現年89歲的英國著名數學家麥可·阿蒂亞(Michael Atiyah,1929年4月生人)登上了海德堡論壇,開始了他的演講——黎曼猜想。此前,這位菲爾茲獎和阿貝爾獎的雙料得主宣布,已證明世紀難題黎曼猜想。就在演講前,網傳一份證明黎曼假設(猜想)的的5頁預印本被人貼出。
  • 一分鐘看懂黎曼猜想及其被證明的意義
    一分鐘看懂黎曼猜想及其被證明的意義 李倩 發表於 2018-10-16 17:40:26 一分鐘看懂黎曼猜想及其被證明的意義 「黎曼猜想」 是數學界迄今最重要的猜想之一
  • 「黎曼猜想」證明現場及證明過程 有學者認為或提供新思路
    「黎曼猜想」證明現場及證明過程 有學者認為或提供新思路  159年前,德國數學家黎曼在題為《論小於給定數值的素數個數》的論文中提出的「黎曼猜想」,一直以來被視作「純數學領域最重要的問題之一」。
  • 等了159年,Atiyah今天宣布他證實了黎曼猜想
    剛剛,在德國召開的海德堡獲獎者論壇演講上,菲爾茲和阿貝爾獎雙料得主麥可·阿蒂亞爵士在45分鐘中的演講中,用40分鐘介紹了黎曼猜想,僅用五分鐘,憑藉1張ppt,從量子力學中的概念出發,給出了他對159年裡懸而未決的黎曼猜想的證明。對此,眾說紛紜,數學界也尚未有進一步的評論給出。
  • 一種「簡單而全新」的方法證明了黎曼猜想,引發了全世界數學家們的...
    一種「簡單而全新」的方法證明了黎曼猜想,引發了全世界數學家們的關注 李倩 發表於 2018-09-27 11:30:06 一頁PPT證明黎曼猜想 據中國之聲
  • 英國數學家證明黎曼猜想【更新】
    雷鋒網(公眾號:雷鋒網)消息,數學歷史上最重要的未解決問題之一被解決了,英國退休數學家 Michael Atiyah 周一在德國海德堡 Laureate Forum 論壇的一次演講上宣布證明了黎曼猜想(RH)。Atiyah 用一篇簡潔的 5 頁論文闡述了證明的過程,核心在於一個新的函數 T(s),這是根據他的老師 J.A.Todd 的名字 取名的一個函數。
  • 黎曼猜想證明了?Michael Atiyah的愚人節難道在9月嗎……
    然而,根據我們目前的了解,Atiyah 爵士極有可能是在自娛自樂逗大家玩……黎曼函數和黎曼猜想簡介大家這幾天應該被動惡補了不少黎曼函數和黎曼猜想的介紹了,這裡雷鋒網 AI 科技評論還是不厭其煩地再簡單說下。
  • 「黎曼猜想」被證明? 學者:未看到有分量專家評價
    45分鐘證明演講中,有30分鐘介紹歷史長期關注人工智慧、機器學習領域的垂直媒體「機器之心」昨天全程記錄了阿蒂亞爵士在論壇上有關黎曼猜想的宣講直播。機器之心聯合創始人、副主編李亞洲向中國之聲介紹說,在9月24號的海德堡獲獎者論壇上,最受關注的可能就是阿蒂亞爵士黎曼證明的宣講了,也因為看直播的人數太多,導致官方直播流崩潰,組織方不得不改用手機直播。其實整個45分鐘演講中,阿蒂亞花了近30分鐘的時間介紹歷史:素數、黎曼猜想的歷史。中間他也開玩笑說,如果你解決了黎曼猜想,你會出名,但如果你已經是個名人,(解黎曼猜想)那就會有聲名狼藉的風險」。
  • 黎曼猜想到底是個啥?反正看完文章我還是不懂
    在他40分鐘的演講中,大部分在回顧歷史,嚴格來講,只有三分多鐘在講解他如何使用了一個簡單的反證法,就證明了159年來無人能攻克的黎曼猜想。三分多鐘講解,只有一張PPT。論文獲取連結: https://pan.baidu.com/s/1m6de_9f2503yZeyQPqlwvA 提取碼: cs2u全文很短,只有5頁。同行不予置評不知道這個證明,你能看懂幾分。但根據我們的觀察,這個演講發表之後,阿蒂亞爵士並沒有收到太多的讚美。
  • 黎曼猜想被證明了?很可能只是逗大家玩-數學,黎曼猜想 ——快科技...
    黎曼函數和黎曼猜想簡介大家這幾天應該被動惡補了不少黎曼函數和黎曼猜想的介紹了,這裡還是不厭其煩地再簡單說下。首先有無窮級數 ζ(s) :圖源3blue1brown大家應該還聽說過黎曼函數揭示了素數的精細分布規律,限於本文作者學識有限這裡暫不介紹,有興趣的同學歡迎自行百度盧昌海的《黎曼猜想漫談》。黎曼猜想證明的進度黎曼的這篇論文發表於1859年。當時的數學家不怎麼喜歡發論文,他們發表的成果只是自己所有研究中的經過深思熟慮、有充足的論據支撐的一小部分。
  • 英國數學家宣布證明黎曼猜想
    英國數學家宣布證明黎曼猜想 雷鋒網消息,數學歷史上最重要的未解決問題之一被解決了,英國退休數學家 Michael Atiyah 周一在德國海德堡 Laureate Forum 論壇的一次演講上宣布證明了黎曼猜想(RH)。
  • 黎曼猜想證明預印本公布
    近日,菲爾茲獎和阿貝爾獎雙料得主、英國皇家學會前主席麥可· 阿提亞爵士宣稱,自己證明了數學界的世界性難題黎曼猜想。現在,阿提亞已經公布了他證明黎曼猜想的預印本,不過具體細節數學界還在研究之中,是否真的證明了黎曼猜想還有待證實。