OpenAI’s claimed Navier-Stokes proof and its uncertain practical impact · Digg