SU\G(𝔸)/K·U

Automated mathematics and the reconfiguration of proof and labor

Authors

Rodrigo Ochigame
Type: Article
Publication Date: 2024-05-15
Citations: 1
DOI: https://doi.org/10.1090/bull/1821

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.

Topics

Locations

  • Bulletin of the American Mathematical Society
    View PDF

Ask a Question About This Paper

Summary

Login to see paper summary

Similar Works

Action Title Date Authors
+ PDF Ask
Automated Mathematics and the Reconfiguration of Proof and Labor 2023-01-01 Rodrigo Ochigame
+
Beyond Computers: The Sociology of Mathematical Proof 2011-01-01 Steven G. Krantz
+
AfterMath: The Work of Proof in the Age of Human–Machine Collaboration 2011-09-01 Stephanie Dick
+
The incubation effect: How mathematicians recover from proving impasses 2015-06-18 Miloš Savić
+
Proof in Mathematics Education, 1980-2020: An Overview 2020-08-31 Gila Hanna Christine Knipping
+
Computers and the Sociology of Mathematical Proof 2006-01-01 Donald MacKenzie
+
Paradigms and proofs: how revolutions transform mathematics 1996-01-01 Joseph W. Dauben
+
Mathematical Proofs: The Genesis of Reasonable Doubt 1976-06-04 Gina Kolata
+
Mechanizing Proof 2001-09-14 Donald Mackenzie
+
Understanding mathematical proof — Beyond “Eureka!” 1990-03-01 Ian Winchester
+
Proof and Computation:Digitization in Mathematics, Computer Science and Philosophy 2018-05-30 Klaus Mainzer Peter Schuster Helmut Schwichtenberg
+
The changing practices of proof in mathematics 2016-12-19 Andrew Arana
+ PDF Ask
Why Is There Philosophy of Mathematics At All? 2014-01-30 Ian Hacking
+
The automation of proof: a historical and sociological exploration 1995-01-01 Donald MacKenzie
+ PDF Ask
On Radically Expanding the Landscape of Potential Applications for Automated-Proof Methods 2021-05-07 Jeffrey Uhlmann Jie Wang
+
Rigor and Proof in Mathematics: A Historical Perspective 1991-12-01 Israel Kleiner
+
The Nuts and Bolts of Proofs 2013-01-01
+
The Nuts and Bolts of Proofs 2005-01-01
+
The Nuts and Bolts of Proofs 2023-02-09
+ PDF Ask
Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning 2024-12-19 Simon Frieder Jonas Bayer Katherine M. Collins Julius Berner Jacob Loader András Juhász Fabian Ruehle Sean Welleck Gabriel Poesia Ryan‐Rhys Griffiths

Cited by (0)

Action Title Date Authors

Citing (29)

Action Title Date Authors
+
A sharp region where 𝜋(𝑥)-𝑙𝑖(𝑥) is positive 2010-04-14 Yannick Saouter Patrick Demichel
+
Nicolas Bourbaki and the concept of mathematical structure 1992-09-01 Leo Corry
+ PDF Ask
A counterexample to Euler’s sum of powers conjecture 1967-01-01 L. J. Lander T. R. Parkin
+ PDF Ask
Why Is There Philosophy of Mathematics At All? 2014-01-30 Ian Hacking
+
AfterMath: The Work of Proof in the Age of Human–Machine Collaboration 2011-09-01 Stephanie Dick
+
The Withering Immortality of Nicolas Bourbaki: A Cultural Connector at the Confluence of Mathematics, Structuralism, and the Oulipo in France 1997-01-01 David Aubin
+
The Origins of Eternal Truth in Modern Mathematics: Hilbert to Bourbaki and Beyond 1997-01-01 Leo Corry
+
Notes on elliptic curves. II. 1965-01-01 B. J. Birch H. P. F. Swinnerton-Dyer
+
A group theory of group theory: Collaborative mathematics and the ‘uninvention’ of a 1000-page proof 2012-02-23 Alma Steingart
+
David Hilbert and the Axiomatization of Physics (1898–1918) 2004-01-01 Leo Corry
+ PDF Ask
Homotopy type theory and Voevodsky’s univalent foundations 2014-05-09 Álvaro Pelayo Michael A. Warren
+
Reliability of mathematical inference 2020-01-14 Jeremy Avigad
+
MATHEMATICAL RIGOR AND PROOF 2019-10-04 Yacin Hamami
+ PDF Ask
The Resolution of Keller’s Conjecture 2022-05-06 Joshua Brakensiek Marijn J. H. Heule John Mackey David E. Narváez
+ PDF Ask
The Riemann hypothesis is true up to 3·1012 2021-01-22 David J. Platt Tim Trudgian
+ PDF Ask
Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types 2022-04-03 Anthony Bordg Lawrence C. Paulson Wenda Li
+ PDF Ask
Russian Logics and the Culture of Impossible: Part I—Recovering Intelligentsia Logics 2021-10-01 Ksenia Tatarchenko Anya Yermakova Liesbeth De Mol
+ PDF Ask
Advancing mathematics by guiding human intuition with AI 2021-12-01 Alex Davies Petar Veličković Lars Buesing Sam Blackwell Daniel Zheng Nenad Tomašev Richard Tanburn Peter Battaglia Charles Blundell András Juhász
+
That We See That Some Diagrammatic Proofs Are Perfectly Rigorous 2013-05-13 J. Azzouni
+
The Dialogical Roots of Deduction 2020-12-10 Catarina Dutilh Novaes
+
Mathematics without Apologies 2015-07-29 M. P. Harris
+
Mechanizing Proof 2001-09-14 Donald Mackenzie
+
The Shaping of Deduction in Greek Mathematics 1999-03-11 Reviel Netz
+
Mathematics Elsewhere 2002-12-31 Marcia Ascher
+ PDF Ask
The Politics of Representation: Narratives of Automation in Twentieth-Century American Mathematics 2022-09-16 Stephanie Dick
+
“Some Call It Arsmetrike, and Some Awgryme” 2023-03-23 Michael Bárány
+
Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century 1996-01-18 Pietro Mancosu
+ PDF Ask
Some thoughts on automation and mathematical research 2024-02-16 Akshay Venkatesh
+ PDF Ask
Interpretable machine learning: Fundamental principles and 10 grand challenges 2022-01-01 Cynthia Rudin Chaofan Chen Zhi Chen Haiyang Huang Lesia Semenova Chudi Zhong