Scott Aaronson / Shtetl-Optimized: A theoretical computer scientist says he has heard rumors that AI labs are sitting on major solutions after a hostile response to the Navier-Stokes proof — Twenty years ago, when the idea of AI taking over the world in our lifetimes still struck most of us as the unconstrained fantasy …