세계 최대 규모 올림피아드 수학 데이터셋 ‘매스넷(MathNet)’ 오픈소스로 공개...MIT, AI 추론 능력 검증과 교육 민주화

AI 요약

매스넷은 매사추세츠 공과대학교(MIT) 컴퓨터과학·인공지능연구소(CSAIL)가 사우디아라비아의 킹 압둘라 과학기술대학교(KAUST)와 기술 기업 휴메인(HUMAIN)과 공동으로 24일(현지시간) 오픈소스로 공개한, 지금까지 만들어진 가장 큰 규모의 증명 기반 수학 문제 데이터셋으로 전 세계 47개국·17개 언어·143개 대회에서 출제된 3만 개 이상의 전문가 집필 문제와 해설을 포함합니다. 데이터셋은 6개 대륙의 다양한 문제와 전문가 검토를 거친 공식 해설을 포함해 AI 연구자와 학생들에게 제공되며, 벤치마크 결과 GPT-5가 매스넷의 6,400개 핵심 문제에서 평균 69.3%의 정답률을 보였고 그림·도표 포함 문제와 비주류 언어(예: 몽골어)에서는 성능이 급감했습니다. 구조적 동등성 검색 벤치마크에서는 최첨단 임베딩 모델들이 5%의 정답률을 보였고, 매스넷은 깃허브와 허깅페이스에서 공개되어 ICLR 2026에서 관련 연구가 발표됩니다.