OpenAI mistranslated mathematics into code for its Navier-Stokes proof | Dark Hacker News