Dear all, The Macquarie Minds and Intelligences Research Centre warmly invites you to our next speaker series presentation.
Speaker: Markus Pantsar (RWTH Aachen University, Germany). Title: Towards an epistemology of artificial mathematical reasoning In 2025, both Google DeepMind and OpenAI reported that their large language model (LLM)-based AI systems had achieved gold medal level performance in the International Mathematical Olympiad. These developments suggest that in the near future important parts of mathematical theorem proving may be outsourced to LLM-based AI systems. In this talk, I want to take first steps toward establishing an epistemology of artificial mathematical reasoning in order to set up a systematic framework for studying mathematical reasoning in AI systems. When: Wednesday, 11th March, 12pm Where: Australian Hearing Hub Lecture Theatre - Macquarie University, Wallumattagal Campus (in-person event only) Markus Pantsar specialises in the philosophy of mathematics and philosophy of artificial intelligence. He received his PhD in 2009 at the University of Helsinki and is currently working as a Guest Professor at the RWTH University in Aachen, Germany. He is the author of the book Numerical Cognition and the Epistemology of Arithmetic (Cambridge University Press 2024). --------- SydPhil mailing list To unsubscribe, change your membership options, find answers to common problems, or visit our online archives, please go to the list information page: https://mailman.sydney.edu.au/mailman/listinfo/sydphil
