Pela primeira vez desde que sistemas de inteligência artificial passaram a disputar informalmente as provas da Olimpíada Internacional de Matemática (OIM), um modelo de IA conseguiu acertar 100% das questões propostas aos competidores humanos. O feito foi anunciado por duas empresas chinesas, a fabricante de hardware e software Huawei e a rede social Xiaohongshu (também conhecida internacionalmente como RedNote), cujos modelos resolveram corretamente as seis questões da edição deste ano da competição, realizada em Xangai.
O resultado chama atenção porque, historicamente, a pontuação máxima na OIM sempre foi um território reservado a pouquíssimos estudantes de elite. Neste ano, apenas sete dos 666 competidores humanos conseguiram gabaritar a prova, e agora modelos de IA entraram para essa lista restrita, ainda que fora do processo oficial de disputa.
IA gabarita Olimpíada de Matemática: o que aconteceu
A Huawei confirmou que seu sistema de inteligência artificial, batizado de Celia, apresentou desempenho considerado abrangente na resolução dos problemas propostos, cobrindo diferentes áreas da matemática avaliadas na competição. Já a Xiaohongshu revelou que seu modelo dots-note-3.0 participou da OIM pela primeira vez nesta edição e também alcançou o acerto total.
Em comunicado, a Xiaohongshu descreveu o resultado como raro, já que uma pontuação perfeita na OIM é considerada extremamente difícil de alcançar, mesmo entre estudantes altamente preparados. A empresa também destacou que nenhum grande modelo de linguagem havia, até então, atingido nota máxima dentro do processo oficial de avaliação da competição.
É importante frisar como funcionou a participação das IAs: diferentemente dos estudantes, que enfrentam as questões em tempo real e sob supervisão presencial, os modelos de inteligência artificial só receberam os enunciados depois que a prova humana já havia sido concluída. As respostas precisaram ser enviadas dentro de um prazo estabelecido pela organização, mas o formato de avaliação não foi idêntico ao aplicado aos competidores humanos, um ponto que especialistas do setor consideram relevante para contextualizar a comparação entre desempenho humano e artificial.
Huawei e Xiaohongshu foram as primeiras empresas a divulgar publicamente seus resultados nesta edição da OIM, mas a expectativa é que outros laboratórios de inteligência artificial ao redor do mundo apresentem seus próprios números nos próximos dias.
Contexto: como a IA evoluiu nas competições de matemática
O desempenho apresentado este ano marca um salto significativo em relação ao histórico recente da inteligência artificial em disputas do tipo. Em 2024, o Google conseguiu apenas o equivalente a uma medalha de prata na OIM, resolvendo quatro das seis questões da prova, em um processo que levou de dois a três dias para ser concluído.
Já em 2025, modelos desenvolvidos por gigantes como Google e OpenAI deram um passo além e alcançaram, pela primeira vez, uma pontuação equivalente ao nível ouro da competição. Ainda assim, nenhum desses sistemas havia conseguido igualar os cinco competidores humanos que, naquele ano, obtiveram nota máxima.
A progressão, de resultados equivalentes à prata em 2024 para o ouro em 2025 e agora ao acerto total em 2026, ilustra a velocidade com que os modelos de raciocínio matemático avançado têm evoluído em pouco mais de dois anos.
Vale destacar que a movimentação em torno da OIM 2026 não ficou restrita às empresas chinesas. Segundo apuração da imprensa especializada, a gestora de venture capital americana Menlo Ventures promoveu testes próprios, fora do processo oficial, para avaliar como modelos ocidentais se sairiam com as mesmas questões. Nesses testes extraoficiais, ferramentas como o GPT-5.6 Sol, da OpenAI, o Claude Fable 5, da Anthropic, e a solução da Axiom Math também teriam apresentado resultados positivos, embora sem validação formal da organização da olimpíada.
Impactos para empresas, profissionais e usuários
O avanço da inteligência artificial em tarefas de raciocínio matemático complexo tem desdobramentos que vão além do valor simbólico da conquista. Para empresas de tecnologia, o resultado funciona como vitrine de capacidade técnica, especialmente em um momento de disputa acirrada entre laboratórios chineses e ocidentais pela liderança em modelos de raciocínio (conhecidos no mercado como reasoning models).
Para o mercado de IA aplicada, sistemas capazes de resolver problemas matemáticos de altíssima complexidade têm potencial de uso em áreas como pesquisa científica, engenharia, modelagem financeira e desenvolvimento de novos algoritmos, setores nos quais o raciocínio lógico estruturado é um diferencial competitivo.
Já para profissionais do setor de tecnologia e educação, o episódio reforça uma tendência observada nos últimos anos: modelos de linguagem deixaram de ser úteis apenas para tarefas de geração de texto e passaram a ser testados como ferramentas de apoio em problemas que exigem múltiplas etapas de raciocínio lógico-matemático. Isso pode influenciar, por exemplo, o desenvolvimento de tutores educacionais baseados em IA e ferramentas de verificação de demonstrações matemáticas.
Para o usuário final, o impacto direto ainda é limitado. A Huawei e a Xiaohongshu não indicaram, até o momento, se os modelos usados na competição serão incorporados a produtos comerciais de uso público. Ainda assim, o episódio serve como indicador do tipo de capacidade que pode chegar, em versões adaptadas, a assistentes de IA voltados a estudantes, pesquisadores e profissionais que lidam com problemas quantitativos no dia a dia.
Tendências e próximos movimentos no setor de IA
A expectativa do setor é que outros laboratórios de inteligência artificial, incluindo empresas americanas e europeias, divulguem nos próximos dias seus próprios resultados obtidos com os problemas da OIM 2026, ainda que fora do processo oficial de disputa. Esse movimento deve intensificar a comparação entre modelos chineses e ocidentais em benchmarks de raciocínio matemático avançado.
Outro ponto que deve ganhar destaque nas próximas semanas é o debate sobre metodologia de avaliação: como os modelos de IA recebem as questões após a aplicação da prova humana e não estão sujeitos às mesmas condições de tempo e pressão, especialistas tendem a defender critérios mais claros para comparar desempenho humano e artificial em competições acadêmicas.
Também é provável que o resultado alimente a corrida entre empresas chinesas, como Huawei, Xiaohongshu, Alibaba e outras, e companhias ocidentais como Google, OpenAI e Anthropic pela liderança em modelos com capacidade avançada de raciocínio, um segmento considerado estratégico para aplicações em ciência, engenharia e automação de tarefas complexas.
Perguntas frequentes (FAQ)
Os modelos de IA competiram nas mesmas condições que os humanos?
Não exatamente. Os sistemas de IA receberam as questões somente após a conclusão da prova pelos competidores humanos, tendo um prazo específico para enviar as respostas, uma condição diferente da enfrentada pelos estudantes.
É a primeira vez que uma IA gabarita a Olimpíada Internacional de Matemática?
Sim. Segundo as próprias empresas, nenhum grande modelo de linguagem havia atingido pontuação perfeita no processo oficial de avaliação da OIM antes desta edição.
Créditos
Fonte de referência: O Globo
Matéria produzida pela Redação Brasil Tech News com base em informações publicadas originalmente pelo veículo citado.
Assinatura: Redação Brasil Tech News
