Philosophy of Mathematics seminar




Fenner Tanswell, Technische Universität Berlin, and Ásgeir Berg Matthíasson, University of Iceland
The Philosophical Implications of Using Large Language Models in Mathematics
The recent arrival of ChatGPT, and other widely available generative AI text systems based on large language models, has had immediate cultural impact. We will discuss how they might affect mathematical research, such as by allowing computers to act as referees, verifiers, assistants, collaborators, and even researchers in their own right. Our paper will look at how this affects some of the existing debates in the philosophy of mathematics, in particular: 1) on informal proofs and the significance of formalisability; 2) on mathematical epistemology and the a priori; and 3) on the role of computers in mathematics.

