中國IDC圈6月14日報道，德克薩斯大學的三位計算機科學家宣布他們完成了世界上最大的數(shù)學證明：完整證明有200TB大小。公開供人檢驗的部分壓縮后也有68GB大。

目前已經(jīng)有很多數(shù)學家使用計算機輔助證明數(shù)學問題，但這個200TB大小的證明還是讓數(shù)學家們吃了一驚。UCSD的數(shù)學家Ronald Graham表示，在此之前，世界上最大的數(shù)學證明是關(guān)于一個離散數(shù)學的問題，只有13GB大。

這幾位計算機科學家解決的問題有著近一個世紀的歷史，是拉姆齊定理中的舒爾平方數(shù)定理,也被稱為布爾-畢達哥拉斯三元數(shù)問題(Boolean Pythagorean triples problem)。該問題在1917年由舒爾提出，問的是：能否將所有正整數(shù)分成兩個部分，其中所有畢達哥拉斯三元數(shù)組(即滿足a 該類問題常被轉(zhuǎn)化為著色問題來解決。比如如果3和5被用紅色標記，那么4必需用藍色標記。研究者發(fā)現(xiàn)，從1到7824的所有正整數(shù)都能被用這種方式歸類。

在這7824個方格中，沒有任何滿足a 在Marijn Heule，Oliver Kullmann和Victor Marek三人發(fā)表在arXiv上的這篇論文里，他們把該問題拆分稱了兩個SAT可滿足性問題，然后發(fā)現(xiàn)該問題達到 {1,…,7825} 時無解，最后展示了自己給7824個方格上色的方法。

有關(guān)拉姆齊定理的設(shè)想往往涉及著巨量的數(shù)據(jù)，這個問題更不例外。在有這么多數(shù)字的情況下，給方格上色的可能方案達到了10 雖然計算機已經(jīng)解決了這個布爾-畢達哥拉斯三元數(shù)問題，但它并沒有告訴我們?yōu)槭裁吹搅?825時問題就變得無解。這反映了電腦輔助證明中的一個常見的思想挑戰(zhàn)：這樣“正確”的證明，還算不算是“數(shù)學”？如果數(shù)學家的工作是通過理論幫助人類更好地理解數(shù)學，那通過窮舉來解決問題的計算機究竟有什么存在的意義？

或許我們只能希望早日有人給出這個問題的邏輯推理。那個為解決埃爾德什差異問題(Erd?s discrepancy problem)的13GB證明提出后僅過了一年，UCLA數(shù)學家陶哲軒(相關(guān)文章：《當今在世的智商最高的十位天才》)就用傳統(tǒng)方式成功破解了這一難題，真正震動了全球數(shù)學界。