OpenAI’s October 6 release of 722 manuscripts from an internal frontier model—claiming solutions or advances on 377 open problems across number theory, topology, algebra, and related fields—has accelerated trader expectations for additional FrontierMath resolutions. Several results include Lean formalizations, and the company previously reported a Navier-Stokes variant claim plus ten other long-standing problems solved in August. Independent labs such as doubleAI have also posted verified progress on decades-old graph theory questions at low compute cost. Epoch AI’s benchmark tracks only officially marked solves, so near-term catalysts include further Lean verifications, lab announcements, or Epoch updates that could push at least one more problem into “solved” status before year-end. Market-implied odds reflect the rapid cadence of these AI-driven mathematical results.