这道数学题居然80年后才被解开.docxVIP

这道数学题居然 80 年后才被解开 据美国《物理学家组织》网站报道，英国计算机专家阿 列克谢·利什特沙和鲍里斯·科涅夫最近借助计算机破解 了一道有 80 余年历史的数学难题——埃尔德什差异问题 (theErdosDiscrepancyProblem) 。他们的论文预印本已发表 arXiv.org 。 埃尔德什差异问题是由匈牙利数学天才保罗·埃尔德什于 1932 年提出的数学假设。其围绕着只包含 1 和 -1 的无穷数 列性质进行探讨；这类数列中的模型能够通过创建有限子序 列进行测度。英国数学家恩里科·斯卡拉斯通俗解释了这一 假设：“假如你有一个由 1 和 -1 （例如由扔硬币随机产生） 组成的数列和常数 C。你要寻找到一个足够长的有限数列， 使这一数列的总和大于常数 C。” 利什特沙和科涅夫的论文描述了他们如何建立计算机程序 来破解埃尔德什差异问题。由于证明产生的数据有 13GB之 ( 维基百科的整个数据才 10GB)，以至于不可能由人工来检验。这就产生了一个有趣的问题：如果借助计算机证明数学命题，而数据的绝对量过于庞大，以至于没有办法由人工进行验证，那么这种证明能否被验证真伪呢？ 计算机的发明，是为计算而来，而计算能力始终是计算机的根本。计算机的介入改变了数学研究的方法，扩展了数学研究的领域，促进了计算数学的发展。尤其是运算量极其庞大 第 1 页 的数学问题，大多数情况只能借