Morning Edition · Friday, October 16, 2026Published at 2:26 AM EDT · New York

Mathematicians now say OpenAI's Navier-Stokes blowup proof does not follow the Spanish method it was credited to

The finding weakens the claim that the proof borrowed its core idea, but a separate paper argues that the Lean formalization does not match the 166-page natural-language proof.

OpenAI's September claim to have settled the Navier-Stokes Millennium Prize problem has a new twist. According to AI Post, the proof may be more original than critics first believed. In early September, OpenAI posted a 166-page manuscript s…