PIRSA:25040071

Video URL

https://pirsa.org/25040071

Natural Proof Checking and AI

Koepke, P. (2025). Natural Proof Checking and AI. Perimeter Institute for Theoretical Physics. https://pirsa.org/25040071

Koepke, Peter. Natural Proof Checking and AI. Perimeter Institute for Theoretical Physics, Apr. 08, 2025, https://pirsa.org/25040071 

          @misc{ scivideos_PIRSA:25040071,
            doi = {10.48660/25040071},
            url = {https://pirsa.org/25040071},
            author = {Koepke, Peter},
            keywords = {},
            language = {en},
            title = {Natural Proof Checking and AI},
            publisher = {Perimeter Institute for Theoretical Physics},
            year = {2025},
            month = {apr},
            note = {PIRSA:25040071 see, \url{https://scivideos.org/index.php/pirsa/25040071}}
          }

Peter Koepke University of Bonn

Talk numberPIRSA:25040071
DOI10.48660/25040071
Source RepositoryPIRSA
Collection
Talk Type Conference

Abstract

From the start of AI, mathematical theorem proving has been an important challenge and technique. We sketch the topics of Automated and Interactive Theorem Proving and present the checking of naturally readable mathematical texts in the Naproche proof system. This involves translations between informal, semi-formal and formal mathematical languages and shows great potential for the use of new AI techniques.