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.
When an AI system solves a difficult mathematical problem, the usual explanation is that it has become more intelligent.
Perhaps it has absorbed millions of mathematical examples. Perhaps reinforcement learning has taught it better reasoning strategies. Perhaps it is beginning to develop something resembling genuine mathematical intuition.