Add to Outlook calendar Add to Google calendar

Eigenfunctions Seminar

Title: Mathematics and the computer
Speaker: Kevin Buzzard (Imperial College, London, UK)
Date: 03 April 2023
Time: 4 pm
Venue: Faculty Hall, Main Building

For decades, mathematicians have been using computers to calculate. More recently there has been some interest in trying to get them to reason. What is the difference? An example of a calculation: compute the first one million prime numbers. An example of reasoning: prove that there are infinitely many prime numbers. Tools like ChatGPT can prove things like this, because they have seen many proofs of it on the internet. But can computers help researchers to come up with new mathematics? Hoping that a computer will automatically prove the Riemann Hypothesis is still science fiction. But new tools and methods are becoming available. I will give an overview of the state of the art.

(This is a Plenary talk in the EECS Research Students’ Symposium.)

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