OpenAI Navier-Stokes Claim Triggers Mathematician Backlash — SkimNews
Get the Tech newsletter
Daily tech — startups, AI labs, chips, the launches that shape the next decade. Free.
- OpenAI claimed on 8 September that its AI agents solved the Navier-Stokes problem, one of mathematics' most famous unsolved challenges, prompting what some mathematicians called an "existential crisis" in their field.
- Tristan Buckmaster said work he did on Navier-Stokes using OpenAI's Codex model may have been seen by the OpenAI team; OpenAI denied direct access but acknowledged data from his use of their products "helped improve our model."
- Mathematicians accused OpenAI of insufficient attribution to researchers whose work the model digested, including several believed close to their own solutions, with the editorial noting the same critique applies to artists and office workers.
- Mathematicians remain notably open to AI use despite signing open letters denouncing tech firms, with a nuanced discussion emerging about how humans could guide and interpret AI's mathematical output.
- Fields Medal winner Bill Thurston wrote in 2010 that "the product of mathematics is clarity and understanding. Not theorems, by themselves" — cited by the editorial to argue human interpretation remains essential.
- Mathematician Nestor Guillen suggested the conflict could be resolved by separating AI technology from the tech companies developing it and democratizing its use.
Why it matters: The Navier-Stokes dispute crystallizes a tension the editorial draws explicitly: AI firms advertise models' mathematical prowess while relying on the same uncredited human mathematicians to train and verify the work. The article extends that same credit-and-compensation question to artists and office workers whose labor underpins every AI output, framing it as unresolved across creative and intellectual fields.
Ask SkimNews
