OpenAI’s Navier–Stokes claim stirs math community over agent-swarm scooping
OpenAI says an internal model and roughly 10,000 agents produced a Lean formalized Navier–Stokes Millennium Prize solution in 88 hours. Mathematicians and NYU’s Tristan Buckmaster allege a rushed sco…
