수학 난제 해결 인공지능 특화 학습 연구센터

Center for Specialized Orchestration and Training of AI for Frontier Mathematics (SOTA-MATH)

본 연구개발과제의 최종 목표는 수학자, 인공지능 전문가, 수학 교육 전문가가 함께 참여하는 수학 난제 해결형 인공지능 연구거점을 구축하고, 이를 기반으로 세계적 수준의 핵심 수학 난제 해결에 실질적으로 도전하는 것이다. 본 과제는 최신 인공지능 모델을 단순한 연구 보조 도구로 활용하는 데 머무르지 않고, 국내 독자 파운데이션 모델을 수학 연구에 특화된 연구...