The author sharply criticizes OpenAI and Sam Altman for allegedly solving the Navier–Stokes problem by running 10,000 agents for 88 hours on a multi-million-dollar GPU cluster, with formal Lean verification and an asserted external forcing term. The article argues this was more a brute-force software-engineering and PR move, an ethical misuse of research (using results of Levent Alpöge, Tristan Buckmaster, Diego Córdoba, Tarek Elgindi) and financially motivated (IPO, marketing), rather than a genuine mathematical solution for the millennial prize.
AI-generated text
Allegations Regarding OpenAI's Navier–Stokes Claim: Computational Trick and Ethical Objection
The author sharply criticizes OpenAI and Sam Altman for allegedly solving the Navier–Stokes problem by running 10,000 agents for 88 hours on a multi-million-dollar GPU cluster, with formal Lean verification and an asserted external forcing term.
