Automated Mathematics and the Reconfiguration of Proof and Labor
Not on the map. Why?
Abstract (arXiv)
This essay examines how automation has reconfigured mathematical proof and labor, and what might happen in the future. It discusses practical standards of proof, distinguishes between prominent forms of automation in research, provides critiques of recurring assumptions, and asks how automation might reshape economies of labor and credit.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 20 Sep 2023.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2026: 1.
1 paper.
- 2026Artificial Intelligence and the Structure of Mathematicscited by 4
- 2026Artificial Intelligence and the Structure of Mathematics7 Apr 2026