TOPIC
1 Story Published
AI Research
Research
8m
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…