NYU's Buckmaster Says OpenAI's 10,000-Agent Navier-Stokes Attempt Lifted His Approach

Scientific American walks through the dueling claims around the Clay Millennium Navier-Stokes problem: Anthropic mathematician Levent Alpoge and NYU's Tristan Buckmaster verified a Claude-assisted Euler-equation proof in August with Lean; OpenAI ran 100 agents on September 1 and announced a 10,000-agent Navier-Stokes solution on September 8. Buckmaster accuses OpenAI of reusing his ideas, which OpenAI denies, saying it did not access his research after July 3. He aired the dispute in his first public lecture on October 22.