IA da RedNote tira 42/42 na Olimpíada Internacional de Matemática

O que o dots-note-3.0 conquistou no IMO 2026

O modelo dots-note-3.0, da RedNote (Xiaohongshu), resolveu todos os seis problemas da 67ª Olimpíada Internacional de Matemática (IMO), realizada em Xangai, obtendo uma pontuação perfeita de 42 pontos — um resultado equivalente a medalha de ouro . Esse é o primeiro modelo de IA a atingir uma nota máxima no IMO e o primeiro modelo chinês a receber uma certificação oficial de nível ouro pelo IMO . A nota de corte para o ouro em 2026 foi de 29 pontos (uma queda em relação aos 35 de 2025, refletindo problemas mais difíceis), e o dots-note-3.0 a superou por 13 pontos . Diversos relatos também indicam que a Huawei reivindicou, separadamente, uma pontuação de 100% nos mesmos problemas, tornando 2026 o primeiro ano em que dois sistemas de IA alcançaram a perfeição .

Comparação com desempenhos anteriores de IA no IMO

Ano	Sistema de IA	Pontuação / 42	Nível de Medalha	Notas
2024	Google DeepMind AlphaProof / AlphaGeometry	28	Prata	Resolveu 4 de 6 problemas; ficou a um ponto do ouro
2025	Google DeepMind Gemini Deep Think	35	Ouro	Primeira medalha de ouro de uma IA; resolveu 5 de 6 problemas
2025	Modelo de raciocínio experimental da OpenAI	35	Ouro	Também alcançou nível ouro em 2025
2026	RedNote dots-note-3.0	42	Ouro (perfeito)	Primeira pontuação perfeita na história do IMO
2026	Modelo de IA da Huawei	42	Ouro (perfeito)	Também reportou 100% nos mesmos problemas

Diferenças principais:

• 2024: O AlphaProof marcou 28/42 (prata) e foi a primeira IA a provar respostas com correção formalmente verificada por meio do assistente de prova Lean .
• 2025: Tanto a Google DeepMind quanto a OpenAI atingiram o território do ouro (35/42), mas nenhuma obteve uma pontuação perfeita . O sistema da Google acertou 5 dos 6 problemas.
• 2026: O dots-note-3.0 da RedNote é o primeiro a alcançar um 42/42 perfeito — a primeira vez que uma IA resolveu todos os problemas . Ele o fez usando um modelo comparativamente leve . A Huawei também reportou uma pontuação perfeita no mesmo ciclo .

Contexto de credibilidade e verificação

Sem participação oficial na competição do IMO

Uma ressalva importante: o dots-note-3.0 não participou da competição oficial do IMO ao lado dos 666 competidores humanos . O Regulamento Geral do IMO restringe a participação a países convidados e competidores humanos com menos de 20 anos . Em vez disso, as empresas de tecnologia recebem os mesmos problemas após os competidores humanos terem realizado a prova, e suas soluções são julgadas pelos avaliadores do IMO .

Preocupações com autoavaliação

Em 2025, o comitê do IMO não estabeleceu regras formais para a participação de IA, o que permitiu que cada empresa definisse suas próprias condições de teste — levando matemáticos a observar que isso possibilitou que as empresas "definissem e avaliassem seu próprio dever de casa" . O mesmo processo informal se aplica em 2026. Como uma análise resumiu, o dots-note-3.0 "não entrou na competição no sentido tradicional" — ele resolveu os problemas posteriormente, sob protocolos de teste definidos pela empresa .

Verificação por meio de avaliadores do IMO

A RedNote afirmou que as soluções de seu modelo foram submetidas para a avaliação oficial do IMO e receberam a pontuação máxima pelos mesmos juízes que avaliam os competidores humanos . O modelo da Huawei foi verificado de forma semelhante. Isso confere uma camada significativa de credibilidade, já que os avaliadores são independentes e as soluções foram julgadas de acordo com a mesma rubrica.

O que isso significa

A conquista é genuína no sentido de que o modelo produziu soluções corretas, avaliadas pelo IMO, para todos os seis problemas. No entanto, não se trata de uma medalha oficial do IMO — o IMO não concede formalmente medalhas a sistemas de IA. A comparação com os resultados anteriores de IA é justa, pois esses sistemas também resolveram os mesmos problemas posteriormente em condições semelhantes, mas todas as "medalhas de ouro de IA no IMO" devem ser entendidas como referenciais não oficiais, julgados retrospectivamente, e não como vitórias diretas em uma competição ao vivo. O resultado do dots-note-3.0 é, no entanto, um marco significativo como a primeira vez que uma IA alcançou uma pontuação perfeita em um conjunto completo de problemas do IMO.

Para Saber Mais

• O que é o IMO? A Olimpíada Internacional de Matemática (IMO) é a mais prestigiada competição de matemática para estudantes do ensino médio, realizada anualmente desde 1959.
• O que significa "pontuação perfeita"? Significa acertar todas as seis questões, cada uma valendo até 7 pontos, totalizando 42 pontos. Em 2026, apenas 7 dos 666 competidores humanos alcançaram esse feito .