This is practically guaranteed right?

The o1 series is passing AIME, so AMC is a breeze.

Unless we think GPT 5 is not allowed to think like the O series of models and that GPT 4o is nearly saturated.