There has been a lot of interest in the last few years on using AI for mathematical discovery. We will explore some of these recent developments, and mention tools which might be useful for the working mathematician.

Speaker

Ashvni Narayanan

University of Sydney

Time

Thur., 17:00-18:00, May 8, 2025

Venue

C654, Shuangqing Complex Building A

About the speaker

Ashvni Narayanan is a postdoctoral researcher at SMRI and the University of Sydney. Her interests include (but are not restricted to) number theory, formal verification, machine learning and discrete mathematics.

Her PhD, completed at Imperial College London, comprised of formalization of p-adic L-functions in an automated theorem prover called Lean 4. Ashvni also interested in machine learning and have been experimenting with translation of natural language to Lean code using Large Language Models.