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.

翻译：本文探讨自动化如何重构数学证明与劳动，以及未来可能的发展。讨论了证明的实践标准，区分了研究中自动化的主要形式，对反复出现的假设提出了批评，并探讨了自动化可能如何重塑劳动与信用的经济体系。