As usual, Zvi has the best take on the Navier-Stokes proof, Theres a lot of fog and confusion, but the real story here is that it didn’t even take OpenAI two weeks to train a model that’s a step change above Astra, at least when it comes to math capability.(Joe Weisenthal)