Fwd: Talk by Dr. Siddhartha Gadgil | 22nd December, 2024 (Sunday) | 10:00 AM

[Siddhartha Gadgil]

---------- Forwarded message ---------
From: Maths Club <ma...@sac.iiserpune.ac.in>
Date: Mon, 16 Dec 2024 at 12:29
Subject: Talk by Dr. Siddhartha Gadgil | 22nd December, 2024 (Sunday) | 10:00 AM
To: Identity, Maths Club of IISER Kolkata <maths...@iiserkol.ac.in>, Maths Club <mathscl...@gmail.com>, <math...@iisertvm.ac.in>, <infini...@iisermohali.ac.in>, Project Spiral <pros...@iiserbpr.ac.in>, <students...@niser.ac.in>
Cc: Sinha, Kaneenika <kane...@iiserpune.ac.in>, of Chair <chair...@iiserpune.ac.in>, Siddhartha Gadgil <siddhart...@gmail.com>

Could you please circulate the following information among your student body? 

________________________________________________________________________________________________

Greetings everyone!

Hope everyone is having a great winter break (or gearing up for IISM/IICM).  Every year on 22nd December, the Maths Club at IISER Pune celebrates National Mathematics Day, and continuing with the tradition, we are organizing a talk by Dr. Siddhartha Gadgil.

Dr. Siddhartha Gadgil is a Professor in the Department of Mathematics at the Indian Institute of Science. His research interests are in (Low-dimensional) Topology and related areas, including Geometric group theory, Riemannian geometry and Metric Geometry (and its relation to Probability Theory). More recently, he is focused on Automated Theorem Proving, i.e., trying to get computers to do mathematics. 

Title: Automated Theorem Proving and its role in Mathematics

Date: 22nd December, 2024 (Sunday)

Time: 10:00 AM onwards
Venue: Online (https://meet.google.com/dyt-htut-jrh)

Abstract: 

Since the launch of ChatGPT about two years ago, GPT-like "foundation models" in AI have become a common tool. Such models continue to rapidly improve, including in their reasoning capabilities. Meanwhile, over the last few years Interactive Theorem Provers, especially Lean and its library Mathlib, are entering the mainstream of mathematics. Alongside these more dramatic advances, mathematical software such as Computer Algebra Systems as well as Symbolic AI based Automated Theorem Provers have continued to advance rapidly.

The capabilities of Generative AI, Interactive Theorem Provers, Symbolic AI and Mathematical software complement each other, showing great promise for tools to help in mathematical discovery. In the longer run these show potential for fully autonomous mathematical discovery.

In this talk I will discuss examples of what has been done with such systems, including hybrid ones, and the potential for their use. I will also discuss the possibility of autonomous systems and their ramifications.

We hope to see you all turn up in large numbers!

Regards,

Saranya, Tamuli and Yash

On behalf of the Maths Club

IISER Pune

∃! Website | Whatsapp | Instagram | YouTube |Suggestions and Feedback

PS: if you wish to contribute to Mathzine'24, you can submit your entries here: Entries