It takes a lot of intelligence to "essentially predict" next token when you're doing a math proof. Or writing code.