OpenAI mistranslated mathematics into code for its Navier-Stokes proof(newscientist.com)
50 points by danielmorozoff | 5 comments
New Scientist article reporting that OpenAI's human-readable Navier-Stokes proof and its computer-formalized version do not match due to mistranslation into code.






























































