Developments in math+AI

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

Venue：C654, Shuangqing Complex Building A

Organizer：/

Speaker：Ashvni Narayanan

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.

DATEMay 6, 2025

Related News

0
Fourier restriction type problems: New developments in the last 15 years
Speaker Ruixiang Zhang is an assistant professor in the Department of Mathematics. He works in harmonic analysis on Euclidean spaces and related problems. He is also interested in harmonic analysis on general locally symmetric spaces and in additive combinatorics.Awards for Zhang include the Gold Medal of the 49th International Mathematics Olympiad, a Silver Medal for his doctoral thesis for th...
1
Dynamic Stochastic Variational Inequalities and Their Applications in AI
Speaker：Xiaojun Chen (The Hong Kong Polytechnic University)Time：Fri., 16:00-17:00, May 30, 2025Venue：C548, Shuangqing Complex Building AAbstract：The dynamic stochastic variational inequality (DSVI) is an ordinary differential equation whose right-hand side is defined by the two-stage stochastic variational inequality (SVI). The DSVI provides a unified modelling framework for various applica...