Main

NOTICE

AI수학대학원 지도교수 선임 및 졸업요건 안내

AI수학대학원 학생의 지도교수 선임 및 졸업요건을 다음과 같이 안내합니다. 아래 기준은 2026년 9월 10일부터 시행하며, 시행일 현재 재학 중인 학생을 포함한 AI수학대학원의 모든 학생에게 적용합니다. 2026년도 입학생의 박사 자격시험 기한에는 아래에 명시된 별도 기준을 적용합니다. 1. 지도교수 선임 1-1. 공동지도교수

2026.09.11

고승찬 교수 연구실 대학원생 모집 안내

2026년 9월 1일 새로 부임하시는 고승찬 교수님께서 대학원생을 적극 모집합니다. 수치해석과 편미분방정식을 바탕으로 수학과 인공지능의 양방향 연구에 관심 있는 학생들의 많은 관심과 지원 바랍니다. 주요 연구 주제 본 연구실은 수치해석(Numerical Analysis)과 편미분방정식(PDE) 이론을 기반으로 수학과 인공지능의 양방향 연구를 수행한다. 수학적

2026.08.24

AI수학대학원 참여 연구센터 대학원생 모집 안내

1. 김재경 교수 연구실 주요 연구 주제 본 연구실은 수리과학과 딥러닝을 융합하여 복잡한 과학·공학 시스템의 지배동역학을 데이터로부터 발견하고 해석하는 원천기술을 개발한다. 특히 의생명수학 분야의 실제 문제(수면, 약물 반응, 유전자 조절)에 이를 적용하는 데 중점을 둔다. 대학원생 필요 소양 2. 하우석

2026.08.10

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

SEMINAR

11/3 Distinguished Lecture (Lee Kyu-Hwan)

Fall 2026 Graduate School of AI for Math Colloquium.

NEWS

placeholder

AI수학대학원 교수진 참여 연구센터 2곳, 차세대 AI+S&T 기반기술 개발 사업 선정

KAIST AI수학대학원/수리과학과 하우석 교수와 김재경 교수는 차세대 과학·공학 해석을 위한 물리·수학 기반 AI 해석·예측 모델 개발 연구 분야에서 향후 5년간

Machine-Assisted Proof

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

detail icon01

Mathematics Automation

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

detail icon02

Mathematical Formalism

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

detail icon03

Mathematical Reasoning and Discovery

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

detail icon04