美英数学家攻克世界难题 [热事件]

【环球网留学综合报道】据台湾联合新闻网7月11日报道，美国和英国三个数学家日前对一道35年来悬而未决的数学难题提出解答，获得当初提出这个问题的数学家提供的100美元赏金，可是要证明这个解答本身就造成问题，因为...

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

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

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

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

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