Main

NOTICE

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

■ 모집 부문 모집직종 채용분야 고용형태 채용인원 대체인력여부 채용구분 근무지 전임직 교원 순수 수학/응용 수학 난제 해결을 위한 AI/머신러닝 방법론 개발 및 적용(AI for math) 정규직 1명 아니오 신입,경력 대전(본원) 전임직 교원 AI/딥러닝 모델의 수학적 기초(이론, 알고리즘, 해석) 확립 및

2026.06.29

AI수학대학원 2027학년도 봄학기 입시설명회

2027학년도 봄학기 AI수학대학원 입학설명회를 개최하오니 관심있는 분들은 많은 참여 바랍니다. ● 일시 : 2026년 6월 19일(금) 16:00 ~ 17:00 ● 장소 : 대전 KAIST 본원 자연과학동 (E6-1) 1층 최석정강의실(1401호)

2026.06.05

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
placeholder

이창옥 KAIST 수리과학 융합연구 스테이션 소장, AI수학대학원 겸임교수로 합류

충남대-서울대-KAIST 글로컬랩의 핵심적인 한 축인 KAIST 수리과학 융합연구 스테이션의 소장을 역임하고 있는 KAIST 수리과학과 이창옥 교수가 AI수학대학원의 겸임교수로 합류했다. 이창옥

Machine-Assisted Proof

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

detail icon01

Mathematics Automation

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

detail icon02

Mathematical Formalism

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

detail icon03

Mathematical Reasoning and Discovery

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

detail icon04

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

HEAD OF GRADUATE SCHOOL OF AI FOR MATH

“수학에 모두 열정을
가진 학생들에게 더 넓고 깊은
통찰력을 제공합니다”

HEAD OF GRADUATE SCHOOL OF AI FOR MATH

“학문의 경계를 허물고
인류의 지적 발전에 기여할
새로운 연구를 시작합니다”

HEAD OF GRADUATE SCHOOL OF AI FOR MATH