Pela primeira vez na história, uma inteligência artificial tirou nota máxima na competição de matemática mais difícil do mundo. Na edição de 2026 da Olimpíada Internacional de Matemática (a IMO, na sigla em inglês), realizada em Xangai, dois modelos de IA desenvolvidos na China acertaram 100% das questões — o mesmo desempenho que apenas sete, entre 666 competidores humanos, conseguiram alcançar.
O que aconteceu na prova
A IMO é uma prova anual que reúne os melhores jovens matemáticos de dezenas de países. Não se trata de fazer contas rápidas: são problemas que exigem demonstrações lógicas longas e criativas, do tipo que pode levar horas para ser resolvido. Nesta edição, segundo o Tecnoblog e a CNN Brasil, os modelos Celia, da Huawei, e o dots-node-3.0, da empresa Xiaohongshu (a rede social também conhecida como RedNote), gabaritaram as questões e igualaram a maior pontuação já registrada por humanos.
Para ter ideia do tamanho do feito: dos 666 participantes deste ano, só sete pessoas fizeram a prova perfeita. As duas IAs chinesas entraram nesse grupo seletíssimo.
Por que isso é um marco
Já faz muito tempo que os computadores fazem contas melhor do que nós. O difícil para as máquinas sempre foi o oposto: o raciocínio abstrato, a criatividade de montar uma demonstração matemática do zero. Por isso a matemática de alto nível virou uma espécie de "teste definitivo" para medir o quanto a IA consegue realmente pensar, e não apenas repetir padrões que já viu.
O avanço fica ainda mais claro quando se olha para o ano passado. Em 2025, modelos de gigantes como Google e OpenAI conseguiram, pela primeira vez, o equivalente a uma medalha de ouro na competição — mas ainda ficaram atrás dos cinco estudantes que gabaritaram aquela edição. Em apenas um ano, a IA saiu de "quase lá" para empatar com os melhores humanos do planeta.
E o que isso muda para você?
No dia a dia, você provavelmente não vai pedir para a IA resolver um problema de olimpíada. Mas a mesma habilidade que permite a um modelo construir uma demonstração matemática é a base para tarefas cada vez mais úteis: encontrar erros em planilhas complexas, ajudar engenheiros a conferir cálculos, apoiar cientistas a testar hipóteses ou até revisar um contrato em busca de contradições lógicas. Quanto melhor a IA raciocina passo a passo, mais confiável ela tende a ficar nesse tipo de trabalho.
Um feito impressionante — com ressalvas
Vale um pouco de cautela. Os resultados foram anunciados pelas próprias empresas, Huawei e Xiaohongshu, e não por um órgão independente — então ainda faltam detalhes sobre exatamente como os modelos foram avaliados. Além disso, ir bem em uma prova, por mais difícil que seja, não significa que a IA "entende" matemática como um humano: ela continua sendo uma ferramenta que pode errar feio em situações fora do padrão. O marco é real, mas convém acompanhar as próximas confirmações antes de tirar conclusões definitivas.
De qualquer forma, o recado é claro: a corrida da inteligência artificial não é mais só sobre escrever textos ou gerar imagens. O raciocínio lógico virou o novo campo de disputa — e, pela primeira vez, as máquinas alcançaram o topo do pódio ao lado dos melhores cérebros humanos.
Fontes: Tecnoblog ("IAs chinesas superam rivais humanos em olimpíada de matemática"), CNN Brasil ("IAs gabaritam Olimpíada Internacional de Matemática pela primeira vez") e Olhar Digital ("Pela 1ª vez, uma IA vence desafio que só gênios resolviam").