OpenAI says an unreleased model resolved the Navier–Stokes existence and smoothness problem, one of seven Millennium Prize Problems, with agents producing a solution in roughly 88 hours, verified via Lean. NYU professor Tristan Buckmaster alleges OpenAI began after learning of his near-year-long work with Anthropic's Levent Alpöge, conducted using Claude and Codex. OpenAI denies accessing user data but cannot rule out de-identified data aiding its models.
No score is assigned. Sources and their independence are shown in the citation chain below.