ICTS:28950

Video URL

Mathematical Reasoning, Formal Proof Systems and Mathematical Reasoning

Mathematical Reasoning, Formal Proof Systems and Mathematical Reasoning

(2024). Mathematical Reasoning, Formal Proof Systems and Mathematical Reasoning. SciVideos. https://youtu.be/TfKD5eXu6fc

Mathematical Reasoning, Formal Proof Systems and Mathematical Reasoning. SciVideos, Jun. 20, 2024, https://youtu.be/TfKD5eXu6fc 

          @misc{ scivideos_ICTS:28950,
            doi = {},
            url = {https://youtu.be/TfKD5eXu6fc},
            author = {},
            keywords = {},
            language = {en},
            title = {Mathematical Reasoning, Formal Proof Systems and Mathematical Reasoning},
            publisher = {},
            year = {2024},
            month = {jun},
            note = {ICTS:28950 see, \url{https://scivideos.org/icts-tifr/28950}}
          }
Siddhartha Gadgil
Talk numberICTS:28950
Source RepositoryICTS-TIFR
Source EventSummer School for Women in Mathematics and Statistics
Collection

Abstract

Generative AI has become a popular sensation, showing remarkable abilities including with language, analogical reasoning and originality. But, as is well known, it is notoriously unreliable.

Less visible have been dramatic developments in Formal Proof Systems, where computers verify and help in finding proofs.

Formal proof systems perfectly complement generative AI for Mathematical reasoning, at least in principle. In this talk, I discuss these two developments and their relation.