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

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

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

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

这个数学问题本身似乎很简单：能否将正整数(例如1、2、3)染成蓝色或红色，并使满足勾股定理(A的平方+B的平方=C的平方)的任何数字系列不全是同一种颜色。例如，3的平方加4的平方=5的平方;如3和4是红色，5就得是蓝色，不能三个数字全是蓝色或红色。

证明显示一直到7824这个数字为止，这种染色方式是可能的，可是超过这个数字就不行。超级计算机足足跑了两天才得到这种证明。