AI isn’t outthinking mathematicians, it’s out-remembering them