最长证明破解世界数学谜题 最长证明破解世界数学谜题 20世纪80年代，美国数学家罗伯特·格拉汉姆悬赏100美元，请数学爱好者帮助他解决一个数学难题，这道数学难题困扰了格拉汉姆很长时间。30多年来，一直未能有人拿出破解方案前来领赏。近日，一个由美英两国3位数学家组成的研究团队宣称他们应该得到这笔奖金，但是，数学同行们发现，这个研究团队所得出的结论同样也很难验证，因为他们是利用超级计算机证明出来的，证明的过程非常复杂，堪称世界最长的数学证明，阅读全部的证明文件需要花费100亿年。 据了解，这个研究团队成员包括美国得克萨斯大学数学家玛里金·休尔博士、英国斯旺西大学数学家奥利弗·库尔曼博士和美国肯塔基大学数学家维克多·马雷克教授等。他们利用一台超级计算机解决了这个数学难题，他们表示：“我们对这个数学难题有着共同的兴趣。我们的结果还需要一个正式的证明。” 这个所谓的世界难题也被称为“布尔毕氏三元数问题”，问题本身似乎很简单：能否将正整数（例如1、2、3）染成蓝色或红色，并使满足勾股定理（a2+b2=c2）的任何数字系列不全是同一种颜色。例如，3的平方加4的平方等于5的平方，如果3和4是红色，5就得是蓝色，不能3个数字全是蓝色或红色。 第 2 页 本文来源：https://www.wddqw.com/doc/f860f7c60b12a21614791711cc7931b765ce7bad.html