OpenAI mistranslated mathematics into code for its Navier-Stokes proof

OpenAI appears to have made a subtle error when publishing its proofs of the Navier-Stokes problem, a team of mathematicians has claimed. The error doesn’t mean that the proofs are incorrect or that OpenAI hasn’t correctly solved the problem, but it does call into question whether mathematical results generated by AI models can always be relied on. “What has to be done with all of these large lang...