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,

Địa điểm: Online trên nền tảng zoom

Time: 15:00-17:00, December 22, 2025

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 second lecture of the series will be given by  Dr. Bartosz Naskręcki, Adam Mickiewicz University, Poland:

1. Title: Mathematics in the Age of Artificial Intelligence 

2. Speaker: Dr. Bartosz Naskręcki, Adam Mickiewicz University, Poland.

3. Objective: Recent years have been full of reports, astonishing in their boldness and scale, about whether and how AI, in particular methods based on large language models, will revolutionize science, including computer science and mathematics. I would like to take a closer look at these reports from the perspective of both a practicing mathematician and an involved beta tester of such systems. I will present you with some spectacular examples where transformer-based neural networks can produce meaningful-looking mathematical proofs, but at the same time can be wrong in every other sentence. We will also include methods of formalizing proofs based on functional programming and see if there is a vision of mechanized mathematics on the horizon, in which humans remain (only) an eternal source of inspiration.

4. 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.

5. Language: English

6. Format: Online

Join Zoom Meeting: https://zoom.us/j/93750726928?pwd=uH8Fy8qgF6znARF40bwqJjhdMgiaHI.1

Meeting ID: 937 5072 6928
Passcode: 297885

Registration: : https://forms.gle/B4mW5PspfjJ1GsSA8 

Deadline: December 20, 2025