N newscientist.com OpenAI mistranslated mathematics into code for its Navier-Stokes proof 57 points danielmorozoff 22 days ago 5 comments