AI Isn’t Outthinking Mathematicians. It’s Out-Remembering Them.
Summary
A detailed exploration of how AI's vast external symbolic workspace (context window) may give it a memory-driven edge in mathematics. The piece argues that the advantage comes from working-memory-like capabilities externalized as notation and scratch-work, enabling long chains of reasoning and formal verification.