OpenAI Claims Major Progress on a Second Millennium Prize Problem, Sparking Academia Backlash
新智元 · wechat · 2026-09-17
OpenAI president Greg Brockman says the company has made "significant progress on another" Millennium Prize Problem, following its Navier–Stokes breakthrough, fueling speculation of a DevDay reveal — with rumors pointing to two of the six remaining problems, possibly including P vs NP.
The earlier breakthrough used 10,000 reasoning agents over 88 hours, 2.7M messages, and 130B output tokens to prove smooth fluids develop finite-time singularities, fully formalized in Lean.
Controversy: After hundreds of mathematicians protested, OpenAI withdrew sponsorship of Caltech's first Mathathon. NYU's Tristan Buckmaster alleged his pre-publication progress leaked to OpenAI, which then burned 300B tokens in about a week to produce a complete proof with an unreleased model — and claims mathematician Sébastien Bubeck pressured him to drop a co-author's name. Brockman says the solving model's training cutoff predates the scholars' publication.
The core anxiety: when a scholar's public AI opens a crack in a century-old problem, a giant with 1000× compute can flatten the rest in days. Brockman argues these problems are the ultimate testbed for long-chain rigorous reasoning that will transfer to drug discovery and molecular dynamics.
Related event: Report: OpenAI nears solving the Hodge Conjecture(13 posts)→
More from Companies & People
- Perplexity launches its first AI research team in Berlin, hiring RE/RS — bo_wangbo · 2026-09-18
- Palantir CEO Karp: AI regulation is hard because every expert is 'on the payroll' — eliano · 2026-09-18
- RedMonk: Developers were the new kingmakers — agents are next in line — rseroter · 2026-09-18
- AI's PR Problem: More Jensen Huang, Less Sam and Dario, Says Commenter — NathanWilbanks_ · 2026-09-18
- Noam Brown's OpenAI team is hiring for long-horizon agents, alignment, and HCI — polynoamial · 2026-09-18
- Ex-AI exec: labs claim existential IP stakes yet operate in California where non-competes are void — suchenzang · 2026-09-18