Add to Outlook calendar Add to Google calendar
Title: Computer Proofs and Artificial Intelligence in Mathematics
Speaker: Kevin Buzzard (Imperial College, London, UK), Viraj Kumar (IISc), and others
Date: 06 April 2023
Time: 3:30 pm - 5:00 pm
Venue: LH-1, Mathematics Department

ChatGPT and other advances in Artificial Intelligence have become popular sensations. In parallel with this has been an enormous advance in the digitization of mathematics through Interactive Theorem Provers and their libraries. Artificial Intelligence has started entering mathematics through these and other routes.

This session will have some presentations/demos about present use of Computer Proofs, Artificial Intelligence together and separately in Mathematics and related fields (including software), both in research and in teaching. After that everyone is welcome to discuss their work, ideas, wish-lists etc related to these themes.


Contact: +91 (80) 2293 2711, +91 (80) 2293 2265 ;     E-mail: chair.math[at]iisc[dot]ac[dot]in
Last updated: 17 May 2024