OpenAI’s September 2026 announcement of an AI-generated proof for the Navier-Stokes existence and smoothness problem—produced by roughly 10,000 autonomous agents over 88 hours and verified via Lean formalization—has elevated trader expectations that leading labs could deliver another qualifying Millennium Prize solution soon. The result demonstrated scaled multi-agent reasoning on a long-standing open problem, though Clay Mathematics Institute recognition remains pending and OpenAI declined to claim the prize. Subsequent October claims by OpenAI on partial Yang-Mills existence and related work from Anthropic have reinforced perceptions of rapid progress in AI mathematical capabilities across labs. With five qualifying problems still unresolved and no full additional announcements as of early November 2026, market-implied odds favor a 2027 resolution amid ongoing model scaling and competitive pressure.