For a split second I read this headline as "Terence Tao dead at … years old" and was shocked