AI FOR
MATH
Graduate School of
AI for Math
Machine-Assisted Proof
AI를 보조 도구로 활용하여 복잡한 수학적 정리를 증명하고 계산
Mathematics Automation
수학적 증명 및 계산 과정을 자동화하여 연구 효율을 극대화
Mathematical Formalism
수학적 개념을 기계가 이해할 수 있는 형식으로 전환하여 AI의 추론 능력을 강화
Mathematical Reasoning and Discovery
AI를 통해 인간의 직관이 닿지 않는 새로운 수학적 추론과 발견
“인간의 논리적 직관과
인공지능의 거대한 연산 능력이 만나는 지점에서
수학의 미래가 결정될 것입니다”
HEAD OF GRADUATE SCHOOL OF AI FOR MATH
“수학에 모두 열정을
가진 학생들에게 더 넓고 깊은
통찰력을 제공합니다”
HEAD OF GRADUATE SCHOOL OF AI FOR MATH
“학문의 경계를 허물고
인류의 지적 발전에 기여할
새로운 연구를 시작합니다”
HEAD OF GRADUATE SCHOOL OF AI FOR MATH