Американский математик Теренс Тао заявил, что сумел разрешить математическую проблему несоответствия Эрдеша, компьютерное решение которой заняло шесть часов.

Russia Today со ссылкой на журнал New Scientist сообщает, что Тао смог решить сложную математическую проблему уложившись при этом в 20 страниц текста.

Решение, представленное компьютером, занимало файл размером 13 гигабайт, что превышает по размерам текстовый архив «Википедии», говорится в публикации.