Why the AI‑driven Navier‑Stokes dispute matters for the future of mathematics

Melbourne‑born Professor Tristan Buckmaster found himself at the centre of a heated dispute with OpenAI after the AI firm announced it had solved the Navier‑Stokes problem, one of the seven Millennium Prize challenges.

OpenAI said its researchers guided AI agents to produce a solution to the Navier‑Stokes equations, a problem that carries a US$1 million prize.

Buckmaster accused OpenAI of trying to “gazump” him and his research partner, Levent Alpöge, by offering to let him publish the solution while omitting Alpöge’s name.

He warned that AI’s involvement makes the race to publish mathematical breakthroughs “pointless” and urged the community to re‑evaluate what mathematics really is.

Buckmaster also highlighted the danger of a few private foreign companies controlling powerful AI tools, calling for ethical ground rules to protect national and scientific interests.

Using AI tools from OpenAI and Anthropic, Buckmaster and Alpöge had earlier solved the Euler problem – a stepping‑stone toward Navier‑Stokes – after months of checking and refining the AI‑generated proofs.

The controversy matters because it forces researchers to rethink credit attribution, collaboration norms, and the ethical use of AI in mathematics, potentially reshaping the entire research ecosystem.

COPYRIGHT DISCLAIMERS

4English does not own the rights to this content. All rights belong to the owner. 4English only uses this content to help users learn English via the app's features. Contact to request the removal of your content: contact@4englishapp.com.

Practice Listening