Frank Ramsey

2016/05/31 | Kayue

填顏色的數學︰超級電腦運算兩天　數學家得出100隻硬碟才能裝滿的證明

三位數學家最近發表一個證明，需要超級電腦運算來驗證，整個運算的數據多達200TB，破了以往紀錄。