Main

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

KAIST AI수학대학원 전임직교원 채용 공고

KAIST 자연과학대학 산하 AI수학대학원에서는 다음과 같이 전임직 교원을 초빙합니다. 모집 부문 채용분야 고용형태 채용인원 대체인력 여부 채용구분 근무지 순수수학/응용수학 난제 해결을 위한 AI/머신러닝 방법론 개발 및 적용 정규직 1명 아니오 신입,경력 대전 본원 AI/딥러닝 모델의 수학적 기초(이론, 알고리즘, 해석) 확립 및

2026.02.11

SEMINAR

NEWS

Machine-Assisted Proof

AI를 보조 도구로 활용하여 복잡한 수학적 정리를 증명하고 계산

Mathematics Automation

수학적 증명 및 계산 과정을 자동화하여 연구 효율을 극대화

Mathematical Formalism

수학적 개념을 기계가 이해할 수 있는 형식으로 전환하여 AI의 추론 능력을 강화

Mathematical Reasoning and Discovery

AI를 통해 인간의 직관이 닿지 않는 새로운 수학적 추론과 발견

“인간의 논리적 직관과
인공지능의 거대한 연산 능력이 만나는 지점에서
수학의 미래가 결정될 것입니다”

HEAD OF GRADUATE SCHOOL OF AI FOR MATH