OpenAI Near Solving Another Millennium Prize Problem Amid Codex Usage Controversy

socoolandawesome · reddit · 2026-09-11

Per a New York Times report (paywalled, unlocked link included), OpenAI is nearing solving another Clay Millennium Prize problem — work on the Navier-Stokes equations involving mathematician Tristan Buckmaster.

The controversy: outsiders questioned whether Levent/Buckmaster's recent heavy Codex usage influenced the model's output. OpenAI has categorically denied that their usage affected the model's results. A landmark case combining AI-assisted math breakthroughs with a dispute over where the capability came from.

Related event: OpenAI Claims Navier-Stokes Proof, Substantial Progress on Another Millennium Problem(6 posts)→

Original post →

More from Models

Models channel →