СМИ: Математик решил проблему Эрдеша быстрее компьютера

Американский математик Теренс Тао заявил, что сумел разрешить математическую проблему несоответствия Эрдеша, компьютерное решение которой заняло шесть часов.Журнал New Scientist сообщает, что Тао смог решить сложную математическую проблему уложившись при этом в 20 страниц текста. Решение, представленное компьютером, занимало файл размером 13 гигабайт, что превышает по размерам текстовый архив «Википедии», говорится в публикации.