OpenAI’s October 6–8 release of 722 AI-generated mathematical papers—produced by an unreleased internal frontier model and covering 377 previously unsolved problems across algebra, number theory, topology, and theoretical computer science—has sharply shifted trader sentiment. Many results include Lean formalizations for automated verification, with notable claims advancing the quasi-Riemann hypothesis and extending work on the Navier-Stokes equations. This follows earlier 2026 breakthroughs by OpenAI’s Astra model and contributions from Anthropic’s Claude variants on FrontierMath problems. Epoch AI’s ongoing classification of additional Open Problems as solved remains the key resolution trigger, while competitive releases from other labs and independent mathematician reviews could accelerate or delay further updates through year-end.