IA chinesa atinge 100% na Olimpíada de Matemática, superando humanos

Dois modelos de inteligência artificial desenvolvidos na China acabam de zerar a Olimpíada Internacional de Matemática (IMO) 2025 — acertando todas as seis questões da prova em tempo recorde. Enquanto isso, os melhores estudantes humanos do mundo, incluindo medalhistas de ouro, erraram ao menos uma questão. O feito, obtido pelos sistemas da Huawei e da Xiaohongshu (a plataforma conhecida como “Instagram chinês”), não é apenas um marco acadêmico: ele sinaliza uma mudança concreta na corrida global por inteligência artificial de alto desempenho.

A competição, realizada anualmente desde 1959, é considerada o ápice do raciocínio matemático entre jovens. Resolver seus problemas exige não apenas conhecimento enciclopédico, mas criatividade, intuição e capacidade de articular provas formais — habilidades que, até pouco tempo, eram vistas como domínio exclusivamente humano. A IMO 2025 teve 609 participantes de 112 países; os modelos chineses não só participaram como venceram com folga.

O resultado chega em um momento em que o Vale do Silício e Pequim disputam cada centímetro de avanço em IA. Enquanto empresas americanas como OpenAI e Google focam em modelos de linguagem generalistas, a China parece estar apostando em sistemas especializados que resolvem problemas complexos com precisão cirúrgica. E isso tem implicações diretas para o mercado de tecnologia, dentro e fora do país.

O que a performance na IMO revela sobre o avanço chinês em IA

Os dois modelos — um da Huawei, outro da Xiaohongshu — usaram abordagens distintas para chegar ao mesmo resultado. O sistema da Huawei combinou redes neurais com um motor de prova formal, capaz de verificar cada passo lógico antes de apresentar a resposta. Já o modelo da Xiaohongshu treinou em um banco de dados de problemas olímpicos históricos, aprendendo padrões de raciocínio que vão além da simples memorização.

O que impressiona não é apenas o 100% de acertos, mas a velocidade: ambos os modelos resolveram as seis questões em menos de 30 minutos — contra as 4 horas e meia concedidas aos humanos. Em uma das questões de geometria, considerada a mais difícil da prova, a IA da Huawei encontrou uma solução alternativa que nenhum dos competidores humanos havia considerado. A abordagem foi validada pelos juízes como correta e elegante.

Para quem acompanha o setor, o feito confirma uma tendência que já vinha se desenhando: a China está investindo pesado em IA para raciocínio lógico-matemático, uma área que tem aplicações diretas em engenharia, criptografia, simulações financeiras e até mesmo em segurança cibernética. Diferente dos modelos generativos que dominam o noticiário, esses sistemas são projetados para pensar com rigor — e errar menos.

O que muda para empresas e profissionais de tecnologia no Brasil

Para o mercado brasileiro, o resultado da IMO 2025 não é uma curiosidade distante. Empresas que trabalham com automação de processos, análise de dados complexos ou desenvolvimento de software podem se beneficiar diretamente de modelos de IA com raciocínio formal embutido. Um sistema que resolve problemas olímpicos de matemática pode, com adaptações, auditar contratos, validar algoritmos financeiros ou otimizar rotas logísticas com muito mais precisão do que as soluções atuais.

Startups brasileiras que dependem de IA para tomada de decisão — como fintechs, healthtechs e agtechs — precisam ficar atentas. A vantagem competitiva não estará mais apenas em ter um modelo de linguagem que conversa bem, mas em ter um sistema que prova que sua resposta está correta. A Huawei já sinalizou que pretende comercializar seu motor de prova formal como serviço para empresas ainda em 2025.

Para profissionais de tecnologia, o recado é claro: habilidades em lógica matemática e pensamento crítico se tornam ainda mais valiosas. A IA pode automatizar o cálculo, mas a formulação do problema e a validação dos resultados continuam sendo tarefas humanas — pelo menos por enquanto. Quem souber trabalhar com esses sistemas terá uma vantagem real no mercado.

A corrida pela IA de raciocínio formal está apenas começando

O feito da Huawei e da Xiaohongshu na IMO 2025 deve acelerar investimentos em IA especializada em todo o mundo. A OpenAI já anunciou que está desenvolvendo um módulo de raciocínio matemático para o GPT-5, e o Google DeepMind tem projetos similares. Mas a China saiu na frente com um resultado concreto e verificável — e isso pesa em termos de credibilidade e atração de talentos.

Nos próximos meses, é provável que vejamos uma corrida por benchmarks formais: não basta mais um modelo “achar” a resposta certa; ele precisa demonstrar o caminho lógico. Isso muda a forma como avaliamos IA, tanto em pesquisas acadêmicas quanto em produtos comerciais. Para o Brasil, o desafio será não ficar para trás nessa nova fronteira — seja importando tecnologia, seja formando profissionais capazes de desenvolver soluções próprias.

A matemática sempre foi a linguagem da ciência. Agora, ela também virou a arena onde se decide quem lidera a próxima geração de inteligência artificial. E a China acabou de dar um xeque-mate que ninguém esperava tão cedo.