OpenAI mistranslated mathematics into code for its Navier-Stokes proof | CodexMaster