OpenAI’s September 2026 announcement of an AI-generated partial solution to the Navier-Stokes Millennium Prize problem, produced via thousands of internal large language model agents and Lean formalization in roughly 88 hours, established the precedent for rapid AI-driven math advances. This was followed in late October by claims addressing the Exponential Time Hypothesis, local smoothing/Kakeya conjectures, and the existence portion of Yang-Mills theory. Expert review panels, including mathematicians and Nobel laureate David Gross, are now scrutinizing the work, while rival Anthropic has released concurrent results on overlapping problems. Traders are watching verification timelines, potential full resolutions versus partial claims, and compute scaling that could enable further announcements before year-end.