OpenAI's historic math solution overshadowed by credit controversy

· Axios ·

3 min read Original article ↗

OpenAI says its AI has solved the Navier–Stokes Millennium Prize problem, a potentially historic breakthrough shadowed by questions over unpublished research by outside mathematicians.

Why it matters: The controversy strikes at a core trust question for AI-assisted science: whether researchers can safely use frontier labs' tools to work on unpublished discoveries.

State of play: OpenAI said Tuesday an internal model "significantly more capable than GPT-6 Astra" produced a proof that the three-dimensional Navier–Stokes equations can develop a singularity in finite time.

Friction point: NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge had been working on closely related fluid-dynamics research.

Between the lines: The controversy raises thorny questions about who owns the work completed with AI tools, and whether the labs are competing with their own customers.

Zoom in: OpenAI says it did not access Buckmaster or Alpöge's specific user data while pursuing the proof. But the company acknowledged Tuesday that it can't entirely rule out an indirect connection.

What they're saying: "Now that we can see their work, the approaches appear to be different," OpenAI CEO Sam Altman wrote on X.

Mady's thought bubble: It's striking that OpenAI spent millions of dollars in compute chasing a math breakthrough after hearing that outside researchers — including an Anthropic employee — were close to one themselves.

The bottom line: Disputes over what AI companies know about your work and usage of their tools are just beginning.