答案看完需10億年——美英數學家攻克世界難題

2021-01-16 高數君

 

擊上方高數君可加關注

帶你一起學習高數,複習考研數學


       美國和英國三個數學家日前對一道35年來懸而未決的數學難題提出解答,獲得當初提出這個問題的數學家提供的100美元賞金,可是要證明這個解答本身就造成問題,因為要把它全部讀完得花10億年功夫。

 


 

「布爾畢氏三元數問題」(Boolean Pythagorean Triples)是藍西理論(Ramsey Theory)範疇一個長久未能解決的謎題。1980年代提出這個問題的美國數學家格拉漢姆(Ronald Graham),為此懸賞徵求解答。來自德州大學、肯塔基大學和英國斯旺西大學的三名數學家表示他們利用分塊攻克策略(Cube-and-Conquer)這種混合性的可滿足性測試方法,解答及證明了布爾畢氏三元數問題。

不過,他們承認要證明他們的解答很難,因為在德州先進運算中心超級計算機協助下產生的證明文件,大小達到200TB,相當於美國國會圖書館所有數碼資料的總和,這也是人類迄今得到的最「長」的一個數學「證明」。

這個數學問題本身似乎很簡單:能否將正整數(例如1、2、3)染成藍色或紅色,並使滿足勾股定理(A的平方+B的平方=C的平方)的任何數字系列不全是同一種顏色。例如,3的平方加4的平方=5的平方;如3和4是紅色,5就得是藍色,不能三個數字全是藍色或紅色。

證明顯示一直到7824這個數字為止,這種染色方式是可能的,可是超過這個數字就不行。超級計算機足足跑了兩天才得到這種證明。

 

 

 

本文來源:聯合新聞網。


來源網絡僅供參考,如有侵權請私信刪除。投稿合作請私信。

推薦公眾號,有需要的同學可以關注一下


數學建模

簡介:介紹數學建模和編程算法知識。長按下方二維碼關注



相關焦點

  • 美英數學家攻克難題 證明過程若看完需10億年
    掃描到手機,看更多國搜資訊 您可以用手機或平板電腦的二維碼應用拍下左側二維碼,您可以在手機國搜客戶端繼續瀏覽本文,並可以分享給你的好友
  • 美英數學家攻克世界難題 證明過程若看完需10億年
    【環球網留學綜合報導】據臺灣「聯合新聞網」7月11日報導,美國和英國三個數學家日前對一道35年來懸而未決的數學難題提出解答,獲得當初提出這個問題的數學家提供的100美元賞金,可是要證明這個解答本身就造成問題,因為要把它全部讀完得花10億年功夫。
  • 最長數學證明破解世界難題:看完需要100億年
    上世紀80年代,美國數學家羅伯特-格拉漢姆懸賞100美元,請數學愛好者幫助他解決一個數學難題,這道數學難題困擾了格拉漢姆很長時間。三十多年來,一直未能有人拿出破解方案前來領賞。近日,一個由美英兩國三位數學家組成的研究團隊宣稱他們應該得到這筆獎金。
  • 攻克世界數學難題 華裔數學家張益唐:已有新方向
    中新網10月16日電 據美國《世界日報》報導,北京大學北美校友大會14日舉行,作為北京大學校友,四年前榮獲麥克阿瑟獎(MacArther Award)的美國華裔數學家張益唐受邀參加。美國華裔數學家張益唐,受邀參加2018北京大學北美校友大會。
  • 數學家陳景潤,曾攻克世界頂尖數學難題,教子方法與眾不同
    陳景潤是我國著名的數學家,中國科學院院士。1973年,他把200多年未能解決的世界頂尖數學難題——哥德巴赫猜想證明推進了一步,引起世界巨大轟動,為中國贏得了榮譽。他的證明方法在國際數學界稱為「陳氏定理」。
  • 美國斥資6400億或將打水漂!難倒各國的難題,卻被中國攻克
    眾所周知,中國經過多年的努力,取得了很多傑出的成就,雖然早期的時候,西方各國採取技術壟斷的方式,也讓我們遇到了很多的難題,隨著我國不斷努力之後,也陸續打破了很多技術壟斷,也讓世界各國對我國刮目相看。而在這次,美國斥資6400億來攻克一個技術,儘管研究了多年依舊沒有進展,經過多年的時間積累,難道世界各國的難題,卻被中國攻克了。核電站的重要性如今,電力對一個國家而言十分重要,一旦電力無法得到保障,居民的生活和很多工廠都會受到影響,甚至也會降低降級發展。正是因為如此,很多國家都在研發一些高效率的發電方式,其中核電站就是如此。
  • 數學家破解困擾了人們64年的數學難題
    北京時間4月9日消息,據國外媒體報導,英國一位數學家最新破解了困擾人們64年的一道數學難題:33如何用3個立方數字之和表達。
  • 世界三大數學難題之一:任何地圖只用四種顏色就能區分不同國家
    你一定見過地圖,可是你一定不知道,在數學領域還有一個關於地圖的世界難題呢!這就是著名的四色猜想問題。四色猜想是世界三大數學難題之一,是很多數學家都樂於鑽研的問題。四色猜想包含了很多數學規律和相關知識,使得這個數學難題擁有無與倫比的獨特魅力。
  • 哈薩克數學家解決了七大數學千年難題之一
    人民網莫斯科1月10電(記者劉旭)據俄媒體報導,哈薩克斯坦數學家穆赫塔而巴伊·奧傑爾巴耶夫解決了七大數學千年難題之一——納威爾-斯託克斯方程。為此他或獲得百萬美元的獎勵。但只有數學界承認他所解的答案正確之後,他才能領到這筆巨款。 數學家穆赫塔而巴伊·奧傑爾巴耶夫1942年生於哈薩克斯坦熱姆貝拉省的一個農民家庭裡。
  • 中國青年教師攻克世界流體力學難題
    瑞士數學家、物理學家歐拉(Euler)和法國數學家、物理學家拉格朗日(Lagrange)的研究,被後世稱為流體運動學的歐氏描述和拉氏描述。遺憾的是,這兩種描述無法給出流體質點位置與時刻之間的顯函數關係,即無法追蹤流體質點。
  • 我國再次攻克世界難題
    我們國家再次攻克世界難題,我國的各項領域實現了突破!這次是繼美俄後第三個掌握此技術的國家。隨著我國家的經濟發展,我們國家在很多領域上也取得了巨大的成就。而在中國剛成立不久的時候,在發展的過程中是極為艱苦的。在很多西方國家為了技術打壓制我國,西方國家他們就對我國實行了技術封鎖導致我們國家在技術的過程中吃了不少苦頭走了不少的彎路。
  • 90後大四學生「破解」60年未解世界數學難題—新聞—科學網
    他啟發了我對數學的熱愛,他告訴我數學永遠不止一個正確答案。正是有了李老師的引導,讓我對數學產生了深厚的興趣,第一次感覺這些數字的世界是如此的博大精深和絢麗多彩。」 但是在升初三那一年,王驍威的數學考砸了。「當時我的數學成績還是全班第一,但無論是對比級裡的最好成績還是我自己的設想都仍有一段距離。」這讓他深深地感到愧對李老師,為此王驍威才下決心在數學上苦下工夫。
  • 頂級數學家有多厲害?解決世界級數學難題,放棄巨額獎金選擇平淡
    千禧年七大難題,是克萊研究所在2000年時選出的7個難題,並且針對這些難題做出了懸賞,只要有數學家解決任何一個難題,就可以獲得100萬美金的獎勵,為什麼數學界要針對這些難題進行懸賞呢?截至目前,七大難題只被解決了一個,就是佩雷爾曼解決的龐加萊猜想,其他的難題仍然困擾著全世界的科學家,從這裡大家應該就可以看出來,佩雷爾曼是一位不折不扣的「天才」,大家可能會認為,佩雷爾曼解決了這個難題,拿了獎金之後就會「走上人生巔峰」,可是事實並不是這樣,佩雷爾曼甚至都沒有去領獎,完全不在乎這100萬美金的獎勵和聲望
  • 馬雲和數學家,給我們出了什麼難題?
    2018年秋天,馬雲邀請11位國內外知名數學家到杭州,聊了一個半小時數學。來自中國、英國、俄羅斯、比利時、匈牙利等國的頂級數學家圍坐在一起,他們討論的主題是——數學有用嗎?「我參加高考第一次數學考了1分,這個考1分給社會上帶來很多誤解,馬雲數學那麼差還能夠成功,可能不需要數學。
  • 攻克世界數學難題的中學教師——陸家羲
    這位包九中普普通通的中學物理老師,從1957年開始潛心鑽研組合數學26年,解開了「柯克曼女生問題」、「斯坦納系列」這個世界組合數學設計中130多年未曾解決的難題。陸家羲1935年出生於上海。5歲開始讀小學,初中畢業後,因家境貧苦輟學。在哈爾濱電機廠工作期間,他自學了高中全部課程,1957年考入吉林師範大學。
  • 【學術風暴】從黎曼猜想看數學難題的前生今世
    從黎曼猜想看數學難題的前生今世上一期學術君帶大家了解了世界級數學難題黎曼猜想以及阿蒂亞爵士證明黎曼猜想的事件始末。今天,繼續和學術君一起來透過黎曼猜想,看一看歷史上那些名聲斐然的數學猜想吧!1742年6月7日,德國數學家哥德巴赫在寫給著名數學家歐拉的一封信中,提出了兩個大膽的猜想:一、任何不小於6的偶數,都是兩個奇質數之和;二、任何不小於9的奇數,都是三個奇質數之和。這就是數學史上著名的「哥德巴赫猜想」。歐拉在給哥德巴赫的回信中,明確表示他深信哥德巴赫的這兩個猜想都是正確的定理。
  • 俄羅斯數學家有望解開"世界七大數學難題"之一
    「龐加萊猜想」是數學界赫赫有名的「七大難題」之一,多年來,無數科學家為之而絞盡腦汁。到目前為止,數學界多位大師級人物一致認為,只有俄羅斯著名數學家格裡戈裡·佩雷爾曼的研究報告可能是正確的,佩雷爾曼因而很有希望獲得總數為100萬美元的大獎。然而這位「高人」似乎對獎金沒什麼興趣,他已經明確表示即便他真的破解了這個數學難題,也絕對不會領一分錢。
  • 世界三大數學難題之一:哥德巴赫猜想——我國數學家有建樹。
    哥德巴赫猜想是近代世界三大數學難題之一,它的魅力在於徵服了世界所有的數學家,很多數學家一生都在致力於破解這個難題。1742年,哥德巴赫給著名數學家歐拉寫了一封信,哥德巴赫在信中提出了這樣一個猜想:任意一個大於2的整數都可以寫成三個質數之和。
  • 中國數學家破解了著名數學難題
    八月15日從浙江大學獲悉,世界著名數學難題「法伯相交數猜想」被浙江大學數學中心劉克峰教授和他的博士生徐浩成功證明,著名華裔數學家丘成桐日前在浙大向他們表示祝賀。 「浙大數學中心解決了這個著名世界難題,我非常興奮,祝賀你們!浙大的學生是世界一 流的!這個難題哈佛沒能證明,你們卻證明了!」
  • 國際數學家大會:七大千年數學難題
    新華網馬德裡8月24日電 1900年,德國數學家希爾伯特在巴黎舉行的國際數學家大會上提出了23個數學問題,認為這些是人類在20世紀裡應該努力去解決的問題。一百年之後,美國克雷數學研究所相對應地提出了七大數學難題,並設立百萬美元巨獎徵集答案。由於克雷研究所設獎徵答適逢千年之交,因此這7個數學難題又被稱為「七大千年數學難題」。