OpenAI mistranslated mathematics into code for its Navier-Stokes proof
Ne
New ScientistBy Jacob Aron10/8/2026, 4:03:20 PM

EXECUTIVE SUMMARY
When OpenAI announced its surprise solution to the Navier-Stokes problem, it produced one proof for humans and one for computers – however, they don't match
Key Takeaways
- OpenAI mistranslated mathematics into code for its Navier-Stokes proof.
When OpenAI announced its surprise solution to the Navier-Stokes problem, it produced one proof for humans and one for computers – however, they don't match
Read Complete Original Article
Published originally on New Scientist
Related News

विज्ञान1 hour ago
Chronic UTIs made MP 'feel like a drug user'
Dr Allison Gardner MP has been living with the "searing pain" of recurring infections for a decade.

विज्ञान2 hours ago
Fly-tippers face £5k fine in new crackdown
Cornwall Council introduces new penalties after recording 17,500 incidents in five years.

विज्ञान2 hours ago
'I was dead for 10 minutes, but lived to tell the tale'
Medics in Spain raced against time to save Sandra McCartney's life after her heart stopped beating.

विज्ञान2 hours ago
Red squirrel project opens £250k community grant
Groups from around northern England and southern Scotland can bid for funding to help the creatures.


