OpenAI mistranslated mathematics into code for its Navier-Stokes proof (www.newscientist.com)

<a href="https://news.ycombinator.com/item?id=50026734">Comments</a>