Sign up or log in for free. It helps support the project and unlocks personalized paper recommendations and new AI tools. .

Some thoughts on automation and mathematical research

Authors

Akshay Venkatesh

Type: Article

Publication Date: 2024-02-16

Citations: 6

DOI: https://doi.org/10.1090/bull/1834

View Ask PDF

Abstract

I discuss how mathematicians come to a shared notion of what is important, and how automated reasoning might affect that process.

Topics

Locations

Bulletin of the American Mathematical Society
View PDF

Ask a Question About This Paper

Summary

Similar Works

Action	Title	Date	Authors
+	What does a mathematician do and why?	1985-01-01	Serge Lang
+	Adventures in Mathematical Reasoning	2016-07-19	Sherman K. Stein
+	Advanced Mathematical Thinking and the Computer	2002-01-01	Ed Dubinsky David Tall
+	Some Thoughts on the Role of Mathematics	1987-01-01	P. F. Hodnett
+	Enquiring about mathematicians enquiring about mathematics	2005-07-01	Peter Petocz
+ PDF Ask	Some philosophical aspects of mathematics	1928-01-01	Arnold Dresden
+ PDF Ask	Top-down Automated Theorem Proving (Notes for Sir Timothy)	2023-01-01	Craig E. Larson Nico Van Cleemput
+	About Mathematica	2017-01-01	Marian Mureşan
+ PDF Ask	I want to be a mathematician: An automathography	1987-05-01
+	What Do Mathematicians Do?	2023-10-06	Tracy Johnston Zager
+	What Do Mathematicians Do?	2008-07-22	Laurent Berger
+	How mathematicians Work	1996-01-01	Allan Muir
+	Mathematicians' Evolving Personal Arguments: Ideas That Move Proof Constructions Forward	2015-01-01	Melissa Louise Troudt
+	Ugly Mathematics: Why Do Mathematicians Dislike Computer-Assisted Proofs?	2012-10-19	Ulianov Montaño
+	What is a Mathematician?	2012-01-01	Steven G. Krantz
+	Mathematicians in an Aethereal World	2019-03-28	J. F. Heard
+ PDF Ask	On the notion of interestingness in automated mathematical discovery	2000-09-01	Simon Colton Alan Bundy Toby Walsh
+ PDF Ask	Notes on a Path to AI Assistance in Mathematical Reasoning	2023-01-01	Alex Kontorovich
+	On some alleged philosophical implications of mathematical logic	1953-06-01	Václav E. Beneš
+	What do research mathematicians know about coming to know mathematics	2006-01-01	Carl Winsløw

Cited by (5)

Action	Title	Date	Authors
+ PDF Ask	Proofs for a price: Tomorrow’s ultra-rigorous mathematical culture	2024-05-15	Silvia De Toffoli
+ PDF Ask	Automated mathematics and the reconfiguration of proof and labor	2024-05-15	Rodrigo Ochigame
+ PDF Ask	Automated Mathematics and the Reconfiguration of Proof and Labor	2023-01-01	Rodrigo Ochigame
+ PDF Ask	Poincaré on the value of reasoning machines	2024-05-15	Colin McLarty
+ PDF Ask	AlephZero and Mathematical Experience	2023-01-01	Simon DeDeo

Citing (1)

Action	Title	Date	Authors
+ PDF Ask	Varieties of mathematical understanding	2021-02-22	Jeremy Avigad