dots-note-3.0, da RedNote, é a primeira IA a gabaritar a Olimpíada Internacional de Matemática (IMO)

A RedNote, plataforma social chinesa conhecida no país como Xiaohongshu, tornou-se em 20 de julho de 2026 a primeira empresa cujo modelo de IA, o dots-note-3.0, marcou os 42 pontos perfeitos na Olimpíada Internacional de Matemática (IMO), em Xangai, ao resolver as seis questões da prova.

O que aconteceu

O dots-note-3.0 resolveu as seis questões da IMO e somou 42 pontos, a pontuação máxima possível da olimpíada. Segundo o South China Morning Post, é a primeira vez na história que uma inteligência artificial obtém nota total na IMO.

• Desenvolvedora: RedNote (Xiaohongshu), plataforma social chinesa
• Modelo: dots-note-3.0, ainda em fase de testes beta
• Resultado: 42 de 42 pontos, com as seis questões resolvidas
• Local e data: a IMO terminou em Xangai em 20 de julho de 2026
• O dots-note-3.0 é o modelo mais leve da família dots3

Que modelo é o dots-note-3.0?

O dots-note-3.0 é o modelo mais leve da linha dots3, da RedNote, e ainda estava em versão beta quando o recorde foi registrado. Além do note, a família dots3 inclui dois modelos maiores, jazz e aria, voltados a diferentes cenários de uso.

A RedNote (Xiaohongshu) é um dos maiores serviços sociais da China, conhecido pelo feed de recomendações e pelo conteúdo gerado por usuários, e não pelo desenvolvimento de modelos de IA fundamentais. Por isso, surpreende ainda mais que justamente a equipe da empresa tenha sido a primeira a levar uma IA matemática a um resultado impecável na IMO.

Por que a pontuação perfeita importa

Os 42 pontos são o teto absoluto da IMO: a olimpíada tem seis questões, e cada uma vale no máximo sete pontos. Até o dots-note-3.0, nenhum modelo de IA havia resolvido as seis questões sem perder pontos, e é por isso que o resultado da RedNote é o primeiro placar perfeito de uma inteligência artificial em toda a história da olimpíada.

A Olimpíada Internacional de Matemática acontece desde 1959 e é considerada a competição de matemática mais prestigiada entre estudantes do ensino médio: todos os anos, equipes de mais de cem países se reúnem para resolver seis questões em dois dias. Em edições anteriores, modelos de IA já haviam chegado perto de resultados de medalha, mas nenhum sistema tinha conseguido, até agora, fechar o conjunto completo de questões sem erros.

As questões da IMO não testam velocidade de cálculo, e sim a capacidade de construir demonstrações rigorosas e encontrar caminhos pouco convencionais, algo que antes era considerado território exclusivo dos melhores jovens matemáticos do planeta.

«Pela primeira vez, um modelo de inteligência artificial obteve pontuação perfeita na

Olimpíada Internacional de Matemática», informa o South China Morning Post.

O que isso significa

A pontuação perfeita na IMO indica que os modelos de IA chegaram muito perto do nível dos melhores jovens matemáticos em problemas de demonstração e raciocínio criativo. Para a RedNote, que é uma plataforma social e não um laboratório de IA especializado, o resultado funciona como uma candidatura a um lugar entre os líderes tecnológicos da China, ao lado de outros desenvolvedores de modelos de ponta. Se o resultado for confirmado por verificação independente, o dots-note-3.0 passará a ser uma referência para avaliar a capacidade matemática dos próximos modelos.

Perguntas frequentes

Qual modelo de IA foi o primeiro a obter pontuação perfeita na IMO?

O dots-note-3.0, da plataforma chinesa RedNote. Ele resolveu as seis questões e fez 42 de 42 pontos na olimpíada encerrada em Xangai em 20 de julho de 2026. É o primeiro resultado perfeito de uma IA na história da competição.

O que é a família dots3?

É a linha de modelos de IA da RedNote, com três versões: a leve note (dots-note-3.0) e duas maiores, jazz e aria, voltadas a diferentes cenários de uso.

Em que estágio está o dots-note-3.0?

Quando o recorde foi registrado, o modelo ainda estava em versão beta, segundo o South China Morning Post.