Automated Mathematics and the Reconfiguration of Proof and Labor
Rodrigo Ochigame
TL;DR
This paper explores how automation transforms mathematical proof and labor, analyzing current practices, critiquing assumptions, and considering future economic and credit implications of automated research.
Contribution
It offers a comprehensive analysis of automation's impact on mathematical proof, labor, and credit systems, highlighting potential future changes.
Findings
Automation alters standards of proof in mathematics
Different forms of automation influence research practices
Automation may reshape economic and credit structures in research
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHistory and Theory of Mathematics · Political Economy and Marxism · Computability, Logic, AI Algorithms