About
We sincerely welcome you to the Graduate School of AI for Math,
College of Natural Sciences, KAIST website.
In June 2025, the Graduate School of AI for Math opened its doors, breaking down the boundaries between AI and mathematics to pioneer a new frontier.
At this pivotal moment, when artificial intelligence is transforming every field, I am both deeply honored and humbled to take on this significant responsibility as the inaugural Dean.
The core vision of our graduate school is 'AI for Math'.
While mathematics has traditionally advanced through human intuition and logic, recent developments—such as Google DeepMind winning a gold medal at the International Mathematical Olympiad (IMO)—demonstrate that AI is now entering the field of mathematics with reasoning capabilities that surpass human thought.
In response to this era, where AI goes beyond simple computation to tackle complex mathematical challenges, our graduate school aims to solve mathematical problems using AI and develop AI models optimized for mathematical research by nurturing the next generation of interdisciplinary talent.
Our English acronym, AI4MATH, embodies this core mission.
Here, 4M represents the following key values:
Machine-Assisted Proof: Utilizing AI as an assistive tool to prove complex mathematical theorems and perform computations.
Mathematics Automation: Automating mathematical proofs and computational processes to maximize research efficiency.
Mathematical Formalism: Translating mathematical concepts into machine-interpretable formats to enhance AI’s reasoning capabilities.
Mathematical Reasoning and Discovery: Driving new mathematical reasoning and discoveries beyond human intuition through AI.
Based on these four core values, KAIST seeks to establish a foundation for leading academic advancement in the era where AI and mathematics converge.
To achieve this, our graduate school fosters close collaboration among the Department of Mathematical Sciences, Kim Jaechul Graduate School of AI, School of Computing, and the Department of Industrial and Systems Engineering,
providing an innovative educational environment where top researchers jointly mentor students.
This will offer broader and deeper insights to students who are passionate about both AI and mathematics.
The Graduate School of AI for Math embarks on new research that transcends academic boundaries and contributes to the intellectual advancement of humanity.
We sincerely ask for your continued interest and warm support as we embark on this exciting journey.
Thank you.
Dean of Graduate School
Hyung Ryul Baek