「黎曼猜想」被證明? 學者:未看到有分量專家評價

2021-01-12 環球網

據中國之聲《新聞縱橫》報導,159年前,德國數學家黎曼在題為《論小於給定數值的素數個數》的論文中提出的「黎曼猜想」,一直以來被視作「純數學領域最重要的問題之一」。儘管無數一流數學家向證明黎曼猜想發起衝擊,卻無一人能成功——不過就在昨天(9月24號),著名數學家、菲爾茲獎和阿貝爾獎雙料得主阿蒂亞爵士或將成為這樣一個劃時代的人物。

德國海德堡當地時間9月24號上午,阿蒂亞爵士作為海德堡論壇第二位宣講嘉賓,公布了他對黎曼猜想的證明。他表示,自己基於馮⋅諾依曼、希策布魯赫和狄拉克等人的成果,使用一種「簡單而全新」的方法證明了黎曼猜想,引發了全世界數學家們的關注。

45分鐘證明演講中,有30分鐘介紹歷史

長期關注人工智慧、機器學習領域的垂直媒體「機器之心」昨天全程記錄了阿蒂亞爵士在論壇上有關黎曼猜想的宣講直播。機器之心聯合創始人、副主編李亞洲向中國之聲介紹說,在9月24號的海德堡獲獎者論壇上,最受關注的可能就是阿蒂亞爵士黎曼證明的宣講了,也因為看直播的人數太多,導致官方直播流崩潰,組織方不得不改用手機直播。其實整個45分鐘演講中,阿蒂亞花了近30分鐘的時間介紹歷史:素數、黎曼猜想的歷史。中間他也開玩笑說,如果你解決了黎曼猜想,你會出名,但如果你已經是個名人,(解黎曼猜想)那就會有聲名狼藉的風險」。

因此,可以看出,雖然已經89歲高齡,但阿蒂亞爵士一直在自己的領域努力著。也許,這其實也是阿蒂亞爵士今天想傳達的精神。

「這個證明的對與錯現在還不明確」

在介紹完歷史之後,他就開始介紹Todd函數以及最核心的一頁PPT(也就是Todd函數如何幫助證明黎曼猜想的PPT)。阿蒂亞爵士對證明思路的介紹並沒有多少,以至於直播間有人調侃30分鐘歷史介紹,一頁PPT證明。最後,阿蒂亞爵士給後輩們提供了建議:就是最後一張PPT提到的四個建議,包括運用如今最強大的工具;驗證所有著名的猜想(無論是證明過的還是未證明的);判斷出哪些難題可高效計算出;以及決定哪些難題是有時間做的。

整個直播過程中,Twitter上、直播間中的實時討論與評價,這個證明的對與錯現在還不明確,可能經過一段時間的發酵能看的更清楚。

黎曼猜想到底是啥

黎曼猜想是關於素數,又叫質數的問題,是為了研究素數分布規律。「一個大於1的自然數,除了1和它自身外,不能整除其他自然數的數叫做素數」——這個概念相信很多人第一次接觸是在上小學的時候。雖然定義簡單且容易理解,但是數學家們卻為尋找一個更為精確地表達公式而不斷努力。

德國數學家黎曼在《論不超過一個給定值的素數的個數》中提出:素數的分布奧秘與一個複雜的函數密切相關,他在文中定義了一個被後世成為「Zeta」的無窮極函數。黎曼猜測,可能所有非平凡零點都全部位於實部等於1/2的直線上,這條線被稱為臨界線。這就是令後世數學家魂牽夢繞卻輾轉反側的「黎曼猜想」。

物理學博士、科普作家盧昌海這樣解釋:「黎曼當年提出一個猜想,就是黎曼Zeta函數的所有的非平凡零點都正好排在複平面上的一條直線上,那麼這條直線被稱為臨界線。雖然表面上看只是關於一個複平面函數的猜想,實際上它是跟素數分布有非常密切的關係。」

黎曼猜想若被證明將增加一千多條數學定理

數學界的知名難題——黎曼猜想到底有多重要?盧昌海告訴中國之聲記者:「現在數學界有超過一千條數學命題,它是以黎曼猜想的成立為前提的,也就是說它的表述都是『假如一旦猜想或者他的某種廣義形式成立,那麼我們可以有這樣一個結果』。黎曼猜想如果被證明,那麼數學上幾乎一夜之間就可以增添一千多條定理——因為那些原來是有條件成立的命題,就全都變成定理了。如果黎曼猜想被證偽的話,那麼估計就是一千多條(定理)裡面,其中有一些也就不會成立了。所以反方面的影響也是比較大的。那麼對現實應用來說,目前據我所知並沒有什麼特別的影響,主要是對純數學。」

「世紀之謎」黎曼猜想如何證明?核心論點是什麼?在宣講現場,阿蒂亞爵士僅僅寥寥數頁PPT進行了闡釋。此前有很多人猜測,阿蒂亞爵士會使用量子力學來證明黎曼猜想,但在演講中他表示證明黎曼猜想的是一個名為Todd的函數。那麼黎曼猜想被證明後,有何用處?阿蒂亞爵士的回答是,黎曼猜想能推廣到多種情況,並且一步步得到證明,它的證明對年輕的數學、計算機科學、邏輯學和物理學研究者非常重要。

物理學博士:尚未看到有分量的專家評價

根據深科技的報導,阿蒂亞爵士稱,他關於精細結構常數α(念阿爾法)的相關論文已投稿至英國皇家學會。介於這篇文章目前還未經過同行審議,一些學者對他的推演過程存疑。同樣,也有學者對此次黎曼猜想的證明過程質疑。當然,還一些學者認為,阿蒂亞爵士的思路或為後續黎曼猜想證明提供了一種新思路。

雖然歷史上也有人曾宣稱自己「證明了黎曼猜想」,但是最終都被發現存在嚴重的漏洞。如何才能真正證明黎曼猜想?盧昌海昨晚文字回覆中國之聲記者稱,雖然具體方法可以千變萬化。如果是證明黎曼猜想不成立,則相對「簡單」些,舉出一個反例亦可達到目的。

阿蒂亞結束演講後,現場響起了熱烈掌聲,然而論證本身最終能否經得起考驗,還得通過專家們的苛刻審核。物理學博士、科普作家盧昌海表示,目前尚未看到有分量的專家評價——但考慮到阿蒂亞爵士的身份,如果專家認為這一報告完全不構成證明,出於對爵士的敬重他們或許會保持緘默。

相關焦點

  • 一場天才的證明遊戲:「黎曼猜想」被證明了嗎
    王元院士曾評價,黎曼猜想和費馬大定理、哥德巴赫猜想一樣,是數學中「下金蛋的母雞」,研究它們的目的主要在於發展數學中的新思想與新方法。「一旦黎曼猜想解決了,人類就站在不知比現在高多少的數學平臺上,看到遠得多的風景。」王元在《黎曼猜想漫談》序言中寫道。
  • 一種「簡單而全新」的方法證明了黎曼猜想,引發了全世界數學家們的...
    最後,阿蒂亞爵士給後輩們提供了建議:就是最後一張PPT提到的四個建議,包括運用如今最強大的工具;驗證所有著名的猜想(無論是證明過的還是未證明的);判斷出哪些難題可高效計算出;以及決定哪些難題是有時間做的。 整個直播過程中,Twitter上、直播間中的實時討論與評價,這個證明的對與錯現在還不明確,可能經過一段時間的發酵能看的更清楚。
  • 黎曼猜想證明 各方評價開始出現
    黎曼猜想證明 各方評價開始出現時間:2018-09-25 21:36   來源:機器之心Synced   責任編輯:凌君 川北在線核心提示:原標題:黎曼猜想證明 各方評價開始出現 錯過了昨日MichaelFrancisAtiyah爵士的直播?沒關係,這裡有高清視頻與完整PPT。
  • 「黎曼猜想」證明現場及證明過程 有學者認為或提供新思路
    「黎曼猜想」證明現場及證明過程 有學者認為或提供新思路  159年前,德國數學家黎曼在題為《論小於給定數值的素數個數》的論文中提出的「黎曼猜想」,一直以來被視作「純數學領域最重要的問題之一」。
  • 黎曼猜想將揭謎底 百萬獎金 千條數學命題成立的條件
    在這個世界上有很多人數給人類帶來最新的知識,也有很多猜想還未被證實,但依舊有很多人在研究。最後,阿蒂亞爵士給後輩們提供了建議:就是最後一張PPT提到的四個建議,包括運用如今最強大的工具;驗證所有著名的猜想(無論是證明過的還是未證明的);判斷出哪些難題可高效計算出;以及決定哪些難題是有時間做的。整個直播過程中,Twitter上、直播間中的實時討論與評價,這個證明的對與錯現在還不明確,可能經過一段時間的發酵能看的更清楚。
  • 丘成桐評論阿蒂亞爵士的黎曼猜想證明:沒看到啟發意義
    丘成桐評論阿蒂亞爵士的黎曼猜想證明:沒看到啟發意義 9月24日,著名數學家麥可·阿蒂亞爵士(Sir Michael Atiyah)在德國海德堡獲獎者論壇( Heidelberg Laureate Forum)的演講上表示他證明了黎曼猜想
  • 如果黎曼猜想被證明將會有何意義
    9月24日,被譽為本世紀最偉大的數學家之一、也是菲爾茲獎和阿貝爾獎獲得者的英國數學家麥可·阿蒂亞在海德堡桂冠論壇上以45分鐘的演講形式展示他「證明黎曼猜想」的過程。  誰能證明阿蒂亞的證明是正確的?這是數學界的專業問題,需要專業人員來回答。一些學者質疑他的推演過程,還有一些學者認為,阿蒂亞的思路或為後續黎曼猜想證明提供了一種新思路。而具體如何,還有待同行審議。
  • 160年難題,黎曼猜想被他證明了?
    此前有很多人猜測,阿蒂亞會使用量子力學來證明黎曼猜想,但阿蒂亞在演講中表示證明黎曼猜想的是TODD函數(一個弱解析函數),這個函數是他證明黎曼猜想的核心:阿蒂亞介紹了 TODD 函數與黎曼猜想之間的關係,以前我們無法證明黎曼猜想,但有了新工具後就有可能解決這個問題。TODD 函數最重要的屬性是能發展一種對精細結構常數 α 的解釋。然後,終於到了證明的時刻。
  • 黎曼猜想證明現場怎麼回事?黎曼猜想是什麼解答出來了嗎揭秘
    數小時前,Heidelberg Laureate Forum 2018官方終於在YouTube上放出阿蒂亞爵士的高清演講視頻,短短數個小時已經有近5萬次觀看。有趣的是,我們觀察到黎曼猜想在中國引發的關注與討論更大。手機直播過程中,我們能看到很多彈幕都是中文;YouTube視頻評論裡也有很多人刷「666」。
  • 黎曼猜想證明:現場QA陷尷尬,學界評價悲觀(附高清視頻+PPT)
    沒關係,這裡有高清視頻與完整 PPT。經過一天的發酵,關於阿蒂亞爵士此次黎曼猜想的證明,各方評價開始出現。昨日,一場盛況空前的宣講引爆了數學圈,89 歲的阿蒂亞爵士對黎曼猜想的證明吸引了全球的關注。如果黎曼猜想被證明是正確的,那麼它就表明素數沒有什麼突出的規律,也就是說它們幾乎具有均勻的隨機性。如果黎曼猜想得到證明,它可以說是驗證了從 1 到 n 中平均有 N/ln(N) 個素數,因此素數基本上是按照 N/ln(N) 的均勻分布。
  • 尷尬的證明:從ABC猜想到黎曼猜想
    在大數學家、89歲高齡的阿蒂亞爵士聲稱解決了黎曼猜想後,另一則重磅新聞,新晉菲爾茲獎得主Peter Scholze和數學家Jakob Stix公開撰文指出,曾經轟動一時的、望月新一的關於ABC猜想的長篇證明論文,存在著嚴重的、難以挽救的致命傷。
  • ...82歲北大教授已作「黎曼猜想證明」報告,新度量或成Atiyah強有...
    Atiyah 爵士證明靈感主要來源於其在 2018 年國際數學家大會上提出的精細結構常數的推演,同時應用了其導師一手開創的 Todd 函數參與計算。雖然 Atiyah 爵士對自己證明過程十分有把握,其論文也已向相關期刊投稿,但是從會前到會後,學者一直對此次證明過程存疑。而在李忠教授的證明過程中,Reich 度量是證明中最重要的部分。
  • 英國數學家證明黎曼猜想【更新】
    雷鋒網(公眾號:雷鋒網)消息,數學歷史上最重要的未解決問題之一被解決了,英國退休數學家 Michael Atiyah 周一在德國海德堡 Laureate Forum 論壇的一次演講上宣布證明了黎曼猜想(RH)。Atiyah 用一篇簡潔的 5 頁論文闡述了證明的過程,核心在於一個新的函數 T(s),這是根據他的老師 J.A.Todd 的名字 取名的一個函數。
  • Atiyah證明黎曼猜想的基本思想與價值
    作為數論學家,他在中國大陸出版有《跡公式與模形式》等專著。以下是他談Atiyah關於黎曼猜想的證明的文章,觀點專業而且獨到,轉載此文,希望大家能根據此文看到Atiyah證明黎曼猜想的基本思想與價值。 這幾天大家都非常關心Atiyah證明黎曼猜想的事情。作為一名數論工作者,我自然也非常關心,而且反覆閱讀了Atiyah的兩篇論文。
  • 難以證明又無法推翻的黎曼猜想被證明了嗎?
    德國海德堡獲獎者論壇(Heidelberg Laureate Forum)是一個由國際頂級獎項(圖靈獎、阿貝爾獎、林奈獎、菲爾茲獎)得主與青年學者交流的研討會,自 2013 年開始舉辦,頂尖學者每年齊聚一堂,相關討論在數學屆甚至整個科學界都受到廣泛關注。在這樣一個大場合,倒配得上公布黎曼猜想得證的消息。
  • 一分鐘看懂黎曼猜想及其被證明的意義
    一分鐘看懂黎曼猜想及其被證明的意義 李倩 發表於 2018-10-16 17:40:26 一分鐘看懂黎曼猜想及其被證明的意義 「黎曼猜想」 是數學界迄今最重要的猜想之一
  • 89歲數學家阿蒂亞近年戰績不佳 黎曼猜想被他證明?
    2018年9月24日,89歲的麥可·阿蒂亞在海德堡獎獲得者論壇上做關於黎曼猜想的論證。阿蒂亞當時的論證並不被看好,許多他的同事拒絕公開評論。少數願意實名點評阿蒂亞證明的數學物理學家約翰·貝茲(John Baez)說,該證明只是把一個引人注目的主張堆砌在另一個主張之上,缺乏任何關聯論證或真實的證據。麥可·阿蒂亞曾於1990年至1995年擔任英國皇家學會主席。
  • 證明「黎曼猜想」?再等等
    「用我的方法,『黎曼猜想』已經被證明了。」9月24日,89歲的英國皇家學會前主席麥可·阿蒂亞在2018海德堡獲獎者論壇上展示了他對「黎曼猜想」難題的證明結果。  結果有待商榷  阿蒂亞用「簡單」的5頁紙敘述了他的研究內容。
  • 英國數學家宣布證明黎曼猜想
    英國數學家宣布證明黎曼猜想 雷鋒網消息,數學歷史上最重要的未解決問題之一被解決了,英國退休數學家 Michael Atiyah 周一在德國海德堡 Laureate Forum 論壇的一次演講上宣布證明了黎曼猜想(RH)。
  • 困擾數學界159年的黎曼猜想被證明,會有什麼意義 |新京報專欄
    阿蒂亞能證明黎曼猜想嗎?誰能證明阿蒂亞的證明是正確的?這些問題其實都是數學界的專業問題,需要專業人員來回答。但是,既往的事實和現今的情況都註定了,迄今黎曼猜想還是一個公說公有理、婆說婆有理的無解問題。100多年來,有不少數學家提出,他們證明了黎曼猜想,但是,也總是有人指出了其中的錯誤。