肯塔基州乐兴顿（2016年6月13日）— 世界上最大的200兆字节的数学证明已经产生，肯塔基大学教授解开了一个长期存在的数学谜团维克托·马雷克和合作伙伴。
200 TB有多大？《自然》杂志报道证明“大致相当于美国国会图书馆持有的所有数字化文本。”
“它确实很大，”英国计算机科学系教授马雷克说。
该团队包括德克萨斯大学奥斯汀分校的Marek、Marijn J.H.Heule和威尔士斯旺西大学的Oliver Kullmann，他们正在致力于解决布尔毕达哥拉斯三元组问题。（记住勾股定理？a2+b2=c2。）
问题是，是否可以将每个正整数涂成蓝色或红色，以使毕达哥拉斯的三元组a、b和c都不具有相同的颜色。
超级计算机辅助的证明表明，可以用多种方式给整数着色，最多可达7824个整数。但在7825年及以后，毕达哥拉斯的每一个三元组都不可能五彩缤纷。
该团队的调查结果在以下网站上预先打印http://arxiv.org/abs/1605.00723马雷克、黑尔和库尔曼的工作已经得到了回报。20世纪80年代提出这个问题的数学家罗纳德·格雷厄姆（Ronald Graham）当时承诺，无论谁解决了这个问题，都会给他100美元。上个月，他兑现了诺言，在一次科学会议上向赫勒出示了支票。
英国是大学对于肯塔基州。在英国，我们正在教育更多的学生，治疗更多的复杂疾病患者，并进行了比我们150年历史上任何时候都多的研究和服务。要了解更多关于英国的故事以及如何支持对大学和英联邦的持续投资，请访问uky.edu/uk4ky.#uk4ky#蓝色
媒体联系人：惠特尼·哈德，859-323-2396whitney.harder@uky.edu
