A 66.ª edição da Olimpíada Internacional de Matemática, realizada na Austrália de 10 a 20 de julho deste ano, foi palco de uma novidade tecnológica: pela primeira vez, programas de inteligência artificial alcançaram pontuação de nível ouro.
Ao contrário das competições tradicionais, a Olimpíada, realizada desde 1959, não consagra um único ganhador. Ela é composta por uma prova com seis problemas matemáticos, cada qual valendo sete pontos – a pontuação máxima é 42.
Cada país participante pode inscrever até seis participantes, que tenham menos de 20 anos e estejam cursando o ensino fundamental ou médio ou, se já tiverem concluído o médio, ainda não tenham iniciado a faculdade.
Os problemas podem ser de qualquer área da matemática ensinada no ensino médio, como geometria, teoria dos números, álgebra e análise combinatória. A resolução não exige conhecimentos de matemática avançada.
Os inscritos são classificados conforme a pontuação que alcançam, e o número mais próximo da metade dos inscritos (nunca mais da metade) é premiado com medalhas de bronze, prata e ouro.
Em 2025 participaram 630 pessoas, das quais 67 conseguiram medalha de ouro. Dos seis brasileiros que competiram, três (Levi Castello Branco, João Pedro Lemos e Marco Aurélio D’Emídio) conquistaram a medalha de prata, dois (Vinícius Macêdo e João Victor Santos) levaram medalha de bronze e um (Erick Koga) ganhou menção honrosa. Em toda a história da competição, 14 brasileiros já obtiveram o ouro, o mais recente deles (Felipe Silva) em 2024.
Dos 67 participantes que conquistaram medalhas de ouro em 2025, cinco conseguiram resolver os seis problemas e atingiram a pontuação máxima, 42.
O Gemini Deep Think, uma versão avançada do Gemini, do Google, e uma ferramenta experimental de inteligência artificial da OpenAI, responsável pelo ChatGPT, conseguiram resolver cinco dos seis problemas e alcançaram 35 pontos cada um.
Os cálculos e o resultado das empresas foram certificados por juízes da Olimpíada. As respostas do Gemini Deep Think podem ser encontradas aqui.
“Podemos confirmar que o Google DeepMind alcançou o tão desejado objetivo, obteve uma pontuação de 35 sobre 42 pontos, uma marca de medalha de ouro”, afirmou o presidente da IMO, Gregor Dolinar. “Suas soluções foram surpreendentes em muitos aspectos. Os avaliadores da IMO as consideraram claras, precisas e, na maioria, fáceis de seguir.”
As duas tecnologias fizeram os cálculos e chegaram aos resultados por meio de modelos de “raciocínio” que utilizam conceitos matemáticos. Os dois sistemas eram chatbots que receberam as perguntas com a mesma linguagem apresentada aos humanos e então fizeram os cálculos.
We achieved gold medal-level performance 🥇on the 2025 International Mathematical Olympiad with a general-purpose reasoning LLM!
Our model solved world-class math problems—at the level of top human contestants. A major milestone for AI and mathematics. https://t.co/u2RlFFavyT
— OpenAI (@OpenAI) July 19, 2025
Outros sistemas de inteligência artificial já haviam participado de edições anteriores da Olimpíada Internacional de Matemática, mas só conseguiram fazer os cálculos depois que humanos traduziam as questões para uma linguagem de programação específica para resolver problemas matemáticos. Desta vez, segundo as empresas, não houve intervenção humana.
Segundo o Google, a versão avançada do Gemini Deep Think utiliza um modo de raciocínio aprimorado para problemas complexos que incorpora algumas técnicas de pesquisa mais recentes, incluindo o pensamento paralelo. Essa configuração permite, por exemplo, que o modelo explore e combine simultaneamente múltiplas soluções possíveis antes de fornecer uma resposta final, em vez de seguir uma única cadeia linear de pensamento.
O Google e a OpenAI comemoraram o desempenho na Olimpíada Internacional de Matemática e afirmaram que a premiação representa avanços importantes no desenvolvimento dos modelos de IA, que estão cada vez mais próximos de reproduzir raciocínios humanos e poderão, em breve, contribuir para o avanço da matemática.
