Philosophy of Mathematics Seminar


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.