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
Back to Science
Science
October 8, 2026 at 4:03 PM
OpenAI mistranslated mathematics into code for its Navier-Stokes proof
New Scientist
Excerpt from New Scientist.