레드노트 AI dots-note-3.0, 국제수학올림피아드(IMO) 역사상 첫 만점 달성

레드노트 dots-note-3.0, IMO 2026에서 이룬 성과

중국 소셜미디어 플랫폼 샤오홍슈(해외명 RedNote·레드노트)가 개발한 AI 모델 dots-note-3.0이 제67회 국제수학올림피아드(IMO) 문제 6개를 모두 풀어 **42점 만점(42점)**을 기록, 금메달 수준의 성적을 거두었습니다. 이는 AI 사상 IMO 최초의 만점이자, 중국 모델로는 처음으로 IMO 공식 금메달 수준 인증을 받은 사례입니다. 올해 금메달 컷오프는 29점으로 작년(35점)보다 6점 낮아져 문제 난이도가 높아졌음을 반영하며, dots-note-3.0은 이를 13점이나 웃돌았습니다. 여러 보도에 따르면 화웨이도 같은 문제에서 만점을 기록했다고 발표하며, 처음으로 두 개의 AI 시스템이 동시에 완벽한 점수를 달성한 해가 되었습니다.

이전 IMO AI 성과와의 비교

연도	AI 시스템	점수 / 42	메달 수준	비고
2024	구글 딥마인드 AlphaProof / AlphaGeometry	28	은메달	6문제 중 4문제 해결, 금메달에 1점 부족
2025	구글 딥마인드 Gemini Deep Think	35	금메달	AI 최초 금메달, 6문제 중 5문제 해결
2025	오픈AI 실험적 추론 모델	35	금메달	2025년에도 금메달 수준 점수 달성
2026	레드노트 dots-note-3.0	42	금메달(만점)	IMO 역사상 최초 만점
2026	화웨이 AI 모델	42	금메달(만점)	같은 문제에서 100% 정답률 보고

핵심 차이점:

• 2024년: AlphaProof는 28점(은메달)을 기록했으며, 형식 증명 도구 Lean을 사용해 정답을 100% 검증한 최초의 AI였습니다.
• 2025년: 구글 딥마인드와 오픈AI 모두 금메달 수준(35점)에 도달했지만 만점을 달성하지는 못했습니다. 구글의 시스템은 6문제 중 5문제를 맞혔습니다.
• 2026년: 레드노트의 dots-note-3.0은 최초로 42점 만점을 기록하며 모든 문제를 해결한 첫 AI가 되었습니다. 상대적으로 경량화된 모델로 이 성과를 냈다는 점도 주목할 만합니다. 화웨이도 같은 대회에서 만점을 보고했습니다.

공신력 및 검증 맥락

공식 IMO 대회 참가가 아니라는 점

중요한 점은 dots-note-3.0이 666명의 인간 참가자와 함께 공식 IMO 대회에 참가한 것이 아니라는 것입니다. IMO 일반 규정은 초청된 국가와 20세 미만의 인간 참가자만 대회 참가 자격을 제한합니다. 대신, 기술 기업들은 인간 참가자가 시험을 마친 후 동일한 문제를 제공받고, 그 해결책을 IMO 채점관이 평가하는 방식으로 진행됩니다.

자체 시험·채점에 대한 우려

2025년에 IMO 위원회는 AI 참가에 대한 공식 규칙을 마련하지 않아, 각 기업이 자체 테스트 조건을 정의할 수 있었습니다. 이에 대해 수학자들은 기업들이 '자신의 숙제를 스스로 내고 채점하는 것'을 가능하게 했다고 지적했습니다. 2026년에도 동일한 비공식 절차가 적용되었습니다. 한 분석에 따르면, dots-note-3.0은 전통적인 의미에서 대회에 참가한 것은 아니며, 회사가 정의한 테스트 프로토콜에 따라 사후에 문제를 해결한 것입니다.

IMO 채점관을 통한 검증

레드노트는 자사 모델의 해결책이 공식 IMO 채점에 제출되어 인간 참가자와 동일한 채점관으로부터 만점을 받았다고 밝혔습니다. 화웨이의 모델도 유사하게 검증되었습니다. 채점관은 독립적이며, 해결책은 동일한 평가 기준에 따라 평가되었기 때문에, 이는 의미 있는 신뢰성 계층을 제공합니다.

이것이 의미하는 바

모델이 6개 문제 모두에 대해 정확하고 IMO가 채점한 해결책을 제시했다는 점에서, 이번 성과는 진정한 의미를 갖습니다. 그러나 이는 공식 IMO 메달이 아닙니다. IMO는 AI 시스템에 공식적으로 메달을 수여하지 않습니다. 이전 AI 결과와의 비교는 해당 시스템들도 유사한 조건에서 같은 문제를 사후에 해결했기 때문에 공정하지만, 모든 'AI IMO 금메달'은 비공식적이고 회고적으로 판단된 벤치마크로 이해되어야 하며, 실시간 경쟁에서의 직접적인 우승이 아닙니다. 그럼에도 불구하고, dots-note-3.0의 결과는 AI가 전체 IMO 문제 세트에서 만점에 도달한 최초의 사례라는 점에서 중요한 이정표입니다.