Automated Mathematical Discovery: Why Proof Search Explodes and What an AI Would Need
A 2026 arXiv essay models mathematics as a growing proof graph and argues that abstraction, not raw search, is what lets people (and perhaps machines)…
Science, Technology and the Physics Underneath