Harvard mathematicians debate whether OpenAI’s Navier-Stokes proof is understood

The announcement sparked controversy after NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge alleged that OpenAI used their unpublished work and attempted to exclude Alpöge from authorship discussions. OpenAI denied borrowing data or prompts. Expert reviews have suggested the proof may only apply to the "forced" formulation of the equations, where an external push is added, rather than the traditional "unforced" case. The Clay Mathematics Institute is still reviewing the work.

The core debate at Harvard centers on the distinction between correctness and understanding. While some faculty acknowledge that AI can effectively formalize and verify solutions, others argue that a proof without human insight does not advance mathematics. Professor Melanie Matchett Wood emphasized that AI should complement human comprehension. The incident highlights the difficulty of tracing intellectual credit when thousands of agents operate simultaneously and raises questions about the future role of mathematicians in interpreting machine-verified results.