OpenAI’s September 8 announcement that an internal multi-agent system solved the Navier-Stokes Millennium Prize Problem—producing both an analytical proof and Lean formalization in roughly 88 hours—has anchored trader sentiment around the company’s accelerating math capabilities. The same model, trained starting late August, is now reported to have resolved over 100 additional open problems, with plans for broader releases of results that could include another Millennium Prize solution. Ongoing peer scrutiny of the Navier-Stokes proof, concurrent work by rival teams, and OpenAI’s stated intent not to claim the prize add uncertainty, yet the pace of verified AI-driven advances continues to shape expectations for near-term follow-on announcements.