OpenAI's proposed solution to the Navier–Stokes Millennium Prize Problem has prompted an attribution dispute after New York University mathematician Tristan Buckmaster accused the company of "semi-stealing" work connected to him and Levent Alpöge. OpenAI characterized its effort as concurrent and has denied accessing the researchers' specific work. The company said about 10,000 agents produced the proposal after 88 hours, before GPT-6 Astra spent another 17 hours formalizing and checking it in Lean. The Clay Mathematics Institute still classifies the problem as unsolved, and OpenAI said it would not pursue the associated $1 million prize. Buckmaster called the development a "Deep Blue–Kasparov moment" for mathematics, while Scientific American said AI companies appeared to have achieved mathematical performance beyond human capabilities. Cardano founder Charles Hoskinson also cited the episode as evidence of rapid advances in formal mathematics, while warning that centralized AI services can expose unpublished research and intellectual property.