埃尔德什差异问题(the Erdos Discrepancy Problem)是由匈牙利数学天才保罗·埃尔德什于1932年提出的数学假设。英国计算机专家阿列克谢·利什特沙和鲍里斯·科涅夫最近借助计算机破解了这一难题。
埃尔德什差异问题是由匈牙利数学天才保罗·埃尔德什于1932年提出的数学假设。其围绕着只包含1和-1的无穷数列性质进行探讨;这类数列中的模型能够通过创建有限子序列进行测度。
英国数学家恩里科·斯卡拉斯通俗解释了这一假设:“假如你有一个由1和-1(例如由扔硬币随机产生)组成的数列和常数C。你要寻找到一个足够长的有限数列,使这一数列的总和大于常数C。”
据美国《物理学家组织》网站报道,英国计算机专家阿列克谢·利什特沙和鲍里斯·科涅夫最近借助计算机破解了一道有80余年历史的数学难题——埃尔德什差异问题(the Erdos Discrepancy Problem)。他们的论文预印本已发表在arXiv.org。
利什特沙和科涅夫的论文描述了他们如何建立计算机程序来破解埃尔德什差异问题。由于证明产生的数据有13GB之多(
维基百科的整个数据才10GB),以至于不可能由人工来检验。这就产生了一个有趣的问题:如果借助计算机证明数学命题,而数据的绝对量过于庞大,以至于没有办法由人工进行验证,那么这种证明能否被验证真伪呢?
计算机的发明,是为计算而来,而计算能力始终是计算机的根本。计算机的介入改变了数学研究的方法,扩展了数学研究的领域,促进了计算数学的发展。尤其是运算量极斯特罗斯基。
1975年出生的华裔数学家陶哲轩生在澳洲,他主要的研究专长是在调和分析、偏微分方程、组合数学、解析数论和表示论。2015年9月17日,他宣布证明了保罗·埃尔德什(Erd s Pál)在1932年提出的埃尔德什差异问题存在,这是个困扰学术界80多年的问题。