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