十億年才能讀完的推理？

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

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

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

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

原來(lái)解開(kāi)難題的是一位“超級(jí)數(shù)學(xué)大師”呀！

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

誰(shuí)來(lái)驗(yàn)證“大師”是否正確呢？

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

誰(shuí)是目前超級(jí)計(jì)算機(jī)中的“老大”？

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

時(shí)風(fēng)文