OpenAI announced a Navier-Stokes proof on a press call. The mathematicians it is disputing with published Lean formalisations

Mathematicians at OpenAI showed that the Navier-Stokes equations, which describe how fluids flow, can sometimes “blow up.” But the massive result is not without controversy.

Prior to the announcement, rumors were circulating online among mathematicians over the proof’s origins—OpenAI has denied all allegations