OpenAI claims its AI model successfully solved the 200-year-old Navier-Stokes equation, though the achievement is currently overshadowed by allegations of intellectual property disputes and credit manipulation.

Key Points

• OpenAI utilized over 10,000 AI agents working for 50 hours to produce a Lean-formalized solution to the Navier-Stokes equation.
• The computational cost for this specific mathematical project exceeded $1 million, according to OpenAI research head Mark Chen.
• Mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge allege OpenAI rushed the project after accessing their private research progress.
• Buckmaster claims OpenAI proposed publishing the solution while excluding Alpöge’s name, an allegation OpenAI executives and CEO Sam Altman have denied.
• OpenAI maintains that its internal team did not view the researchers' private prompts or data before completing their own independent proof.

Why it Matters

This dispute highlights the growing tension between AI labs and academic researchers as automated systems begin to tackle complex, high-stakes mathematical problems. The controversy underscores the need for clearer ethical standards regarding data privacy and credit attribution when AI models are used to solve foundational scientific challenges.