20世紀(jì)80年代，美國(guó)數(shù)學(xué)家羅伯特·格拉漢姆懸賞100美元，請(qǐng)數(shù)學(xué)愛好者幫助他解決一個(gè)數(shù)學(xué)難題，這道數(shù)學(xué)難題困擾了格拉漢姆很長(zhǎng)時(shí)間。30多年來(lái)，一直未能有人拿出破解方案前來(lái)領(lǐng)賞。近日，一個(gè)由美英兩國(guó)3位數(shù)學(xué)家組成的研究團(tuán)隊(duì)宣稱他們應(yīng)該得到這筆獎(jiǎng)金，但是，數(shù)學(xué)同行們發(fā)現(xiàn)，這個(gè)研究團(tuán)隊(duì)所得出的結(jié)論同樣也很難驗(yàn)證，因?yàn)樗麄兪抢贸?jí)計(jì)算機(jī)證明出來(lái)的，證明的過(guò)程非常復(fù)雜，堪稱世界最長(zhǎng)的數(shù)學(xué)證明，閱讀全部的證明文件需要花費(fèi)100億年。
據(jù)了解，這個(gè)研究團(tuán)隊(duì)成員包括美國(guó)得克薩斯大學(xué)數(shù)學(xué)家瑪里金·休爾博士、英國(guó)斯旺西大學(xué)數(shù)學(xué)家奧利弗·庫(kù)爾曼博士和美國(guó)肯塔基大學(xué)數(shù)學(xué)家維克多·馬雷克教授等。他們利用一臺(tái)超級(jí)計(jì)算機(jī)解決了這個(gè)數(shù)學(xué)難題，他們表示：“我們對(duì)這個(gè)數(shù)學(xué)難題有著共同的興趣。我們的結(jié)果還需要一個(gè)正式的證明。”
這個(gè)所謂的世界難題也被稱為“布爾畢氏三元數(shù)問(wèn)題”，問(wèn)題本身似乎很簡(jiǎn)單：能否將正整數(shù)（例如1、2、3）染成藍(lán)色或紅色，并使?jié)M足勾股定理（a2+b2=c2）的任何數(shù)字系列不全是同一種顏色。例如，3的平方加4的平方等于5的平方，如果3和4是紅色，5就得是藍(lán)色，不能3個(gè)數(shù)字全是藍(lán)色或紅色。
數(shù)學(xué)家發(fā)現(xiàn)，數(shù)字在1到7824之間時(shí)，這種染色方式是可能的，但當(dāng)數(shù)字超過(guò)7824時(shí)，就不行了。3位數(shù)學(xué)家利用“分塊攻克”的混合可滿足性測(cè)試方法，證明了布爾畢氏三元數(shù)問(wèn)題。他們的研究成果發(fā)表于著名的預(yù)印本網(wǎng)站arXiv之上，并在波爾多召開的一次會(huì)議上演示了證明結(jié)果。據(jù)了解，證明文件的字符總和相當(dāng)于美國(guó)國(guó)會(huì)圖書館所有數(shù)碼資料的總和，大小約200TB。即使利用得州先進(jìn)運(yùn)算中心的Stampede超級(jí)計(jì)算機(jī)對(duì)這些數(shù)據(jù)進(jìn)行壓縮，也需要花兩天時(shí)間。
雖然從技術(shù)上講，3位數(shù)學(xué)家的確利用超級(jí)計(jì)算機(jī)對(duì)這個(gè)問(wèn)題進(jìn)行了證明和解決，但是，問(wèn)題依然存在。其中一個(gè)問(wèn)題是，這個(gè)證明是否真的是一個(gè)完善的證明。盡管如此，現(xiàn)已80歲高齡的格拉漢姆早已準(zhǔn)備好獎(jiǎng)金，畢竟超級(jí)計(jì)算機(jī)已經(jīng)給出了一個(gè)答案。
本文來(lái)自：逍遙右腦記憶 http://www.yy-art.cn/gaozhong/912151.html
相關(guān)閱讀：2017年四川高考理科數(shù)學(xué)試卷結(jié)構(gòu)