OpenAI mistranslated mathematics into code for its Navier-Stokes proof | New Scientist — Blankdot