The Navier–Stokes Millennium Prize Problem

OpenAI disclosed that an internal model produced a Navier–Stokes existence and smoothness proof on September 5 after an 88-hour computation using about 130 billion output tokens. NYU professor Tristan Buckmaster and Anthropic researcher Levent Alpöge claimed a simultaneous breakthrough with Claude and Codex, alleging OpenAI accessed their data; OpenAI denied direct use but acknowledged possible indirect influence from de-identified usage.