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

· Hacker News