I don't think AI will continue growing infinitely either, but maybe "incomprehensibly large" is large enough to solve all the math problems.