HackerPapers

arXiv:2309.11457math.HO

Automated Mathematics and the Reconfiguration of Proof and Labor

Rodrigo Ochigame

HN submission. Found in a submission link or body. Submitters do not count as commenters in the main ranking; a submission is not an endorsement.

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.

arXiv comments
15 pages, 1 figure; to appear in the Bulletin of the American Mathematical Society
Journal reference
Bull. Amer. Math. Soc. 61 (2024), no. 3, 423-437
DOI
doi:10.1090/bull/1821
Subjects
math.HOHistory and Overview cs.CYComputers and Society cs.LOLogic in Computer Science math.NTNumber Theory

On Hacker News

No comments linking this paper were found in the collected sources. Found in 1 HN submission from Oct 2023 to Oct 2023. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments0 threads

No comments linking this paper were found in the collected sources. Open submission discussions.

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.