MAKE THE HEADLINE FIT THE THEOREM
Sam Altman described it as a Navier-Stokes result produced by 10,000 agents working for 88 hours on a GPU cluster.
The result was narrower. The system formalized one blowup case in Lean under controlled external forcing, building on work by Buckmaster, Alpöge, Córdoba, Elgindi and others.
That is still a serious engineering result. But "AI solved Navier-Stokes" gives the system credit for the mathematical idea, rather than for translating and checking an existing argument.
The correction ended up as a Dr. Seuss poem because the plain version sounded angrier than intended (x.com). The last line kept the point intact: "Make the headline fit the theorem - not the price of the stock."