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 scoop after related progress with Anthropic researcher Levent Alpöge, and warn that agent swarms could chill open math collaboration.