Chuỗi Bài giảng: Những biên giới mới của Trí tuệ Nhân tạo trong Toán học

Thời gian: 11:00 đến 13:00 ngày 26/11/2025, 15:00 đến 17:00 ngày 22/12/2025, 11:00 đến 12:00 ngày 05/02/2026, 11:00 đến 12:00 ngày 06/03/2026,

Địa điểm: Online trên nền tảng zoom , Time: 11:00-12:00, March 6, 2026

Time: 11:00-12:00, March 6, 2026

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 bring 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 offer an unparalleled view of mathematics at the dawn of its AI-augmented age.

The fourth lecture of the series will be given by  Prof Ravi Vakil, Stanford University, USA: 

Title:  How AI might accelerate mathematics discovery: A realist's guide

Speaker: Prof. Ravi Vakil, Stanford University, USA

Objective: 

There has been a great deal of exaggeration and sloppy thinking in the public discussion of the impact on AI on mathematics. The most interesting and subtle question is to understand the actual current frontier — what sorts of problems are on the cusp of becoming tractable, and where should we focus our energies next? Now is the time for rapid experimentation, to better understand the new landscape. I will discuss two such types of experiments — of seeing how models can be used systematically by mathematicians to accelerate mathematical discovery in new fields, and how and why to formalize mathematics in much more complicated domains than before.

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.

Language: English

Format: Online 

Join Zoom Meeting
https://zoom.us/j/93547330641?pwd=GchgbEACG4aIcvztT5OQHms4iF6a5G.1
Meeting ID: 935 4733 0641
Passcode: 360126

Contact: Ms. Tran My Anh, email: tmanh@viasm.edu.vn 

Registration: : https://forms.gle/6RETmbVsojF43BoE7 

Deadline:March 5, 2026