美英数学家攻克世界难题 证明过程若看完需10亿年

　　【天下皆知留学综合报道】据台湾联合新闻网”7月11日报道，美国和英国三个数学家日前对一道35年来悬而未决的数学难题提出解答，获得当初提出这个问题的数学家提供的100美元赏金，可是要证明这个解答本身就造成问题，因为要把它全部读完得花10亿年功夫。

　　布尔毕氏三元数问题”(Boolean Pythagorean Triples)是蓝西理论(Ramsey Theory)范畴一个长久未能解决的谜题。1980年代提出这个问题的美国数学家格拉汉姆(Ronald Graham)，为此悬赏征求解答。 来自德州大学、肯塔基大学和英国斯旺西大学的三名数学家表示他们利用分块攻克策略(Cube-and-Conquer)这种混合性的可满足性测试方法，解答及证明了布尔毕氏三元数问题。

　　不过，他们承认要证明他们的解答很难，因为在德州先进运算中心超级计算机协助下产生的证明文件，大小达到200TB，相当于美国国会图书馆所有数码资料的总和，这也是人类迄今得到的最长”的一个数学证明”。

联系我时，请说是在天下皆知网站上看到的，谢谢！