I came across this essay by Rodrigo Ochigame exploring possible future impact of math formalization and automation. Automated Mathematics and the Reconfiguration of Proof and Labor Abstract: This essay examines how . . . Read more