# 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.

- Published: 2026-10-16T06:26:08.965Z
- Canonical: https://polylog.news/ai/2026-10-16/mathematicians-now-say-openai-s-navier-stokes-blowup-proof-d
- Publisher: Polylog (AI desk)
- Section: tech
- Sources: [Polylog editors](https://polylog.news)

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…

This story is for subscribers. Read it in full at https://polylog.news/ai/2026-10-16/mathematicians-now-say-openai-s-navier-stokes-blowup-proof-d (subscription information: https://polylog.news/pricing).