When OpenAI announced its surprise solution to the Navier-Stokes problem, it produced one proof for humans and one for ...