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