title: AfterMath: the work of proof in the age of human-machine collaboration.
abstract: During the 1970s and 1980s, a team of Automated Theorem Proving researchers at the Argonne National Laboratory near Chicago developed the Automated Reasoning Assistant, or AURA, to assist human users in the search for mathematical proofs. The resulting hybrid humans+AURA system developed the capacity to make novel contributions to pure mathematics by very untraditional means. This essay traces how these unconventional contributions were made and made possible through negotiations between the humans and the AURA at Argonne and the transformation in mathematical intuition they produced. At play in these negotiations were experimental practices, nonhumans, and nonmathematical modes of knowing. This story invites an earnest engagement between historians of mathematics and scholars in the history of science and science studies interested in experimental practice, material culture, and the roles of nonhumans in knowledge making.
authors.affiliation: Department of the History of Science, Science Center 371, Harvard University, Cambridge, Massachusetts 02138, USA.
authors.forename: Stephanie
authors.initials: S
authors.lastname: Dick
mesh_terms: D001185:Artificial Intelligence; D002641:Chicago; D004059:Diffusion of Innovation; D049673:History, 20th Century; D006801:Humans; D008433:Mathematics / Q000266:history*; D012106:Research / Q000266:history; D014584:User-Computer Interface