黎曼猜想真被證明了?今日見分曉!你還不知道它是啥

2021-01-15 騰訊網

來源:科技日報

最近,數學界流傳著一個爆炸性的大新聞。

英國著名數學家麥可·阿蒂亞(Sir Michael Francis Atiyah)爵士宣稱用「簡單」而「全新」的方法證明了黎曼猜想,將於9月24日在2018年度海德堡獲獎者論壇上宣講。麥可·阿蒂亞是菲爾茲獎和阿貝爾獎的雙料得主,此言一出,引起不小轟動。

黎曼猜想由德國著名數學家波恩哈德·黎曼在1859年提出,在此後的159年裡,不少數學家為證明它而嘔心瀝血,但迄今並沒有令人信服的結果。

據說,美國數學家蒙哥馬利曾有這番肺腑之言:「如果有魔鬼答應讓數學家們用自己的靈魂來換取一個數學命題的證明,多數數學家想要換取的將會是黎曼猜想的證明。」 2000年,美國克萊數學研究所將黎曼猜想列為千禧年七大數學難題之一。

1929年出生的麥可·阿蒂亞今年已89歲高齡。他是否真的證明了屹立159年之久的黎曼猜想?有人相信,有人懷疑,有人說24日之後再做論斷也不遲。

無論如何,黎曼猜想到底是個什麼樣的猜想?為何會讓眾多數學家為它痴狂?科技日報記者獨家專訪了曾著有《黎曼猜想漫談》的知名科普作家盧昌海先生,和大家一起聊聊這個著名的數學難題。

科技日報:您可否用儘量簡單易懂的語言介紹一下黎曼猜想?

盧昌海:黎曼猜想是關於一個被稱為黎曼ζ函數的復變量函數的猜想。黎曼ζ函數跟許多其它函數一樣,在某些點上取值為零,那些點被稱為黎曼ζ函數的零點,其中特別重要的一部分零點被稱為非平凡零點。黎曼猜想所「猜」的是:黎曼ζ函數的所有非平凡零點都分布在複平面上一條被稱為「臨界線」的特殊直線上。

科技日報:黎曼猜想為何在數學中擁有如此重要的地位?

盧昌海:黎曼是在一篇題為「論小於給定數值的素數個數」的論文中提出黎曼猜想的,這個起源顯示了黎曼猜想的一個特點,那就是跟素數分布有著密切關係。

由於素數分布是數論中的重要課題,數論又是被德國數學家高斯稱為「數學的皇后」的重要領域,這在一定程度上奠定了黎曼猜想的重要性。

更重要的則是,黎曼猜想跟諸多數學命題有著千絲萬縷的聯繫——據統計,當今數學文獻中有1,000條以上的數學命題是以黎曼猜想或其推廣形式的成立為前提的。一個數學猜想與為數如此眾多的數學命題的命運息息相關,在數學中是絕無僅有的。

科技日報:黎曼猜想提出後,很多數學家嘗試證明它,可否簡要介紹一下其歷程?

盧昌海:數學家證明黎曼猜想的嘗試可粗分為分析與數值核驗兩大渠道。

在分析方面,最早的重要成果是將非平凡零點的分布確定到一個所謂的「臨界帶」上,這比「臨界線」弱得多,卻收穫了一個重要的「副產品」——證明了本身就懸而未決百年以上的素數定理(這種在研究過程中能收穫「副產品」的特點也是黎曼猜想重要性的組成部分)。

接下去則先是證明了有無窮多個非平凡零點分布在「臨界線」上,繼而又將那「無窮多個」具體化為百分比,目前這方面最佳的成果是證明了至少有41.28%的非平凡零點分布在「臨界線」上。

在數值核驗方面,目前的最佳成果是證實了前10萬億個非平凡零點無一例外地分布在「臨界線」上。

科技日報:黎曼猜想為何在提出159年後仍未被證明,其難度何在?

盧昌海:這個老實說我也不知道。很多世界級的數學難題之所以博得艱深之名,是從大量一流數學家的努力未果中歸納出來的,至於難度何在,往往無法道明——也許,這本身也是難度的一部分吧。

科技日報:假如黎曼猜想被證明,對數學或其他領域有何重大影響?

盧昌海:如前所述,當今數學文獻中有1,000條以上的數學命題是以黎曼猜想或其推廣形式的成立為前提的。因此,黎曼猜想及其推廣形式一旦被證明,數學中將史無前例地於「一夜間」新增1,000多條定理,這將對數學的面貌產生非同小可的影響。所有直接間接用到那些命題的領域也將程度不等地受到影響。

科技日報:最近有報導說,如果黎曼猜想被證明,現有的所有網際網路加密方式都將不太安全,是這樣嗎?

盧昌海:我不曾留意到這樣的報導。據說2005年的一部題為「頭號嫌犯」的電視連續劇中有一集的劇情宣稱了這種可能性,不知是否為報導之由來,但那只是電視連續劇。

現實地講,雖然網際網路的某些加密方式跟素數的性質有關,而黎曼猜想與素數的性質也有密切關係,但據我所知並沒有哪一種網際網路加密方式是以黎曼猜想的不成立為前提,從而會因黎曼猜想的成立而破滅的。

退一步說,哪怕有這樣的加密方式,那它的破滅與否也只是依賴於黎曼猜想的成立與否,而非證明與否——證明只是對破滅的確認,並不締造破滅的事實。

科技日報:還有報導認為,阿蒂亞爵士有可能藉助量子力學來證明或證偽黎曼猜想,您怎麼看?

盧昌海:有關阿蒂亞爵士試圖以何種手段證明或證偽黎曼猜想,我們的線索很少。在那則簡短聲明中,除「簡單」和「全新」這兩個形容詞外,就只有馮·諾依曼、希策布魯赫和狄拉克這三個人名。

三人之中,馮·諾依曼和狄拉克兩人對量子力學有過重要貢獻。另一方面,阿蒂亞爵士過去十幾年的研究頗為跨界,對粒子物理等領域投注了興趣,而量子力學的某些東西——比如狄拉克方程等——在阿蒂亞爵士所擅長的幾何領域也頗有應用。

從黎曼猜想本身來說,它所涉及的黎曼ζ函數的非平凡零點的分布跟某些特殊的量子體系確實存在著一些目前還很神秘的關聯。將這些線索綜合起來看,阿蒂亞爵士的證明嘗試與量子力學有所交疊是完全可能的。真相究竟如何呢?好在9月24日就快到了。

相關焦點

  • 世紀難題「黎曼猜想」被證明了?它究竟說了個啥?
    「黎曼猜想」究竟講了啥?果殼網有位大神Ent用簡單的語言具體闡述了黎曼猜想。我們一起來看看!首先,有一個很重要的函數,叫黎曼Zeta函數。這個函數是一個複函數,可以把它理解為有兩個變量的函數,一個叫實部,一個叫虛部。
  • 黎曼猜想被證明了嗎?
    黎曼猜想是眾多尚未解決的最重要的數學問題之一,被克雷數學研究所列為待解決的七大千禧問題,懸賞百萬美金證明或者證偽。一百年前希爾伯特就曾被問過一個問題 「假定你能死而復生,你會做什麼?」,他的回答是,「我會問黎曼猜想是否已經解決」。可見黎曼猜想多麼吸引人。
  • 難以證明又無法推翻的黎曼猜想被證明了嗎?
    難以證明又無法推翻的黎曼猜想被證明了嗎? 李倩 發表於 2018-09-25 09:47:07 困擾人類 159 年的最重要數學猜想被證明了?
  • 黎曼猜想被證明了嗎
    黎曼猜想真的被證明了嗎?這些日子,關於一個重大數學猜想的疑惑成了縈繞在很多人心頭的猜想。令人心跳加快的9月24日終於到來。宣稱已用「簡單」而「全新」的方法證明黎曼猜想的英國著名數學家麥可·阿蒂亞,在2018年度海德堡獲獎者論壇上宣講了他的相關證明。但據此下結論,黎曼猜想已被證明,恐怕為時尚早。「證明太短,直覺告訴我可能不嚴謹。」
  • 簡潔粗暴解讀黎曼猜想,及它的實用意義 說它被證明了是真的嗎?
    相反,如果黎曼猜想不被證明甚至推翻的話,那這1000多個數學命題中至少有一部分將會不可避免地『陣亡』。一個數學猜想牽一髮而動全身,與這麼多的數學命題緊密關聯,在數學中是獨一無二,所以聽說它被證明了,大家都激動了。誰要能證明黎曼猜想,那真可謂是功成名就,一下就有了花不完的錢。
  • 黎曼猜想被證明了!
    AI WORLD 2018世界人工智慧峰會開場視頻黎曼猜想被證明了!黎曼猜想之所以重要,主要是因為在現代數學中,有很多深入和重要的數學、物理結果都能在它成立的前提下得到證明。如今,大部分的數學家都傾向於相信黎曼猜想是正確的。
  • 一場天才的證明遊戲:「黎曼猜想」被證明了嗎
    「黎曼猜想所『猜』的是:黎曼ζ函數的所有非平凡零點都分布在複平面上一條被稱為『臨界線』的特殊直線上。」盧昌海說。理解黎曼猜想本身就具有一定難度。正如中科院院士王元所言,黎曼猜想不像費馬大定理和哥德巴赫猜想那樣,只要有中小學數學知識的人,就知道其題意。
  • 159年沒被解決的黎曼猜想「被證明」了?它究竟說了啥?
    虎嗅註:近日,菲爾茲獎和阿貝爾獎雙料得主阿蒂亞爵士聲明證明了久負盛名的黎曼猜想,引起了廣泛關注。阿蒂亞爵士的證明是否靠譜還有待數學界的確定,但是作為數學界最重要的猜想,黎曼猜想到底說了什麼?又對世界有怎樣的意義?
  • 數學家為什麼揪住質數幾千年不放手?黎曼猜想被證明了又如何?
    一個大於1的自然數,除了1和它本身外,不能被其他自然數整除。換句話說就是該數除了1和它本身以外不再有其他的因素,否則稱為合數。沒有接觸過高數的人可能很難理解,就是這個看似簡單的素數,幾千年來被無數的數學家揪住不放手,更有一些著名的大數學家沉迷其中不能自拔,我國數學家陳景潤就是一個例證。那麼,看似簡單的素數到底有何魔力?
  • 黎曼猜想被證明了?很可能只是逗大家玩-數學,黎曼猜想 ——快科技...
    這樣的結果並不是我們熟悉的1+1=2那樣的算數和,它只是揭示了等號左邊和右邊的式子有某種我們還不完全理解聯繫。另一些零點就沒那麼普通了(非平凡零點),它們是複數,而且有耐人尋味的分布規律。圖源3blue1brown大家應該還聽說過黎曼函數揭示了素數的精細分布規律,限於本文作者學識有限這裡暫不介紹,有興趣的同學歡迎自行百度盧昌海的《黎曼猜想漫談》。黎曼猜想證明的進度黎曼的這篇論文發表於1859年。當時的數學家不怎麼喜歡發論文,他們發表的成果只是自己所有研究中的經過深思熟慮、有充足的論據支撐的一小部分。
  • 哥德巴赫猜想被證明了
    前幾天,知乎上突然搞出了個爆炸性新聞:一個高中生宣稱自己證明了哥德巴赫猜想。啥是哥德巴赫猜想?我們先從差不多是所有碰到數學系的人都會問的一個問題說起:你們學數學的為什麼要證明1+1=2?這不是吃飽了撐得麼?哭笑不得。事實上,哥德巴赫猜想作為最古老的懸而未決的數學猜想之一已經在這個世界上存在了200多年。
  • 數學界將出大事,黎曼猜想已被證明,9月24日見分曉
    吃瓜網紅超模君默默地數著日曆,等待9月24日的到來,這應該就是黎曼猜想的魅力。就連希爾伯特都對黎曼猜想垂涎欲滴:「如果我沉睡一千年然後醒過來,第一個問題就是黎曼猜想是證明還是證偽了」。黎曼猜想究竟是個什麼問題?黎曼猜想是由德國著名數學家波恩哈德·黎曼所提出。在1859年,黎曼對外發表了一篇關於素數分布的論文。
  • 黎曼猜想到底是個啥?反正看完文章我還是不懂
    阿蒂亞說,他自己覺得算是已經證明了黎曼猜想,不過如果你堅決不接受反證法的話……當然,阿蒂亞也表示這個證明現在還不完整,接下來還有很多後續問題要解,今天只是萬裡長徵的第一步,不過,第一步也應該算是問題的一個解。他說:「我可以退休了。」第二位提問觀眾關心論文什麼時候發表,好檢驗一下這個證明。
  • 如何讓全球銀行都破產,你只需要攻克黎曼猜想
    有人問過希爾伯特一個問題,說:「如果你沉睡了幾百年,然後醒過來,你想幹什麼?」希爾伯特說,「我想問問有人把黎曼猜想證出來了嗎?我太想知道了」。如何讓全球銀行破產,是全球經濟大蕭條,還是戰爭摧毀了文明?都不是,你只需要破解黎曼猜想。
  • 黎曼猜想被證明了?很可能只是逗大家玩
    這樣的結果並不是我們熟悉的1+1=2那樣的算數和,它只是揭示了等號左邊和右邊的式子有某種我們還不完全理解聯繫。另一些零點就沒那麼普通了(非平凡零點),它們是複數,而且有耐人尋味的分布規律。它彎彎曲曲無數次穿過了函數值為0的點——通過圖像我們也可以直觀猜測黎曼函數有無窮多個非平凡零點在Re(ρ)=1/2的直線上。圖源3blue1brown大家應該還聽說過黎曼函數揭示了素數的精細分布規律,限於本文作者學識有限這裡暫不介紹,有興趣的同學歡迎自行百度盧昌海的《黎曼猜想漫談》。
  • 黎曼猜想:證明它,你將會不朽;否定它,後果很嚴重!
    他聲稱自己證明了久負盛名的黎曼猜想(又稱黎曼假設)。 一個傳說 不知從何時起,一個傳說悄然出現——誰若能證明黎曼猜想,誰將會不朽——不僅是抽象意義上的永垂青史,而且有實際意義上的長生不老!阿蒂亞爵士現年89歲,看上去正是這一傳說的佐證。 另一個佐證來自兩位數學家阿達馬和瓦萊·普桑。
  • 今日全球聚焦海德堡,數學地震之際專家細說黎曼猜想
    不服輸的美國克雷數學研究所,又於2000年,仍在巴黎發起了一個數學會議,決定延長考試時間,繼續把黎曼猜想作為「最為重要的7個數學難題之一」,並且還咬牙切齒地發誓說:解決黎曼猜想者,將獲巨獎。比如,咬住黎曼猜想不放的美國數學家納什,真的精神分裂了;幸好後來在賢妻的照顧下終於康復,還獲得了諾貝爾獎,並成為經典電影《美麗心靈》的男一號。98歲的數學家哈達瑪和96歲的數學家普森,為了想解決黎曼猜想,甚至都幽默地表示「不敢死」。
  • 一文讀懂「黎曼猜想」
    在此之前,人們甚至不知道零點的個數是否有限,而哈代的結果則是直接告訴人們,零點的個數不僅是無窮的,而且還有無窮多個零點都位於這條臨界線上。但是遺憾的是,人們並不知道臨界線外是否存在非平凡零點。 隨後,挪威數學家塞爾伯格(Selberg)證明了臨界線上的零點個數佔全部非平凡零點個數的比例大於零,這意味著臨界線上的零點在全部零點的分布中舉足輕重。
  • 黎曼猜想有多難 - CSDN
    而最後這個命題,就是讓後世數學家如痴如醉且寢食難安的黎曼猜想。有人曾經問希爾伯特,如果500年後能重回人間,他最希望了解的事情是什麼?希爾伯特回答說:我想知道,黎曼猜想解決了沒有。在此之前,人們甚至不知道零點的個數是否有限,而哈代的結果則是直接告訴人們,零點的個數不僅是無窮的,而且還有無窮多個零點都位於這條臨界線上。但是遺憾的是,人們並不知道臨界線外是否存在非平凡零點。
  • 數學家麥可·阿蒂亞資料經歷 黎曼猜想真的被證明了嗎?
    耄耋之年挑戰高峰的勇士  一個是89歲高齡的麥可·阿蒂亞,一個是屹立了159年之久的黎曼猜想。這場對決本身就充滿懸念。  阿蒂亞在數學領域成就卓著。上世紀60年代,阿蒂亞與另一位著名數學家伊薩多·辛格合作,證明了阿蒂亞—辛格指標定理。1966年阿蒂亞榮獲菲爾茲獎,2004年他與辛格共同摘得阿貝爾獎。