A inteligência artificial atingiu um marco histórico na última quarta-feira, 16 de julho de 2026, ao concluir a Olimpíada Internacional de Matemática (IMO) com 100% de acertos — desempenho superior ao de todos os 666 participantes humanos que disputaram a prova em Xangai. Pela primeira vez, sistemas de IA não apenas competiram, mas superaram os melhores cérebros matemáticos do mundo.
Celia e dots-node-3.0: os primeiros modelos a gabaritar a IMO
Os sistemas Celia, desenvolvido pela Huawei, e dots-node-3.0, da Xiaohongshu, foram os únicos a resolver todas as questões da IMO sem erros. A conquista representa um avanço significativo em relação aos anos anteriores, quando gigantes como Google e OpenAI haviam apresentado resultados promissores, mas não perfeitos. Segundo a Xiaohongshu, atingir a pontuação máxima é um desafio tão árduo que, entre os humanos, apenas sete dos 666 concorrentes conseguiram o mesmo feito.
A prova sem supervisão: um teste de autonomia
A edição de 2026 da IMO foi conduzida em um formato inédito: as questões só foram liberadas para as IAs após a finalização da prova pelos estudantes inscritos, garantindo que os modelos atuassem de forma completamente autônoma. Essa abordagem eliminou qualquer possibilidade de vazamento de informações ou ajuste fino prévio, reforçando a validade do resultado. Outras IAs, como ChatGPT e Claude, também foram avaliadas no mesmo conjunto de problemas, obtendo desempenhos notáveis, embora não oficiais.
O que esse feito revela sobre o futuro da matemática e da IA
O sucesso dos modelos chineses não se limita à superação de recordes. Ele sinaliza uma nova era em que a IA não apenas auxilia, mas lidera na resolução de problemas matemáticos de alta complexidade — um campo até então dominado exclusivamente pela capacidade humana. Especialistas já debatem as implicações dessa conquista: desde a reformulação de métodos educacionais até o potencial de aplicações em ciência de dados, criptografia e pesquisa científica avançada. Enquanto isso, a comunidade matemática global se vê diante de um questionamento inevitável: até que ponto a IA pode — ou deve — ser integrada em competições e pesquisas que tradicionalmente celebravam o talento humano?
