AI Isn't Outthinking Mathematicians. It's Out-Remembering Them