I don't think the math community thinks there's been a plateau. The models have gone from being a joke to being able to crank out proofs to research grade problems.