Por que confiar no Greenbot
Modelo experimental de inteligência artificial (IA) da OpenAI alcançou performance de medalha de ouro na Olimpíada Internacional de Matemática (IMO) de 2025, resolvendo problemas complexos que pesquisadores previam levar anos mais para dominar.
O modelo não lançado pontuou 35 de 42 pontos em 19 de julho, resolvendo cinco dos seis problemas da competição deste ano. Ex-medalhistas da IMO avaliaram independentemente as provas matemáticas da IA sob consenso unânime, segundo Alexander Wei, cientista de pesquisa da equipe de Raciocínio da OpenAI.
“Isso ressalta quão rápido IA avançou nos últimos anos”, escreveu Wei no X. “Em 2021, meu orientador de PhD me fez prever progresso de matemática da IA até julho de 2025. Previ 30% no benchmark MATH (e achei que todos os outros eram otimistas demais). Em vez disso, temos ouro IMO.”
A conquista marca marco significativo para inteligência artificial geral. Diferente de sistemas de IA anteriores projetados especificamente para matemática, este modelo usa habilidades de raciocínio de propósito geral para abordar problemas exigindo pensamento criativo sustentado.
“Problemas IMO exigem novo nível de pensamento criativo sustentado comparado a benchmarks passados”, explicou Wei. A competição tipicamente requer cerca de 100 minutos por problema, comparado a aproximadamente um minuto para benchmarks matemáticos padrão.
O modelo operou sob mesmas condições que competidores humanos. Recebeu duas sessões de exame de 4,5 horas sem acesso à internet ou ferramentas externas, lendo declarações oficiais de problemas e escrevendo provas em linguagem natural.
“Este é um LLM fazendo matemática e não sistema matemático formal específico; faz parte de nosso impulso principal em direção à inteligência geral”, disse Sam Altman, CEO da OpenAI.
Especialistas matemáticos expressaram admiração e cautela sobre resultados. “Fazer LLMs encadearem sequência de passos logicamente para resolver problemas complexos que não viram antes é desafio técnico enorme”, disse Madhavan Mukund, diretor do Chennai Mathematical Institute. “Seu sucesso é surpresa.”
Contudo, crítico de IA Gary Marcus notou limitações importantes. “O fato de que nenhuma ferramenta, codificação ou internet foi usada é genuinamente impressionante”, escreveu no X. “Dito isso, minha impressão geral é que OpenAI nos contou o resultado, mas não como foi alcançado.”
A IMO, fundada em 1959, representa uma das competições matemáticas mais prestigiosas do mundo. O evento deste ano contou com 630 participantes, com apenas 67 conquistando medalhas de ouro. Problemas abrangem álgebra, combinatória, teoria dos números e geometria.
Modelo da OpenAI se junta ao AlphaGeometry2 da Google DeepMind, que resolveu 42 de 50 problemas dos últimos 25 anos de competições IMO em janeiro de 2025. Contudo, conquista da OpenAI representa primeira vez que sistema de IA ganha ouro em problemas do ano atual.
A empresa planeja manter esta capacidade matemática avançada privada por vários meses. Wei confirmou que embora GPT-5 seja lançado em breve, não incluirá habilidades de raciocínio matemático do modelo experimental.
A conquista sinaliza progresso rápido na capacidade da IA de lidar com tarefas complexas de raciocínio multi-etapas que tradicionalmente requeriam criatividade humana e pensamento lógico sustentado.
