Math Is Cooked by AI | MOONSHOTS

本站添加: 2026-05-16

[00:00:00]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.

[00:00:24]What does that tell me? That tells me that we're seeing now 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 four or five years.