Automated Mathematics and the Reconfiguration of Proof and Labor
History and Overview
2024-06-27 v1 Computers and Society
Logic in Computer Science
Number Theory
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.
Cite
@article{arxiv.2309.11457,
title = {Automated Mathematics and the Reconfiguration of Proof and Labor},
author = {Rodrigo Ochigame},
journal= {arXiv preprint arXiv:2309.11457},
year = {2024}
}
Comments
15 pages, 1 figure; to appear in the Bulletin of the American Mathematical Society