Pela primeira vez, modelos de IA registraram pontuações perfeitas na Olimpíada Internacional de Matemática — e o resultado de destaque não veio de um laboratório de ponta, mas da RedNote, empresa chinesa de mídia social por trás da Xiaohongshu. Seu modelo beta dots-note-3.0 resolveu os seis problemas da 67ª IMO, em Xangai, para um impecável 42/42, informou a empresa em 22 de julho. A Celia, da Huawei, igualou o feito no mesmo evento.
Sob as regras oficiais
Não foi uma autoavaliação: as empresas participantes receberam os problemas apenas após o exame humano, enviaram as respostas dentro de um prazo e tiveram as soluções corrigidas pelos organizadores da IMO. A RedNote afirma que a intervenção humana foi estritamente proibida. "Anteriormente, nenhum modelo de linguagem de grande porte havia alcançado uma pontuação perfeita", disse a empresa.
O patamar humano
Apenas sete dos cerca de 666 competidores humanos obtiveram nota máxima neste ano. O salto da IA é marcante em comparação com 2025, quando Google DeepMind e OpenAI celebraram desempenhos de medalha de ouro de 35/42 — um patamar que agora parece um trampolim.
O menor dos três
dots-note-3.0 é o modelo mais leve da família dots3 da RedNote, abaixo dos maiores "jazz" e "aria." Ele ainda está em beta — e a RedNote diz que será open-sourced "no futuro próximo", sem informar uma data.
O subtexto
Um aplicativo de social commerce superando os laboratórios que definiram a IA matemática há um ano destaca a rapidez com que a capacidade de raciocínio de elite está se difundindo pelo ecossistema chinês — e uma versão de pesos abertos colocaria a matemática de nível olímpico nas mãos de qualquer pessoa. Alegações que circulam entre investidores de que modelos da OpenAI, Anthropic e Moonshot também alcançaram pontuações perfeitas neste ano são autorrelatadas, e não avaliadas pela IMO — o placar oficial, por enquanto, pertence a dots-note-3.0 e Celia.