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

Comparação com desempenhos anteriores de IA no IMO

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 .