OpenAI’s early October 2026 release of 722 AI-generated math papers—produced by an unreleased internal frontier model and covering progress on more than 370 open problems, including partial advances on the Riemann hypothesis and three other Millennium Prize challenges—has sharply elevated trader expectations for further breakthroughs before year-end. The results, many accompanied by Lean formalizations, followed the company’s September solution to a Navier-Stokes variant and underscore accelerating capabilities in formal reasoning and automated discovery. Competitive pressure from DeepMind’s AlphaProof and AlphaGeometry systems, which have reached silver- and gold-medal IMO performance, adds momentum, while the market’s strict criteria for full, lab-announced solutions by December 31 temper optimism on the hardest conjectures. Traders are watching for additional verified releases or advisory-group endorsements that could shift implied probabilities on specific problems.