PSL 104 - Mathematics in the era of Artificial Intelligence
Advertisement
Profile:
Siddhartha Gadgil is a Professor in the Department of Mathematics at the Indian Institute of Science and also Chief Scientist at the Emergence Research India lab. He began his career with a Ph.D from Caltech in Geometric Topology and has worked in that and related fields for several years. For about a decade, his main focus has been on "Automated Theorem Proving" and related fields such as Formal methods.
Abstract:
Artificial Intelligence systems have become capable of doing mathematics at a high level - from winning IMO golds to research mathematics. In this talk, we will discuss what Artificial Intelligence systems have achieved, what they cannot yet do well and how to improve them. I will also discuss ways in which the practice of mathematics can adapt in the short term and in the long term.
Siddhartha Gadgil is a Professor in the Department of Mathematics at the Indian Institute of Science and also Chief Scientist at the Emergence Research India lab. He began his career with a Ph.D from Caltech in Geometric Topology and has worked in that and related fields for several years. For about a decade, his main focus has been on "Automated Theorem Proving" and related fields such as Formal methods.
Abstract:
Artificial Intelligence systems have become capable of doing mathematics at a high level - from winning IMO golds to research mathematics. In this talk, we will discuss what Artificial Intelligence systems have achieved, what they cannot yet do well and how to improve them. I will also discuss ways in which the practice of mathematics can adapt in the short term and in the long term.
Advertisement
Where is it happening?
The Institute of Mathematical Sciences, Chennai, India
Event Location & Nearby Stays:
Know what’s Happening Next — before everyone else does.
Host or PublisherPopular Science Lecture Series
