Mark Downie - PoppaString ยท Oct 02, 2026ARTIFICIAL INTELLIGENCERThe Unread ProofOpenAI spent $15 million proving the wrong version of the Navier-Stokes problem, in a document dense enough that reading it may itself require an AI. ...OPEN AICLAY MATHEMATICS INSTITUTE