OpenAI’s September 8, 2026, announcement that an internal multi-agent system solved the Navier-Stokes existence and smoothness Millennium Prize Problem—producing both an analytical proof and Lean formalization after 88 hours of work—has shaped trader views on the likelihood of another such announcement. The company explicitly stated it would not claim the $1 million prize and noted substantial progress on additional Millennium Problems, while its early-October release of 722 AI-generated papers included verified results touching several remaining open questions, such as the Riemann hypothesis. Competitive pressure from labs like Anthropic, combined with the Clay Institute’s two-year community-acceptance requirement, creates uncertainty around timing, though ongoing internal model advances and public scrutiny of the latest papers could trigger further disclosures before year-end.