What does Terry Tao think?