十亿年才能读完的推理？

这是世界上最难的数学推理吗？

数学家总想攻克数学猜想，但数学猜想像坚固的城堡，很难攻克前段时间，数学家刚刚攻克了20世纪80年代提出的“布尔毕氏三元数”猜想。这个推理过程很长——其中的信息含量相当于美国国会图书馆所有数码资料的总和，一个人要读完这些信息得花上10亿年。它是目前数学史上最长的推理过程。

什么叫数学推理？

举个例子：小明有5元钱，小亮有3元钱，所以小明和小亮一共有8元钱。这个用“原因”推出“结果”的过程就是一个简单的数学推理。比较难的推理需要几十个步骤甚至上百个步骤。数学推理没有最难，只有更难。有些数学推理就连数学家也无法给出完整的推理过程，这种悬而未决的数学推理就被称为“数学猜想”。

原来解开难题的是一位“超级数学大师”呀！

什么？10亿年？别急，其实数学家并不是用纸和笔解题的，而是使用超级计算机完成了整个推理过程。超级计算机运算能力强、速度快、准确度高，让数学有了更广阔的发展空间。现在超级计算机成了数学猜想的“主攻手”，相信在超级计算机的帮助下，人类攻克的数学难题将越来越多。

谁来验证“大师”是否正确呢？

谁也活不到10亿岁，所以注定没有人能读完这个推理过程。那么，又有谁能证明计算机的推理是正确的呢？其实，要证明计算机的推理是否正确也不难，只需要用另外一台更超级的计算机就行了。跟数学推理的难度一样，计算机没有最超级，只有更超级，让更超级的计算机来“审阅”超级计算机的推理过程，就可以快速地判断正误。

谁是目前超级计算机中的“老大”？

那么，现在世界上“更超级”的计算机在哪儿呢？——就在咱们中国呀！中国的“天河二号”超级计算机目前排名世界第一，可是超级计算机界的“老大”！所以，让“天河二号”来审阅“布尔毕氏三元数”猜想的推理过程，正不正确一下子就能知道啦！

时风文