你认为写证明在高中代数是困难的吗?再想想。

三个杰出的数学家只是解决了十年之久的难题,因此产生了世界上最大的数学证明一个文本文件,是一个规模高达200字节。

它有多大?一个tb是如此巨大,它可以同时容纳大约337920册列夫·托尔斯泰的《战争与和平》,“这是有史以来最长的和厚的小说之一。

更重要的是,数学证明的大小实际上是相当于整个数字化文本归档保存在美国国会图书馆。

证据还轻松地打破了之前的纪录世界上最大的数学证明,在13 g。

因此,如何完成这一壮举的三位科学家?

研究者Marijn Heule德克萨斯大学,斯旺西大学的Oliver Kullmann和肯塔基大学的维克多Marek创建大纲和程序一台超级计算机来磨数以万亿计的颜色组合的可能性来解决布尔毕达哥拉斯三元组的问题。

这个问题,自1980年代以来一直困扰数学家,毕达哥拉斯的著名定理有关三角形的边的长度:a²+ b²= c²。

某些组数字可以满足定理与整个整数。一个例子:3²+ 4²= 5²。

但如果所有整数必须选一个颜色:红色或蓝色?

所以布尔毕达哥拉斯的三元组的问题问道:有可能每个正整数蓝色或红色,没有组整数,b和c都是同样的颜色吗?

为了解决这个难题,Heule Kullmann, Marek应用模式被称为Cube-and-Conquer -混合的坐在难题的方法。范例使用CDCL解决者和有预见性的技术。万博体育登录首页

在编程到超级计算机证据之前,自己三人也做了数学通过使用一些技术来减少可能的数量仅为1万亿。万博体育登录首页

然后在德克萨斯大学800个处理器跑了两天危机通过一个答案。完成工作后,吐出200 TB文件,证据显示,是的,这是可能的,颜色以多种方式,但只有7824的整数。在这一点上,这是不可能的了。

三人通过另一个超级计算机验证他们的证据。

虽然小组已经发现了令人困惑的答案证明,确实生更多的问题:为什么有分界点在7825吗?为什么第一段可能吗?

但与此同时,这是另一个有趣的问题:在收到一个奖的三位科学家确定证据?

是的,他们做到了。罗纳德•格雷厄姆·布尔提出的数学家毕达哥拉斯三元组在1980年代问题,构成了挑战,谁解决了这个问题将会得到100美元的奖励。格雷厄姆兑现了他的诺言,移交研究团队的奖金。

团队的研究结果特色在康奈尔大学网上图书馆。

照片:大卫·戈林|Flickr