샤오홍슈 AI, IMO 사상 첫 만점 42점 달성
중국 소셜미디어 플랫폼 샤오홍슈(레드노트)가 개발한 AI 모델 'dots-note-3.0'이 국제수학올림피아드(IMO)에서 AI 역사상 처음으로 만점을 획득했다. 지난해 구글 딥마인드와 오픈AI가 금메달 수준 성적에 그쳤던 것과 달리, 이번에는 6개 문제 전부를 완벽하게 풀어내며 AI 수학 추론 능력이 새로운 단계에 진입했다는 평가가 나온다.
117개국 학생 중 단 7명만 받은 점수, AI가 나란히
샤오홍슈는 22일(현지시간) 자사 모델이 상하이에서 열린 제67회 IMO 문제 평가에서 6개 문제를 모두 해결해 42점 만점을 기록했다고 공식 발표했다. 1959년 시작된 IMO는 단순 정답이 아닌 논리적 증명 과정 전체를 요구하는 대회로, AI 추론 능력의 최고 난도 시험대로 꼽힌다. 이번 대회에 참가한 117개국 666명의 학생 가운데 만점자는 단 7명에 불과했으며, 금메달 기준선은 29점이었다. dots-note-3.0은 이 기준을 13점이나 웃도는 성적을 냈다.
이로써 dots-note-3.0은 구글 딥마인드의 '제미나이 딥 싱크'에 이어 IMO 공식 채점에서 금메달 수준 이상을 인정받은 두 번째 AI 모델이 됐다. 제미나이 딥 싱크와 오픈AI 모델이 각각 35점을 기록한 것과 비교하면, 이번 만점은 한층 높은 도약이다.
자기 비판 반복 구조가 만점의 핵심
이번 성과의 핵심 기술은 '증명·검증·개선'의 세 단계를 반복하는 재귀적 자기 비판(recursive self-critique) 구조다. 모델은 사람이 문제를 형식 언어로 변환해 주는 기존 방식 대신, IMO 원본 LaTeX 문제를 직접 읽고 자연어 추론과 파이썬 실행 능력을 결합한 에이전트 기반 시스템으로 문제를 풀었다. 여러 증명 초안을 생성한 뒤 스스로 논리적 오류와 비약을 찾아 수정하는 과정을 반복해 최종 증명을 완성했다.
샤오홍슈는 이 기술이 수학 문제를 넘어 과학 연구, 전략 수립, 창의적 작업 등 정답이 명확하지 않은 실제 문제 해결에도 중요한 기반이 될 것으로 기대했다. 이번 평가에 쓰인 모델은 현재 내부 베타 버전이며, 가까운 시일 내 오픈소스로 공개될 예정이다.
경량 모델의 쾌거, 더 큰 모델도 대기 중
주목할 점은 이번 만점을 기록한 dots-note-3.0이 샤오홍슈 'dots3' 패밀리 가운데 가장 가벼운 경량 모델이라는 사실이다. 향후 더 큰 규모의 '재즈(jazz)'와 '아리아(aria)' 모델이 추가될 예정으로, 응답 속도, 연산 비용, 활용 목적에 따라 선택적으로 사용할 수 있는 라인업이 구성될 계획이다.
원문: AI타임스 →