OpenAI mistranslated mathematics into code for its Navier-Stokes proof(newscientist.com)24 points by danielmorozoff 2 hours ago | 2 comments