科学家用计算机破解一道80余年的数学难题

（腾讯）据美国《物理学家组织》（phys.org）网站报道，英国计算机专家阿列克谢·利什特沙和鲍里斯·科涅夫最近借助计算机破解了一道有80余年历史的数学难题——埃尔德什差异问题（the Erdos Discrepancy Problem）。他们的论文预印本已发表在arXiv.org。

　　埃尔德什差异问题是由匈牙利数学天才保罗·埃尔德什于1932年提出的数学假设。其围绕着只包含1和-1的无穷数列性质进行探讨；这类数列中的模型能够通过创建有限子序列进行测度。英国数学家恩里科·斯卡拉斯通俗解释了这一假设：“假如你有一个由1和-1（例如由扔硬币随机产生）组成的数列和常数C。你要寻找到一个足够长的有限数列，使这一数列的总和大于常数C。”

　　利什特沙和科涅夫的论文描述了他们如何建立计算机程序来破解埃尔德什差异问题。由于证明产生的数据有13GB之多（维基百科的整个数据才10GB），以至于不可能由人工来检验。这就产生了一个有趣的问题：如果借助计算机证明数学命题，而数据的绝对量过于庞大，以至于没有办法由人工进行验证，那么这种证明能否被验证真伪呢？