국가R&D로 수행 중인(또는 수행된) 연구과제 정보입니다. ■ 과제 개요 · 과제명: 수학 난제 해결 인공지능 특화 학습 연구센터 · 예산사업명: 기초연구기반구축 · 기준년도: 2026년 · 총 연구기간: 2026-08-01 ~ 2032-07-31 · 당해연도 연구기간: 2026-08-01 ~ 2027-07-31 · 수집 분야: 교육 ■ 수행 주체 · 과제수행기관: 서울대학교 · 연구책임자: 서인석 · 부처명: 과학기술정보통신부 ■ 연구비 (당해년도) · 정부투자연구비: 2,000,000,000원 ■ 한글키워드 · 인공지능, 수학 난제, 수학 추론, 거대 언어 모델, 검증 가능 추론 ■ 영문키워드 · AI, Open Problems in Mathematics, Mathematical Inference, LLM, Verifiable Reasoning ■ 연구내용 ... 외부 검증 도구와 연결하여 확인하고, 수학자와 인공지능이 상호작용할 수 있는 공동연구 플랫폼을 개발한다. 또한 소규모 난제 연구 스튜디오를 정식 운영하고 수학-인공지능 융합 프로그램을 개최하여 교육과 연구의 접점을 넓힌다. 3차년도에는 특화 데이터를 … ■ 원문 확인 · 과제고유번호: 2710115554 · NTIS 과제상세페이지: https://www.ntis.go.kr/project/pjtInfo.do?pjtId=2710115554 (NTIS 로그인 후 조회할 수 있습니다) ※ 출처: 국가과학기술지식정보서비스(NTIS) — 공공저작물 제1유형(출처표시) 위에 없는 상세 정보는 NTIS 과제상세페이지에서 확인해 주세요.