Математик Теренс Тао обогнал компьютер в решении проблемы несоответствия Эрдеша

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