十億年才能讀完的推理？

這是世界上最難的數(shù)學推理嗎？

數(shù)學家總想攻克數(shù)學猜想，但數(shù)學猜想像堅固的城堡，很難攻克前段時間，數(shù)學家剛剛攻克了20世紀80年代提出的“布爾畢氏三元數(shù)”猜想。這個推理過程很長——其中的信息含量相當于美國國會圖書館所有數(shù)碼資料的總和，一個人要讀完這些信息得花上10億年。它是目前數(shù)學史上最長的推理過程。

什么叫數(shù)學推理？

舉個例子：小明有5元錢，小亮有3元錢，所以小明和小亮一共有8元錢。這個用“原因”推出“結果”的過程就是一個簡單的數(shù)學推理。比較難的推理需要幾十個步驟甚至上百個步驟。數(shù)學推理沒有最難，只有更難。有些數(shù)學推理就連數(shù)學家也無法給出完整的推理過程，這種懸而未決的數(shù)學推理就被稱為“數(shù)學猜想”。

原來解開難題的是一位“超級數(shù)學大師”呀！

什么？10億年？別急，其實數(shù)學家并不是用紙和筆解題的，而是使用超級計算機完成了整個推理過程。超級計算機運算能力強、速度快、準確度高，讓數(shù)學有了更廣闊的發(fā)展空間?，F(xiàn)在超級計算機成了數(shù)學猜想的“主攻手”，相信在超級計算機的幫助下，人類攻克的數(shù)學難題將越來越多。

誰來驗證“大師”是否正確呢？

誰也活不到10億歲，所以注定沒有人能讀完這個推理過程。那么，又有誰能證明計算機的推理是正確的呢？其實，要證明計算機的推理是否正確也不難，只需要用另外一臺更超級的計算機就行了。跟數(shù)學推理的難度一樣，計算機沒有最超級，只有更超級，讓更超級的計算機來“審閱”超級計算機的推理過程，就可以快速地判斷正誤。

誰是目前超級計算機中的“老大”？

那么，現(xiàn)在世界上“更超級”的計算機在哪兒呢？——就在咱們中國呀！中國的“天河二號”超級計算機目前排名世界第一，可是超級計算機界的“老大”！所以，讓“天河二號”來審閱“布爾畢氏三元數(shù)”猜想的推理過程，正不正確一下子就能知道啦！

時風文