OpenAI mistranslated mathematics into code for its Navier-Stokes proof
- AI-generated proofs are often checked using a process called formalisationPixels Hunter/Shutterstock 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 language model-generated proofs is that they will have to be read by humans, and this creates an enormo
Unverified
- AI-generated proofs are often checked using a process called formalisationPixels Hunter/Shutterstock 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 language model-generated proofs is that they will have to be read by humans, and this creates an enormo
Sources: Newscientist