OpenAI claims to have solved the Navier-Stokes problem using AI, but the math community is in uproar. The company allegedly used mathematicians' chat logs in training data before they could release their proof, framing the solution as an AI achievement rather than a human one.

Commenters are split. Some, like SockOlm and invalidusernamelol, accuse OpenAI of stealing work and calling it a PR stunt. Others, like Beaver and culpritus, argue the AI is just an automated tool, akin to a Mechanical Turk, performing tasks humans could do. Meanwhile, Soot points out that the real breakthrough is the refinement of Lean, a proof-verifying tool, with AI playing a minor role.

The community consensus leans toward OpenAI's claim being a misrepresentation of human work, with sharp criticism over stolen intellectual property and AI credit. The debate highlights a deeper divide over the role of AI in mathematical discovery and the ethics of using human data for machine learning.