The Frontiers of AI in Mathematics: A Distinguished Lecture Series

Time: 11:00 to 13:00 Ngày 26/11/2025

Venue/Location: Online via the following zoom link

Mathematics has entered a new era. From automated theorem proving and conjecture generation to the discovery of hidden patterns in vast datasets, artificial intelligence is no longer merely a tool, it is becoming a collaborative partner in the creative act of mathematical discovery.

This series will brings together the leading experts who are reshaping the discipline. They will explore deep as well as practical questions: Can AI truly “understand” mathematics, or is it only recognizing patterns? How will proof assistants change the way theorems are discovered and verified? What are the limits and the dangers of machine-generated mathematics? How to use AI tools to improve the experience of doing mathematics for everyone, not just a few?

During this series of presentations, the audience will hear about the latest results, witness live experiments, and participate in current debate on the philosophical and practical implications of a future in which human intuition and machine computation are inextricably intertwined.

Whether you are a research mathematician, a computer scientist, a math enthusiast or simply fascinated by the evolving boundary between human and artificial reasoning, these talks offers an unparalleled view of mathematics at the dawn of its AI-augmented age.

The opening lecture of the series will be given by Prof. Sergei Gukov (AIM):

1. Title: Mathematics and AI

2. Time: 11:00 – 13:00 AM, November 26th, 2025

3. Speakers:

Prof. Sergei Gukov, American Institute of Mathematics

4. Objective: An alternative title for this talk could be "Learning Hardness." To see why, we will explore some long-standing open problems in mathematics and examine what makes them hard from a computational perspective. We will argue that, in many cases, the difficulty arises from a highly uneven distribution of hardness within families of related problems, where the truly hard cases lie far out in the tail. We will then discuss how recent advances in AI may provide new tools to tackle these challenges. Based in part on the recent work with A.Shehper, A.Medina-Mardones, L.Fagan, B.Lewandowski, A.Gruen, Y.Qiu, P.Kucharski, and Z.Wang (NeurIPS 2025).

5. Program Committee:

Ngo Bao Chau, Vietnam Institute for Advanced Study in Mathematics;
Dao Hai Long, The University of Kansas, USA;
Le Minh Ha, Vietnam Institute for Advanced Study in Mathematics;
Ho Tu Bao, Vietnam Institute for Advanced Study in Mathematics;
Pham Kim Son, BioTuring.

6. Language: English

7. Format: Online

8. Contact: Ms. Nguyen Thi Hai, email: nthai@viasm.edu.vn