最长数学证明破解世界难题:全部阅读需100亿年(图)
日期:2016-07-28 11:06:31 阅读: 来源:新浪科技
证明文件的字符总和相当于美国国会图书馆所有数码资料的总和,大小约200TB。阅读全部的证明文件需要花费100亿年,即使利用德州先进运算中心的Stampede超级计算机对这些数据进行压缩,也需要花两天时间。
证明文件的字符总和相当于美国国会图书馆所有数码资料的总和,大小约200TB。阅读全部的证明文件需要花费100亿年,即使利用德州先进运算中心的Stampede超级计算机对这些数据进行压缩,也需要花两天时间。
这个所谓的世界难题也被称为“布尔毕氏三元数问题 ”,是毕达哥拉斯定理(勾股定理)方面的问题,即关于直角三角形各条边的长度之间的关系问题。在平面直角三角形中,两个直角边边长的平方加起来等于斜边长的平方,即著名的数学公式:a^2+b^2=c^2。
新浪科技讯 北京时间7月27日消息,据国外媒体报道,上世纪80年代,美国数学家罗伯特-格拉汉姆悬赏100美元,请数学爱好者帮助他解决一个数学难题,这道数学难题困扰了格拉汉姆很长时间。三十多年来,一直未能有人拿出破解方案前来领赏。近日,一个由美英两国三位数学家组成的研究团队宣称他们应该得到这笔奖金。但是,数学同行们发现,这个研究团队所得出的结论同样也很难验证,因为他们是利用超级计算机证明出来的,证明的过程非常复杂,堪称世界最长的数学证明,阅读全部的证明文件需要花费100亿年。
据了解,这个研究团队成员包括美国德克萨斯大学数学家玛里金-休尔博士、英国斯望西大学数学家奥利弗-库尔曼博士和美国肯塔基大学数学家维克多-马雷克教授等。他们利用一台超级计算机解决了这个数学难题,他们表示,“我们对这个数学难题有着共同的兴趣。我们的结果还需要一个正式的证明。”
这个所谓的世界难题也被称为“布尔毕氏三元数问题 ”,是毕达哥拉斯定理(勾股定理)方面的问题,即关于直角三角形各条边的长度之间的关系问题。在平面直角三角形中,两个直角边边长的平方加起来等于斜边长的平方,即著名的数学公式:a^2+b^2=c^2。格拉汉姆提出一个疑问,如果每一条边长都是一个正整数,并给这个正整数分配一种颜色,或蓝色或红色,满足上述公式的正整数是否都是同一颜色呢?格拉汉姆认为答案是否定的。简单地说,满足上述公式的任何三个正整数,只可能是两个是一种颜色,另一个是另外一种颜色 ,他们不可能是相同颜色的。
数学家发现,数字在1到7824之间时,这个问题可以得到证明和解决。但是,当数字超过7824时,问题就无解了。三位数学家利用“分块攻克”的混合可满足性测试方法,证明了布尔毕氏三元数问题。他们的研究成果发表于著名的预印本网站arXiv之上,并在波尔多召开的一次会议上演示了证明结果。据了解,证明文件的字符总和相当于美国国会图书馆所有数码资料的总和,大小约200TB。即使利用德州先进运算中心的Stampede超级计算机对这些数据进行压缩,也需要花两天时间。
虽然从技术上讲,三位数学家的确利用超级计算机对这个问题进行了证明和解决,但是,问题依然存在。其中一个问题是,这个证明是否真的是一个完善的证明。它其实还没有回答为什么会在7825这个数字上出现无解现象。尽管如此,现已80高龄的格拉汉姆早已准备好奖金,毕竟超级计算机已经给出了一个答案。
版权声明
1. 未经《新西兰天维网》书面许可,对于《新西兰天维网》拥有版权、编译和/或其他知识产权的任何内容,任何人不得复制、转载、摘编或在非《新西兰天维网》所属的服务器上做镜像或以其他任何方式进行使用,否则将追究法律责任。
2. 在《新西兰天维网》上转载的新闻,版权归新闻原信源所有,新闻内容并不代表本网立场。
-
- 中国打工小伙震惊中外:无师自通破解数学界难题
- 时间:2016-07-22 16:58:59
- 相关新闻
-
- 扫荡Facebook300万人的数学题 你来试试吧(图)
- 时间:2016-05-06 09:56:16
- 相关新闻
-
- NZ学生数学水平持续下降 打破“魔咒”需20年
- 时间:2016-05-06 09:43:49
- 相关新闻
-
- 数学老师哭晕在厕所 呆萌妹子算不清小学题(视频)
- 时间:2016-04-01 11:20:05
- 相关新闻
-
- 定向培养“全科教师” 你的数学可能是体育老师教
- 时间:2016-02-25 10:48:33
- 相关新闻
-
- 专家:想要新西兰的经济更好?培养更多数学人才
- 时间:2016-01-12 09:25:03
- 相关新闻
-
- 新西兰严重缺乏中学物理数学老师 或重金海外引进
- 时间:2015-12-01 11:13:06
- 相关新闻
-
- 澳大利亚维州高考后这道数学题在网上迅速走红
- 时间:2015-11-04 15:08:34
- 相关新闻
-
- 江苏小学老师出奇葩数学题:爷爷比爸爸大123岁
- 时间:2015-11-04 09:29:52
- 相关新闻
-
- 数学系女生用周期知识炒股 躲2次股灾资金翻2倍
- 时间:2015-11-02 10:34:29
- 相关新闻
新闻评论须知
新闻视频
/HOT热搜榜
手机天维
- 天维导航频道,了解您生活的方方面面:
- 想知道新西兰有什么样的福利吗?想知道关于新西兰的百科知识吗?新西兰都有哪些热门网站?点击这里,您就知道!
- Follow我们的新浪微博
- 您想第一时间了解新西兰的新闻吗?请您访问//weibo.com/skykiwidotcom,从今天开始关注我们吧!
- 纽惠康 - 源于新西兰的健康体验
- 纽惠康是天维网旗下唯一的购物网站,我们的宗旨是利用我们的品牌优势,以最优惠的价格为您提供新西兰最优质的健康产品。请访问//wellcome.co.nz