Math Is Cooked by AI | MOONSHOTS

Math is cooked. My favorite benchmark among all of these is Frontier Math Tier 4, one of the best proxies for the ability for AIs to solve professional-level research problems in math. What do we see? We see from GPT-5.4 Pro to 5.5 Pro, approximately a 2% leap in approximately the last 2 months. What does that tell me? That tells me that we're seeing approximately 1% gains per month in research-level math coming from Frontier AIs, and we're getting closer to approximately half of all of the Frontier Math Tier 4 problems getting solved. Even just at the present pace, we're talking about essentially all Frontier Math Tier 4, all professional research-grade math problems being solved in the next 4 or 5 years.