史上規模最龐大的數學證明占據200TB儲存空間

國外有3位電腦科學家借助超級電腦的力量解出布林畢氏三元數(Boolean Pythagorean Triples)問題的證明,此問題的完整證明占據了200TB的儲存空間。另外,相關論文已發表在arXiv.org論文預印本網站

布林畢氏三元數是Ramsey定理(Ramsey Theory)中存在已久的問題,這3位電腦科學家使用超級電腦執行一個800核心的叢集來計算,花費了2天的時間解出畢氏三元數問題,並產生龐大的資料量,這已超越了在2014年時,艾狄胥差異問題(Erdős Discrepancy Problem)證明所產生的13GB資料量的記錄。

同時,電腦科學家們也製作了布林畢氏三元數證明的壓縮版本,提供大眾驗證,不過,證明的檔案經過壓縮後還是占有68GB的大小。


Advertisement