Some thoughts on automation and mathematical research
HTML articles powered by AMS MathViewer
- by Akshay Venkatesh;
- Bull. Amer. Math. Soc. 61 (2024), 203-210
- DOI: https://doi.org/10.1090/bull/1834
- Published electronically: February 16, 2024
- HTML | PDF | Request permission
Abstract:
I discuss how mathematicians come to a shared notion of what is important, and how automated reasoning might affect that process.References
- Abrams v. United States, 250 U.S. 616, 1919.
- Jeremy Avigad, Varieties of mathematical understanding, Bull. Amer. Math. Soc. (N.S.) 59 (2022), no. 1, 99–117. MR 4340829, DOI 10.1090/S0273-0979-2021-01726-5
- J. Pearl, Reverend Bayes on inference engines: A distributed hierarchical approach, Proceedings of the Second National Conference on Artificial Intelligence, AAAI Press, Menlo Park, California, 1982.
- J.-M. Schlenker, The prestige and status of research fields within mathematics, arXiv:2008.13244.
- S. Sloman, B. Love and W. Ahn, “Feature Centrality and Conceptual Coherence,” Cognitive Science vol. 22 (2), 1998.
- H. Weyl, address at Princeton Bicentennial Conference, 1946.
Bibliographic Information
- Akshay Venkatesh
- Affiliation: School of Mathematics, Institute for Advanced Study, Princeton, New Jersey 08540
- MR Author ID: 693009
- Email: akshay.venkatesh@gmail.com
- Received by editor(s): June 30, 2023
- Published electronically: February 16, 2024
- Additional Notes: This essay, originally written in February 2022, is a writeup and expansion of a talk I gave at the Institute for Advanced Study in November 2021 as part of an ongoing interdisciplinary seminar examining some of the impacts of machine learning. Some minor changes, including the addition of an afterword, were made in March 2023.
The author was supported by NSF grant DMS-1931087 - © Copyright 2024 American Mathematical Society
- Journal: Bull. Amer. Math. Soc. 61 (2024), 203-210
- MSC (2020): Primary 00A30, 00A35
- DOI: https://doi.org/10.1090/bull/1834
- MathSciNet review: 4726987