100美元数学征答…读完证明得花10亿年

ysc

2016-07-10 04:29 世界日报 编译黄秀媛／综合8日电



勾股定理。 图／Ingimage


美国和英国三个数学家8日对一道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这个数字为止，这种染色方式是可能的，可是超过这个数字就不行。超级计算机足足跑了两天才得到这种证明。

rightonmoney

源济