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