Graduate School of AI for Math, KAIST

NOTICE

2026 Graduate School of AI for Math Opening Workshop

Date: 2026.03.06.(Fri) 09:30 ~ 17:20 Place: Yang Seung-taek Auditorium, KAIST Time table ● 09:30 – 10:00 오프닝 세레모니 ● 09:30 – 09:35 개회사 및 내빈 소개 : 백형렬 AI수학대학원장 ● 09:35 – 09:55 주요 내빈 축사 ● 09:55 –

2026.02.19

SEMINAR

NEWS

Machine-Assisted Proof

Use AI as an assistive tool to prove complex mathematical theorems and perform calculations

Mathematics Automation

Maximize research efficiency by automating mathematical proofs and computational processes

Mathematical Formalism

Enhance AI’s reasoning capabilities by translating mathematical concepts into machine-interpretable formats

Mathematical Reasoning and Discovery

Discover new mathematical reasoning and insights beyond human intuition through AI

“At the intersection of human logical intuition and
AI’s vast computational power,
the future of mathematics will be determined.”

HEAD OF GRADUATE SCHOOL OF AI FOR MATH

“We provide broader and deeper
insight to students
who have a passion for mathematics.”

HEAD OF GRADUATE SCHOOL OF AI FOR MATH

“We initiate new research
that breaks down academic boundaries
and contributes to the intellectual advancement of humanity.”

HEAD OF GRADUATE SCHOOL OF AI FOR MATH

Main

AI FOR
MATH