OpenAI Claims Navier-Stokes Solution Amid Credit Fight — SkimNews
Get the Tech newsletter
Daily tech — startups, AI labs, chips, the launches that shape the next decade. Free.
- OpenAI announced a solution to the Navier-Stokes existence-and-smoothness problem and linked to a paper and a Lean formalized proof.
- OpenAI said 10,000 AI agents solved the $1 million math problem, while CNBC described the claimed result as completed in 88 hours.
- Mark Chen said no human or agent looked at user data during the Navier-Stokes effort, but distinguished that from OpenAI’s broader use of feedback and de-identified data to improve models.
- OpenAI acknowledged that it could not rule out de-identified data derived from Buckmaster’s and Alpöge’s use of its products helping improve its models.
- Tom’s Hardware reported that a researcher accused OpenAI of scraping a Codex session and issuing career threats, intensifying the plagiarism and attribution dispute.
- Clay Institute will not call the Navier-Stokes problem solved, according to the source coverage, limiting the claim’s status as an accepted mathematical resolution.
Why it matters: The material dispute is attribution and acceptance: OpenAI says 10,000 agents reached the result in 88 hours, yet the Clay Institute will not call Navier-Stokes solved, and researchers are contesting credit. For anyone evaluating the milestone, the formal proof and the provenance of the data matter alongside the headline result.
Ask SkimNews
