十億年才能讀完的推理？

十億年才能讀完的推理？

這是世界上最難的數學推理嗎？

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

什么叫數學推理？

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

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

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

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

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

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

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

時風文