如果您認為高中時期的高級數學不好，那麼三個數學家的想法就備有一個想法，即即使在超級計算機的幫助下，他們對單個數學問題的解決方案也佔據了200台基本文本。
當您認為只有1個Terabyte可以容納時337,920副本戰爭與和平- 有史以來最長的小說之一 - 您可以開始了解這是多麼瘋狂的感覺。以前的唱片人WA據報導13 gigabyte的證明，於2014年出版。
那麼這是什麼荒謬的數學問題？它被命名為布爾畢達哥拉斯的三元問題，並首先由加利福尼亞的數學家提出羅納德·格雷厄姆（Ronald Graham）早在1980年代。
問題集中在畢達哥拉斯公式A2+ b2= c2，其中a和b是三角形的較短邊，而C是斜邊或最長的側面。
某些集合的三個積極整數稱為畢達哥拉斯三元組可以插入公式，例如32+ 42= 52，52+ 122= 132和82+ 152= 172。
考慮到這一點，請想像每個整數都被塗成紅色或藍色。
格雷厄姆（Graham）詢問是否可以為所有整數紅色或藍色上色，以便沒有一套畢達哥拉斯的三倍-A，B和C-都是相同的顏色。他為任何解決問題的人投入了100美元。 （這應該涵蓋1保持驅動器。）
安德魯·莫斯曼（Andrew Moseman）流行力學說明為什麼100美元看起來很薄弱，考慮到了即將到來的任務：
“如此困難的是，一個整數可以是多個畢達哥拉斯的多個三元組的一部分。以5。因此，3、4和5是畢達哥拉斯三倍。但是，5、12和13也是如此。如果在第一個示例中5是藍色的，那麼第二個是藍色的，那麼第二個必須是藍色的，這意味著12或13必須是紅色。
將此邏輯轉移到更大的數字中，您可以看到這將開始變得棘手。如果在5-12-13的三倍中必須有12個紅色，則可能會迫使將其變化，從而導致在某個地方產生單色三倍。”
來自德克薩斯大學大學，肯塔基大學的維克多·馬雷克（Victor Marek）的數學家大麻雜誌和英國斯旺西大學的奧利弗·庫爾曼（Oliver Kullmann2,300）只有1萬億。
然後是800個加工者超級計算機花了兩天仔細考慮剩餘的萬億，並提出一個解決方案：7,824。一旦嘗試7,825個或更多整數，就無法創建Graham正在尋找的模式。
猜猜誰現在是100美元的$ 100…分三種方式！好人格雷厄姆（Graham）帶了支票本月初。
數學中的證明意味著一個書面演繹論點，該論點顯示了您如何回答的方式，它在超級計算機上佔據了200架的文件 - 大致相當於美國國會圖書館持有的所有數字化文本。
根據伊芙琳·蘭姆（Evelyn Lamb）的說法自然，三人組創建了其解決方案的68 gbabyte壓縮版本，該版本將花費大約30,000小時才能下載，重建和驗證。問題？沒有人可以希望讀這樣的東西。
取而代之的是，團隊必須採用另一個計算機程序來驗證結果，並證明他們的解決方案符合原始問題的標準，而格雷厄姆對確認感到滿意。
但是批評者在問這是否足夠。如果沒有人能讀取解決方案，那並不意味著它是不正確的，但並不能解決數學解決問題的一個非常重要的組成部分 - 它無法解釋為什麼從7,825上升到7,825的著色，它只是知道它是。
“儘管計算機解決方案已經破解了布爾畢達哥拉斯的三元組問題，但它並未提供不可能的著色的根本原因，或者探討了數字7,825是否有意義，”羔羊解釋說。 “這與計算機輔助證據的價值相呼應：它們可能是正確的，但是它們真的是數學嗎？”
如果數學是要促進人類的知識和理解數字對我們和我們周圍的宇宙意味著什麼，那麼一台計算機正在製定我們永遠無法理解的解決方案，似乎與該學科的原理違背了。
當您思考這個問題時，您可以在Pre Print網站上查看論文，arxiv.org。尚未經過同行評審，因為我想我們需要一個數學機器人團隊。
