OpenAI’s math release is, in the words of Opus, “the single most consequential mathematical release ever” * LLMs have how made substantial progress on 4 of 7 Millenium Prize problems: Navier-Stokes (claimed), Riemann, Hodge and Birch-Swinnerton-Dyer. Poincaré was solved in 2003. The two left are P v NP and Yang Mills. *conditional on verification On average, each OpenAI result used only 3hrs of thinking compute on their new unreleased models. Two years ago, models said 9.11 > 9.9. Today, we…