
A Olimpíada Internacional de Matemática: Um Desafio de Primeira
A Olimpíada Internacional de Matemática (IMO) se destaca como uma das competições globais mais prestigiadas do mundo para jovens matemáticos. Anualmente, seis estudantes pré-universitários de cada país participante se reúnem para resolver um conjunto de seis problemas matemáticos altamente complexos. Apenas 8% recebem a ilustre medalha de ouro por suas soluções excepcionais.
IA compete na IMO: OpenAI vs. Google
A IMO deste ano trouxe um toque moderno, com as gigantes da tecnologia OpenAI e Google entrando na disputa com seus modelos de aprendizagem de línguas (LLMs) de última geração. No fim de semana, a OpenAI anunciou uma conquista notável, afirmando que seu LLM de raciocínio experimental apresentou um desempenho tipicamente reservado a medalhistas de ouro. Para comprovar isso, a OpenAI testou seu modelo nos problemas da IMO de 2025, seguindo rigorosamente as mesmas condições dos competidores humanos. O modelo precisou resolver problemas complexos durante duas sessões de exame de 4, 5 horas sem o auxílio de ferramentas externas ou acesso à internet, e foi encarregado de elaborar provas em linguagem natural.
Alcançamos um desempenho de nível de medalha de ouro 🥇 na Olimpíada Internacional de Matemática de 2025 com um mestrado em raciocínio de propósito geral! Nosso modelo resolveu problemas de matemática de nível internacional — no nível dos melhores competidores humanos. Um marco importante para a IA e a matemática.https://t.co/u2RlFFavyT
– OpenAI (@OpenAI) 19 de julho de 2025
Gemini Deep Think do Google: um forte concorrente
Em um desenvolvimento paralelo, o Google anunciou recentemente que seu modelo avançado Gemini Deep Think resolveu com sucesso cinco dos seis problemas da IMO, alcançando também um desempenho equivalente ao padrão ouro. Esta iteração aprimorada do Gemini integra modos de raciocínio de ponta extraídos das mais recentes descobertas do Google, incluindo técnicas que permitem a exploração simultânea de múltiplos caminhos de resolução de problemas, em vez da abordagem sequencial tradicional.
De acordo com a equipe do Google DeepMind, os avanços no Gemini Deep Think são notáveis:
Para aproveitar ao máximo os recursos de raciocínio do Deep Think, treinamos adicionalmente esta versão do Gemini em novas técnicas de aprendizado por reforço que podem alavancar mais dados de raciocínio em várias etapas, resolução de problemas e comprovação de teoremas. Também fornecemos ao Gemini acesso a um corpus selecionado de soluções de alta qualidade para problemas matemáticos e adicionamos algumas dicas e sugestões gerais sobre como abordar problemas da IMO às suas instruções.
Disponibilidade futura de modelos avançados
O Google planeja lançar esta nova versão do modelo Deep Think para um grupo seleto de testadores confiáveis em breve. Após esta fase, ela estará disponível para assinantes do Google AI Ultra, marcando um avanço significativo na aplicação da IA na resolução de desafios matemáticos complexos.
Deixe um comentário