簡介
埃爾德什差異問題是由匈牙利數學天才保羅·埃爾德什于1932年提出的數學假設。其圍繞着隻包含1和-1的無窮數列性質進行探讨；這類數列中的模型能夠通過創建有限子序列進行測度。
英國數學家恩裡科·斯卡拉斯通俗解釋了這一假設：“假如你有一個由1和-1（例如由扔硬币随機産生）組成的數列和常數C。你要尋找到一個足夠長的有限數列，使這一數列的總和大于常數C。”
埃爾德什差異問題可簡述為：在任意隻由1和-1組成的無限數列中，能找到項與項間等距的有限子列，使子列各項之和的絕對值大于一個任意大的常數C。與許多數論難題一樣，埃爾德什差異問題描述起來很簡單，但證明難度卻很大。
證明
據美國《物理學家組織》網站報道，英國計算機專家阿列克謝·利什特沙和鮑裡斯·科涅夫最近借助計算機破解了一道有80餘年曆史的數學難題——埃爾德什差異問題(the Erdos Discrepancy Problem)。他們的論文預印本已發表在arXiv.org。
利什特沙和科涅夫的論文描述了他們如何建立計算機程序來破解埃爾德什差異問題。由于證明産生的數據有13GB之多(維基百科的整個數據才10GB)，以至于不可能由人工來檢驗。這就産生了一個有趣的問題：如果借助計算機證明數學命題，而數據的絕對量過于龐大，以至于沒有辦法由人工進行驗證，那麼這種證明能否被驗證真僞呢？
計算機的發明，是為計算而來，而計算能力始終是計算機的根本。計算機的介入改變了數學研究的方法，擴展了數學研究的領域，促進了計算數學的發展。尤其是運算量極其龐大的數學問題，大多數情況隻能借助計算機來解決。例如，四色問題、E8結構、費克特(Fekete)問題、開普勒(Kepler)猜想等著名數學難題，都是借助計算機來破解的。
計算機成為數學研究的工具已是大勢所趨，不可阻擋。正如我國知名學者周海中先生在“21世紀數學展望”一文中所言：計算機在數學研究中發揮的作用将越來越大；借助計算機解決數學問題将激勵人們去尋求更好、更簡單的方法，也加深人們對數學本質特征的認識，還推動以計算機為基礎的人工智能的發展。
