Terence Tao:

"seriously, where we are right now is not right"

Fine, AI is solving major conjectures, but it isn't actually creating value, and whatever value it does create is far weaker

And these problems, Riemann and Navier-Stokes, we don't need them solved next week. We can afford to go slower