世界上最大的数学证明需要高达200 tb的磁盘空间

世界上最大的数学证明是200 tb_image 4
广告

一个国际研究小组的研究人员已经产生了一个包含关于证明毕达哥拉斯三元组。

的问题可以追溯到1980年代讨论了毕达哥拉斯定理一个直角三角形,即:a2+ b2= c2,c是斜边,一个是垂直的,b是直角三角形的底部。这个问题是满足于一组特定的整数。

世界上最大的数学证明是200 tb_image 4
图片来源:维基百科

布尔毕达哥拉斯的三元组提出的问题是罗纳德·格雷厄姆在1980年代。著名的数学家质疑的可能性将红色或蓝色分配给每个整数集满足毕达哥拉斯的定理,没有固定的毕达哥拉斯三元组具有相同的颜色,即所有的所有三个整数是所有红色或蓝色。

由于一个整数可以不止一个毕达哥拉斯三元组的一部分,因此,非常难以解决的问题;例如:1、2、5和3、4、5都是毕达哥拉斯的三元组与5常见的整数。因此,如果在第一组三元组5是蓝色的,它仍将是蓝色的第二,4或3必须是红色的。因此,4可以迫使数字线改变颜色,最终可能导致单色毕达哥拉斯在一组的三倍。

世界上最大的数学证明高达200 tb_image 1
图片来源:德克萨斯大学

现在,先进的计算技术已经被用来证明毕达哥拉斯三元组不能彩色,使所有设置有一个独特的颜色。采用的计算方法应用强力的技术来解决这个问题。

团队获得100美元的支票从格雷厄姆。解决方案显示,可以形成这样的解决方案,没有毕达哥拉斯的三元组是相同的颜色多达7824。然而,不存在任何可能的独特组合超过7824。花了高达200 tb来解决这个问题。

世界上最大的数学证明高达200 tb_image 2
图片来源:德克萨斯大学

分析人士批评的结果表明尽管团队已经攻克了这个难题,它未能提供的原因这一特定行为所示编号为7825。结果带来了相同的老问题关于计算证明,

“他们可能是正确的,但他们是数学吗?”

广告

留下一个回复

你的电子邮件地址将不会被发表。必填字段标记*