最长数学证明破解世界难题:看完需要100亿年-数学,布尔毕氏三元数问题,证明

0

上世纪80年头,美国数迷信家Robert Graham陈设了100抵制的裁定。,请数学爱好者扶助他处理独身数学难题,这道数学难题使迷惑了杰克·布拉汉姆许久。在过来的三十年里,没某人能想出独身处理办法。。不日,源自美国和英国的三名数迷信家同胎仔宣布宣言。

可是,数学同事一下子看到,商量集合的后记也很难作证。,因它们是由平方的计算图表作证的。,作证的步骤绝复杂。,世上长工夫的的数学作证,标明所局部纸必要100亿年纪间。。

长工夫的数学作证破解有关全球大局的难题:看完必要100亿年

据听说,这么商量集合包含Mariki huhr博士,一位综合性大学的数迷信家。、英国斯望西综合性大学数迷信家奥利弗-库尔曼博士和美国肯塔基综合性大学数迷信家维托利奥-沼泽克灌输等。

他们运用一台平方的计算图表处理了这么数学难题,他们表现:“咱们对这么数学难题取得协同的兴味。咱们的产物必要独身正式的作证。。”

这么比得上的的有关全球大局的成绩叫做Boolbie四人一组成绩”,毕达哥拉斯定理(毕达哥拉斯定理),换句话说,右公平的的边的长中间的相干。。

在立体直角公平的中,两个左边的长的平方全部含义另外的方的平方。,著名的数学客套话:a^2 b^2=c^2。

Graham瞄准了独身成绩。,万一每边长都是无符号整数,并将色分除无符号整数,或蓝色或透明的,个人财产无符号整数符合是你这么说的嘛!客套话比得上的色吗?格拉哈。

简略地说,符合是你这么说的嘛!客套话的任性三个无符号整数,单独地这两种色是可能性的,可供选择的事物是可供选择的事物色。 ,它们不克不及是同一种色。。

长工夫的数学作证破解有关全球大局的难题:看完必要100亿年
Boolbie四人一组成绩

这类成绩一般地转变为上色成绩。,譬如,万一3和5用透明的)技术援助委,因而4麝香用蓝色)技术援助委。。

商量人员一下子看到,个人财产从1到7824的无符号整数可以按这种方式花色品种。。

长工夫的数学作证破解有关全球大局的难题:看完必要100亿年

在这7824个方格中,缺少什么能符合^ ^ 2 B^ 2=C^ 2的三数量是蓝色或比得上的透明的。。(透明的数字不属于Pythagoras three yuan)。)

在Marijn Heule、Oliver Kullmann和Victor Marek中段宣布在arXiv上的这篇论文里,他们把这么成绩分红两个SAT可符合性成绩。,那时的一下子看到成绩先前积累到。 {1,…,7825} 时无解,上个,我提出了到何种地步给7824个正方形做加法色。。

长工夫的数学作证破解有关全球大局的难题:看完必要100亿年

拉姆齐定理的思惟一般地关涉落落大方的记录。,这么成绩也不是破格。。在很数字的处境下,上色体系可能性积累到10 ^ 2300。,但商量人员运用匀称剖析技术。,让计算图表只必要反省10 ^ 12个可能性的选择。

数迷信家一下子看到,当数字在1到7824中间,这么成绩可以通行作证和处理。,可是,当数字超越7824,这么成绩还没有处理。。

三位数迷信家运用Con Con的混合可符合性校验方式,作证了Boolbie四人一组成绩。

他们的商量成果宣布在著名的预印本网站ARXIV上。,并在波尔多的一次警卫官上提出了产物。。

据听说,纸的总和相当于个人财产数字D的总和。,约200吨。设想运用德州上进运算精髓的Stampede平方的计算图表对这些记录停止紧缩,还要花包括第一天和最后一天工夫。。

虽有技术上,三位数迷信家内的平方的计算图表来作证和处理这么成绩。,可是,成绩仍然在。

当选独身成绩是,这么作证设想真的是独身使完善的作证?它确实还缺少答复为什么会在7825这么数字上呈现无解气象。

虽有如此,现年80岁的Graham先前为定钱做好了预备。,究竟,平方的计算图表先前产生了答案。。

文字数据纠正

微信大众号码搜索

驱动之家

“加关怀,最新移动电话、电脑、汽车、智能计算机硬件传达让你精通的所局部手。打扮关怀!【

上面的微信扫描可以直的关怀

标明更多:数学迷信与技术尚待开发的领域

LEAVE A REPLY