[SydPhil] University of Sydney Philosophy Seminar Series, Markus Pantsar, (RWTH Aachen University, Germany)

[Ryan Cox]

Hi everyone,

This week's speaker in the University of Sydney Philosophy Seminar Series is Markus Pantsar, (RWTH Aachen University, Germany)

The title of the talk is "Recognizing artificial mathematical intelligence in theorem proving". Here is an abstract for the talk:

One key question in the philosophy of artificial intelligence (AI) concerns how we can recognize artificial systems as intelligent. To make the general question more manageable, I focus on a particular type of AI, namely one that can prove mathematical theorems. The current generation of automated theorem provers are not understood to possess intelligence, but in my thought experiment an AI provides humanly interesting proofs of theorems and communicates them in human-like manner as scientific papers. I then ask what the criteria could be for recognizing such an AI as intelligent. I propose an approach in which the relevant criteria are based on the AI’s interaction within the mathematical community. Finally, I ask whether we can deny the intelligence of the AI in such a scenario based on reasons other than its (non-biological) material construction.

The seminar will take place at 3:30pm on Wednesday March 5 in the Philosophy Seminar Room (N494).

Enquiries about the seminar series can be directed to ryan.cox at sydney.edu.au

Ryan Cox
Associate Lecturer in Philosophy
Discipline of Philosophy
School of Humanities
University of Sydney
ryan.cox at sydney.edu.au
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.sydney.edu.au/pipermail/sydphil/attachments/20250302/26e2c1bc/attachment.htm>