Strong trader consensus that AI will solve zero additional Millennium Prize Problems before year-end stems from the extreme scale and cost of OpenAI’s September Navier-Stokes breakthrough, which required roughly 10,000 agents, an unreleased internal model far beyond GPT-6 Astra, and an estimated $15 million in compute over just days. That result, while Lean-verified, relied on prior human-AI work by mathematicians including Tristan Buckmaster and Levent Alpöge and triggered debate over credit and replicability. With only weeks left in 2026, no comparable announcements have followed despite October reports of progress on hundreds of other open problems and partial advances toward Riemann or Hodge. The remaining five problems demand comparable or greater resources and formal verification, making further full resolutions before January improbable under current timelines.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · UpdatedView resolved

Beware of external links.
Beware of external links.
Frequently Asked Questions