This is part of its efforts to popularize science to the general public and students who are pursuing science as their career. TNSF attempt to focus on students on higher science as everyone knows that learning of science at college within the curriculum is not enough to acquire holistic knowledge of science at the appropriate time. Hence, to fill the gap between what students are acquiring through the curriculum and what it is required, TNSF is planning its activities on higher science to students who are pursuing higher education.
About the Lecture 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.
Introduction
Prof. Siddhartha Gadgil
Professor, Department of Mathematics, Indian Institute of Science (IISc), Chief Scientist, Emergence Research India Lab
Mathematics in the era of Artificial Intelligence
Q & A
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.