Математик Теренс Тао решил так называемую проблему несоответствия Пала Эрдеша. Предыдущее ее решение, полученное в течение шести часов компьютером, представляет собой файл объемом 13 гигабайтов, что на три гигабайта больше, чем весь текстовый архив Wikipedia. Свои результаты исследований Тао опубликовал на сайте arXiv.org

Пал Эрдеш полагал, что у любой бесконечной последовательности, состоящей из -1 и +1, всегда найдется конечная подпоследовательность, несоответствие которой будет больше, чем любое выбранное число. Ученый не доказал свое утверждение, однако (как часто делал) в 1930 году предложил за него премию в 500 долларов, сообщает Lenta.ru.

В 2012 году математики российского происхождения, работающие в Ливерпульском университете в Великобритании, предложили компьютерный вариант доказательства утверждения Эрдеша.

Доказательство Тао из Калифорнийского университета в Лос-Анджелесе заняло 20 страниц текста (вместе с титульным листом и списком литературы).

Австралийский и американский математик Теренс Тао в 2006 году на 25-м Международном конгрессе математиков в Мадриде Тао стал лауреатом Филдсовской премии, а в 2014 году — «Премии за прорыв в математике» Юрия Мильнера, Марка Цукерберга и Сергея Брина.