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

The key advantage may not be superior reasoning, but a virtually unlimited symbolic working memory.