三个Teos.ó丰富的紧凑型ón几周前呈现了演示ón má很久的数学史áTICAS:一个200 Teraoctets(Terabytes)的文件,尺寸ñ或者与美国国会图书馆的所有数字化文本相当。研究人员创造了一个与否ón压缩了68个千兆光谱,以便每个拥有大约3万小时的处理器时间的人都可以下载它,重建乐光线ón并验证。但是,宁ún ser humano podrá jamá读或检查它í mismo.

一些电脑很久以前—太久让人类可以直接验证它们—他们已成为货币común. Hoy los matemáticos están熟悉基于验证的组合问题ón计算一ú单个案件的规则。随着一切,200岁的是"increíble",罗纳德格雷厄姆,Mathemá泰科在加州大学圣地亚哥。到目前为止,它被认为是récord lo mantenía una demostració2014年提出的13个千兆转招。

益智谁ón需要200张teraoctets是所谓的"露台的问题óricas booleanas", el cual llevaba décadas resistiéndose a los matemáticos. En los añ奥八十,格雷厄姆提供ó un premio de 100 dó对于谁设法解决它而言。有些D.ías, presentó在奥斯汀大学德克萨斯大学的研究员对应于Marijn Heule以及测试的三位作者之一。 具体而言,问题是要找出是否有一种方法可以将两种颜色(例如,红色或蓝色)中的一个分配给每个nú只有整体,所以没有Pitag Ternaórica (trío de números a, b y c 满足坑的定理ágoras, a2 + b2 = c2)其成员都是相同的颜色。例如,这样的Terna中的一个是由n组成的Ternaú仅仅是3,4和5.因此,如果我决定é我们是3和5的蓝色,4税ía ser de color rojo.

在他的工作中,他于5月3日上传到艺术存储库ículos cientíFico Arxiv,Heule,Oliver Kullann,Swansea University从Lexington的肯塔基大学从肯塔基州大学那里表明了许多着色形式ú仅仅长达78244,所以泰尔斯·蒂格泰从未出现过óricas monocromáTICAS。然而,从7825年变得不可能。虽然有ás de 102300 可能的颜色方法ú仅仅直到7825年,作者拿出几个赛马ías y técnicas de teoría de nú只是减少nú仅仅是计算机将拥有的可能性í什么检查不到一个账单ón (1012)。后éS,800个踩踏超级机构的处理器,从德克萨斯大学,并行工作两Dí至于验证它们。为了ú研究人员采用了另一个计划LTIMOático检查solución.

颜色红色或蓝色的可能形式之一ú只要直到7824,所以没有Pitag Ternaó富人的成员都是相同的颜色(白色盒子可以是任何颜色;垂直轴代表数百和水平,相应的数十个和单位)。然而,截至7825,不可能将两种颜色中的一个分配给nú整个小组没有出现出现出来的óricas monocromáTICAS。 [奥斯汀德克萨斯大学Marijn Heule:www.cs.utexas.edu/~marijn/ptn]

露台的问题ó丰富的布尔是理论上出现的许多类似问题之一í一个de Ramsey,Mathers的一个分支á负责研究用大n次出现的性质ú只有元素。例如,专家认为,如果允许的问题使用三种颜色而不是两个,之前或之后és seguiría habiendo un nú只要是í不可能避免幻影ón de una terna pitagórica monocromáTica。事实上,据信这是必须的í发生任何转让ón de un nú仅限有限的颜色。但是,除非téCNICA由检查所有可能性组成,感谢ALGú在理解方面取得了很大进展ón问题,所有演示ón para el caso de máS两种颜色可能占据ía mucho má尺寸为200吨。

kullman se。ñ翼,虽然电脑已经解决了布尔特尔斯的问题ón不允许理解为什么é ocurre así, ni tampoco qué有特殊的nú只有7825.您的评论带来了对头的反对ón filosóFICE通常针对计算机执行的这种演示推出:如果伴侣的工作áTico被解释为增加对Mathem的人类理解的努力áticas —而不是要阐述的尝试,没有ás,事实的长名单—, una demostració基于考虑因素óricas deberí被认为优于验证ón自动化所有可能性。

这就是他们所在的ó与演示发生ó2014年呈现的13个千兆转招中的N,其解决了í一个特定的案例ón conocida como "ERD差异问题ös". Un año después, el matemá加州大学Tico Terence Tao RESTVI。ó古代佩戴的问题:一项伟大的成就ás satisfactorio.

一个星期五ón del artículo téCnico在存储库中提供 arxiv。 .

东方的 artículo de  自然。  它是通过许可转载的。它的与否。ón en español se publicó  primero en 调查ón y Ciencia