-
數(shù)學(xué)界大地震?英國(guó)89歲數(shù)學(xué)家阿蒂亞公開(kāi)黎曼猜想證明過(guò)程
關(guān)鍵字: 邁克爾·阿蒂亞Michael Atiyah黎曼黎曼猜想海德堡論壇【觀察者網(wǎng) 綜合報(bào)道】
黎曼是歷史上最具想象力的一位數(shù)學(xué)家。他提出的黎曼猜想是數(shù)學(xué)史上最偉大的猜想之一,也是最艱難的題目之一。在過(guò)去150多年里,黎曼猜想從未被人證實(shí),以至于被列入千年問(wèn)題表。
就在剛剛,當(dāng)?shù)貢r(shí)間9月24日上午9時(shí)45分(北京時(shí)間9月24日下午15時(shí)45分),現(xiàn)年89歲的英國(guó)著名數(shù)學(xué)家邁克爾·阿蒂亞(Michael Atiyah,1929年4月生人)登上了海德堡論壇,開(kāi)始了他的演講——黎曼猜想。此前,這位菲爾茲獎(jiǎng)和阿貝爾獎(jiǎng)的雙料得主宣布,已證明世紀(jì)難題黎曼猜想。就在演講前,網(wǎng)傳一份證明黎曼假設(shè)(猜想)的的5頁(yè)預(yù)印本被人貼出。
DeepTech深科技刊文稱(chēng),從這次會(huì)議來(lái)看,阿蒂亞實(shí)際上并沒(méi)有完全給出黎曼猜想的證明,他的工作似乎集中在試圖推導(dǎo)出精細(xì)結(jié)構(gòu)常數(shù)上,而證明黎曼猜想只是個(gè)意外的驚喜。無(wú)論結(jié)果如何,阿蒂亞的演講引發(fā)了一次空前的科普盛世,推動(dòng)分支學(xué)科進(jìn)行更深入的交叉。
邁克爾·阿蒂亞做演講,圖片來(lái)源見(jiàn)水印
黎曼猜想及其被證明的意義
微信公號(hào)“新智元”刊文稱(chēng),“黎曼猜想”是數(shù)學(xué)界迄今最重要的猜想之一,被克雷數(shù)學(xué)研究所列為“有待解決的七大千禧問(wèn)題”,并懸賞100萬(wàn)美元給第一個(gè)提供證明或證偽的人。
黎曼猜想之所以重要,主要是因?yàn)樵诂F(xiàn)代數(shù)學(xué)中,有很多深入和重要的數(shù)學(xué)、物理結(jié)果都能在它成立的前提下得到證明。如今,大部分的數(shù)學(xué)家都傾向于相信黎曼猜想是正確的。
因此,如果黎曼猜想被證明,大家都松了一口氣,我們得到了一項(xiàng)很好的數(shù)學(xué)工具;但是,如果黎曼猜想被證偽,那很多數(shù)學(xué)、物理結(jié)果都得推翻重來(lái)。
黎曼猜想最初于 1859 年由德國(guó)數(shù)學(xué)家波恩哈德·黎曼提出。當(dāng)時(shí),黎曼在向柏林科學(xué)院提交的一篇短論文(共八頁(yè)),討論了素?cái)?shù)(也稱(chēng)質(zhì)數(shù))分布的問(wèn)題。
素?cái)?shù)是除了1和自身以外不能被其他正整數(shù)整除的數(shù)。素?cái)?shù)分布在數(shù)論中有很重要的地位,相當(dāng)于原子概念在現(xiàn)代物理學(xué)中的地位。黎曼發(fā)現(xiàn),素?cái)?shù)在自然數(shù)中的分布并不是毫無(wú)規(guī)律可循,而是其分布與黎曼ζ函數(shù)緊密相關(guān)。
黎曼 ζ 函數(shù)
黎曼將該函數(shù)解析延拓至整個(gè)復(fù)平面,并指出:黎曼ζ函數(shù)的非平凡零點(diǎn)(是指 s 不為-2、-4、-6???等點(diǎn)的值,這些都是平凡零點(diǎn))的實(shí)數(shù)部分都是 1/2。
簡(jiǎn)單說(shuō),就是根據(jù)一個(gè)重要的數(shù)學(xué)公式,能夠畫(huà)出無(wú)窮多個(gè)點(diǎn)。黎曼猜測(cè)說(shuō),這些點(diǎn)有一定的排列規(guī)律,一部分在一條橫線(xiàn)上,另一部分則在一條豎線(xiàn)上,所有這些點(diǎn)都在這兩條直線(xiàn)上排列,無(wú)一例外。
由于這些點(diǎn)有無(wú)窮多個(gè),所以理論上是沒(méi)有辦法證明是不是所有的點(diǎn)都在這兩條線(xiàn)上,因?yàn)橛肋h(yuǎn)也驗(yàn)證不完。
但是,只要找到了一個(gè)點(diǎn)不在線(xiàn)上,那就推翻了黎曼猜想。
現(xiàn)在,數(shù)學(xué)家使用計(jì)算機(jī),已經(jīng)驗(yàn)證了最初的15億個(gè)這樣的點(diǎn),全都符合黎曼猜想的排列規(guī)律。不過(guò),至今尚無(wú)人給出完整的理論證明。
因此,3天前,2018年的德國(guó)海德堡獲獎(jiǎng)?wù)哒搲粘坦?,阿蒂亞將?huì)做一場(chǎng)關(guān)于 “證明黎曼猜想”的報(bào)告的消息便迅速傳遍世界,無(wú)論是數(shù)學(xué)、物理還是計(jì)算機(jī),甚至完全不相干的各路吃瓜群眾,全都開(kāi)始關(guān)注這一焦點(diǎn)。
值得注意的是,有傳聞稱(chēng),黎曼猜想被證明對(duì)互聯(lián)網(wǎng)的安全加密方式將造成相當(dāng)?shù)挠绊?,故而備受關(guān)注。DeepTech深科技刊文稱(chēng),
在實(shí)際運(yùn)用中,質(zhì)數(shù)可以在密碼學(xué)、安全認(rèn)證等領(lǐng)域發(fā)揮作用。如現(xiàn)通用的 RSA 加密算法,加密計(jì)算的第一步是產(chǎn)生兩個(gè)大質(zhì)數(shù),對(duì)極大整數(shù)做因數(shù)分解的難度決定了加密的可靠性。故尋找大質(zhì)數(shù)、探尋質(zhì)數(shù)分布的規(guī)律,一直是數(shù)學(xué)界關(guān)注的問(wèn)題。
然而,《科技日?qǐng)?bào)》援引《黎曼猜想漫談》的知名科普作家盧昌海先生的話(huà)說(shuō),據(jù)他所知,并沒(méi)有哪一種互聯(lián)網(wǎng)加密方式是以黎曼猜想的不成立為前提。
盧昌海:我不曾留意到這樣的報(bào)道。據(jù)說(shuō)2005年的一部題為“頭號(hào)嫌犯”的電視連續(xù)劇中有一集的劇情宣稱(chēng)了這種可能性,不知是否為報(bào)道之由來(lái),但那只是電視連續(xù)劇。
現(xiàn)實(shí)地講,雖然互聯(lián)網(wǎng)的某些加密方式跟素?cái)?shù)的性質(zhì)有關(guān),而黎曼猜想與素?cái)?shù)的性質(zhì)也有密切關(guān)系,但據(jù)我所知并沒(méi)有哪一種互聯(lián)網(wǎng)加密方式是以黎曼猜想的不成立為前提,從而會(huì)因黎曼猜想的成立而破滅的。
退一步說(shuō),哪怕有這樣的加密方式,那它的破滅與否也只是依賴(lài)于黎曼猜想的成立與否,而非證明與否——證明只是對(duì)破滅的確認(rèn),并不締造破滅的事實(shí)。
同樣,對(duì)基于密碼學(xué)的區(qū)塊鏈技術(shù)領(lǐng)域,沒(méi)有直接影響。業(yè)內(nèi)人士指出,黎曼猜想被證明或證偽,都只是指出了素?cái)?shù)的分布范圍,是A規(guī)律、或是B規(guī)律,但對(duì)密碼學(xué)相關(guān)的素?cái)?shù)分解沒(méi)有任何幫助。
受影響的,是數(shù)學(xué)和物理學(xué)的基礎(chǔ)研究者,如幾何、弦論……等等。
160年未解之謎
微信公號(hào)“新智元”刊文稱(chēng),在過(guò)去的很長(zhǎng)一段時(shí)間里,曾有許多人提出已經(jīng)解決了黎曼假設(shè),但是他們的證明都被指出存在失誤。由于有這些先例,因此很多人對(duì)阿蒂亞的宣告持懷疑態(tài)度,甚至有數(shù)學(xué)家表示:“我的心都在經(jīng)歷過(guò)如此突然的興奮和絕望之間的跳躍?!?
作為當(dāng)代著名數(shù)學(xué)家,阿蒂亞很清楚這種失敗的歷史,他說(shuō):“沒(méi)有人相信任何關(guān)于黎曼假設(shè)的證據(jù),更不用說(shuō)90歲的人證明?!钡M难葜v能說(shuō)服他的批評(píng)者?!叭藗兂Uf(shuō) ‘?dāng)?shù)學(xué)家都是在他們40歲之前就把最好的工作做出來(lái)了’,”阿蒂亞說(shuō),“我想告訴他們,他們都錯(cuò)了。我90歲的時(shí)候也能做點(diǎn)什么?!?
據(jù)了解,阿蒂亞主要研究領(lǐng)是幾何。他最重要的工作是在上世紀(jì)六七十年代完成,并于1966年獲得4年頒發(fā)一次的數(shù)學(xué)界最高獎(jiǎng)菲爾茲獎(jiǎng)。他在1990-1995年擔(dān)任英國(guó)皇家學(xué)會(huì)主席。
不過(guò),作為一位年近九旬的科學(xué)家,他仍然活躍在學(xué)術(shù)前沿,并時(shí)常有驚人之舉,2016 年他因?yàn)榻o出一個(gè) “6維球面上不存在復(fù)結(jié)構(gòu)” 的證明被質(zhì)疑而頗具爭(zhēng)議。
新科學(xué)家網(wǎng)站(NewScientist)報(bào)道,此次阿蒂亞展示他所稱(chēng)的黎曼假設(shè)的“簡(jiǎn)單證據(jù)”,這是近160年來(lái)數(shù)學(xué)家未曾遇到過(guò)的問(wèn)題。
報(bào)道截圖
根據(jù)阿蒂亞事先提供的演講摘要:“黎曼猜想是1859年提出的著名問(wèn)題,至今懸而未決。我會(huì)基于馮·諾依曼(1936)、希策布魯克(1954)和狄拉克(1928)的相關(guān)工作,給出一個(gè)使用全新方法的簡(jiǎn)潔證明?!?
目前,相關(guān)論文預(yù)印版已經(jīng)公開(kāi)(雖然署名阿蒂亞,但目前還不能證實(shí)是否出自本人之手),單從長(zhǎng)度看,確實(shí)擔(dān)得上“簡(jiǎn)潔”,一共只有5頁(yè)。
不過(guò),據(jù)前沿科技媒體“機(jī)器之心”指出,這份在大會(huì)開(kāi)幕前貼出的預(yù)印本論文,只查到出自數(shù)小時(shí)前Reddit上的一篇討論,未能確認(rèn)其出處與權(quán)威性。而且最原始的發(fā)件人并非阿蒂亞,而是一個(gè)說(shuō)到自己說(shuō)收到了阿蒂亞的郵件的人所發(fā)。目前,阿蒂亞的演講直播已經(jīng)結(jié)束,仍未有消息確定此論文的準(zhǔn)確來(lái)源。(后附語(yǔ)印本論文)
從論文摘要中可以看到,作者希望理解量子力學(xué)中的無(wú)量綱常數(shù)——精細(xì)結(jié)構(gòu)常數(shù),并將此過(guò)程中發(fā)展出來(lái)的數(shù)學(xué)方法用于理解黎曼猜想。
“如果能確認(rèn)黎曼假設(shè)的解決方案,那將是一個(gè)重大新聞,”新科學(xué)家網(wǎng)站稱(chēng),除其他外,假設(shè)與素?cái)?shù)的分布密切相關(guān)。而素?cái)?shù)是指除自身和1之外,任何整數(shù)都不可分割的數(shù)。如果這個(gè)假設(shè)被證明是正確的,那么數(shù)學(xué)家就可以獲得所有這些素?cái)?shù)位置的地圖,這是一個(gè)在該領(lǐng)域具有深遠(yuǎn)影響的突破。
對(duì)此,新科學(xué)家網(wǎng)聯(lián)系了一些數(shù)學(xué)家對(duì)聲稱(chēng)的證據(jù)進(jìn)行評(píng)論,但他們都拒絕評(píng)價(jià)。
今天的演講
科技媒體機(jī)器之心刊文介紹了阿蒂亞下午的演講:
演講現(xiàn)場(chǎng)
- 請(qǐng)支持獨(dú)立網(wǎng)站,轉(zhuǎn)發(fā)請(qǐng)注明本文鏈接:
- 責(zé)任編輯:奕含
- 最后更新: 2018-09-24 20:00:38
-
蘋(píng)果A12已上市 華為:麒麟980絕對(duì)超過(guò)它
2018-09-24 14:58 科技前沿 -
凈利潤(rùn)暴漲1.8倍!高價(jià)內(nèi)存讓美光成美國(guó)第二大半導(dǎo)體企業(yè)
2018-09-24 14:34 科技前沿 -
BAT霸市、獨(dú)角獸兩難、小公司將死:人工智能如何打破僵局?
2018-09-24 14:27 人工智能 -
日本隼鳥(niǎo)2號(hào)探測(cè)器成功著陸小行星
2018-09-24 10:45 航空航天 -
諾貝爾物理學(xué)獎(jiǎng)得主高錕逝世 光纖理論曾被嘲“癡人說(shuō)夢(mèng)”
2018-09-23 19:03 -
“國(guó)內(nèi)對(duì)中國(guó)科學(xué)家貢獻(xiàn)的記載工作一塌糊涂”
2018-09-23 15:32 科技前沿 -
美媒:中國(guó)用科幻小說(shuō)刺激科學(xué)熱情
2018-09-23 00:05 三體 -
阿里平頭哥與紫光虎賁,兩個(gè)后發(fā)玩家如何實(shí)現(xiàn)他們的野心?
2018-09-21 21:51 -
華為中興在全球多國(guó)遭冷遇 中國(guó)企業(yè)如何熬過(guò)5G最冷前夜
2018-09-21 20:25 -
科大訊飛回應(yīng)同傳造假:人機(jī)耦合才是未來(lái)發(fā)展之道
2018-09-21 15:20 人工智能 -
切開(kāi)不發(fā)黑 這種轉(zhuǎn)基因蘋(píng)果美國(guó)已種超100萬(wàn)棵
2018-09-21 10:21 轉(zhuǎn)基因 -
董明珠工博會(huì)演講:企業(yè)家必須心中裝著國(guó)家的尊嚴(yán)
2018-09-21 09:07 -
阿里云啟動(dòng)“達(dá)爾文計(jì)劃” 與四大廣電系達(dá)成IoT合作
2018-09-20 21:36 大公司 -
英國(guó)衛(wèi)星清理太空垃圾,用的是這
2018-09-20 17:01 科技前沿 -
“高鐵院士”王夢(mèng)恕去世 享年80歲
2018-09-20 16:36 高鐵世紀(jì) -
C919大飛機(jī)終于有國(guó)產(chǎn)起落架
2018-09-20 13:30 科技前沿 -
業(yè)務(wù)份額被快速擠占,廣電企業(yè)或被迫向運(yùn)營(yíng)商靠攏
2018-09-20 12:56 -
-
進(jìn)擊的美團(tuán)會(huì)是下一個(gè)BAT嗎?
2018-09-20 10:19 IT新浪潮 -
中科院:已助“一帶一路”沿線(xiàn)10個(gè)國(guó)家建虛擬地面站
2018-09-20 09:53 一帶一路
相關(guān)推薦 -
美國(guó)放風(fēng):伊朗有動(dòng)作了 評(píng)論 34靠萬(wàn)斯“決勝一票”,“大而美”法案驚險(xiǎn)闖關(guān)參議院 評(píng)論 156電氣化已落后亞洲,“大而美”法案或令美國(guó)雪上加霜 評(píng)論 72為什么這支國(guó)足被普遍看好? 評(píng)論 95被批評(píng)“過(guò)于親近中國(guó)”,澳總理這樣回應(yīng) 評(píng)論 83最新聞 Hot
-
好一個(gè)“舉賢不避親”,特朗普推薦兒媳參選
-
開(kāi)庭前妻子墜樓身亡,柯文哲前副手痛哭:臺(tái)灣怎么變成這樣
-
美國(guó)放風(fēng):伊朗有動(dòng)作了
-
“中方正考慮邀請(qǐng)李在明出席”
-
“中國(guó)洋垃圾禁令震動(dòng)全球”,馬來(lái)西亞也跟了
-
靠萬(wàn)斯“決勝一票”,“大而美”法案驚險(xiǎn)闖關(guān)參議院
-
白宮官員:沒(méi)人在乎馬斯克說(shuō)了什么
-
日澳印各懷心事,魯比奧還想著中國(guó):別談了,得干實(shí)事,搞礦!
-
三年來(lái)首次,普京與馬克龍通話(huà)
-
“我會(huì)給日本寫(xiě)信感謝他們,給他們加關(guān)稅”
-
特朗普:奧巴馬糟糕小布什低分,拜登史上最差,而我…
-
美財(cái)長(zhǎng):中國(guó)加快稀土出口吧,回到過(guò)去
-
“《新華字典》例句稱(chēng)小孩是累贅”再引爭(zhēng)議,多方回應(yīng)
-
英國(guó)樂(lè)隊(duì)在音樂(lè)節(jié)上高喊“以軍去死”,英美都“炸”了
-
多地宣布“解禁”中華田園犬
-
內(nèi)塔尼亞胡證實(shí)下周訪(fǎng)美,除了特朗普還要見(jiàn)他們
快訊- 暴雨洪澇致有群眾失聯(lián),河南省委書(shū)記部署,常務(wù)副省長(zhǎng)帶隊(duì)赴現(xiàn)場(chǎng)
- 國(guó)臺(tái)辦:“為臺(tái)澎金馬而戰(zhàn)”?賴(lài)清德不惜將無(wú)辜民眾綁上“臺(tái)獨(dú)”戰(zhàn)車(chē)
- 旅客自棄的充電寶如何處理?國(guó)際航班要查嗎?上海機(jī)場(chǎng)集團(tuán)回應(yīng)
- 谷歌因?yàn)E用安卓手機(jī)數(shù)據(jù)被判賠22億
- “中方正考慮邀請(qǐng)李在明出席”
- 以“高志凱線(xiàn)”為中印邊界?高志凱回應(yīng)
- 秦始皇遣使采藥昆侖石刻陷爭(zhēng)議,首次提出者回應(yīng)
- 京津冀一周觀察 | 北京昌平救援驢友將追繳費(fèi)用;河北生育津貼直發(fā)給個(gè)人
-