Num marco significativo para a inteligência artificial, tanto a OpenAI como a Google DeepMind demonstraram capacidades de raciocínio matemático ao nível de medalha de ouro nas Olimpíadas Internacionais de Matemática (IMO) de 2025, a competição mais prestigiada do mundo para jovens matemáticos.
Os modelos de IA de ambas as empresas alcançaram pontuações idênticas de 35 em 42 pontos possíveis, resolvendo na perfeição cinco dos seis problemas apresentados. Este desempenho corresponde ao limiar para a medalha de ouro na edição deste ano, em que apenas cerca de 11% dos 630 concorrentes humanos (aproximadamente 67 estudantes) receberam medalhas de ouro.
A versão avançada do Gemini com Deep Think, da Google DeepMind, foi oficialmente avaliada e certificada pelos coordenadores da IMO, tendo o presidente da IMO, Gregor Dolinar, destacado que as soluções apresentadas foram "notáveis em muitos aspetos" e "claras, precisas e, na sua maioria, fáceis de seguir". Isto representa um avanço significativo face ao ano anterior, quando a DeepMind conquistou a medalha de prata com sistemas especializados.
A OpenAI avaliou o seu modelo experimental de raciocínio nos mesmos problemas e sob condições idênticas às da competição — duas sessões de exame de 4,5 horas sem acesso à internet ou a ferramentas. Embora a OpenAI não tenha feito parte do processo oficial de avaliação da IMO, a empresa submeteu as suas soluções à avaliação independente de três antigos medalhistas da IMO.
O momento dos anúncios gerou alguma tensão entre as empresas. A OpenAI publicou os seus resultados a 19 de julho, enquanto a Google DeepMind aguardou até 21 de julho, respeitando o pedido do Conselho da IMO para divulgar os resultados apenas após a verificação oficial e o reconhecimento dos estudantes.
Junehyuk Jung, professor de matemática na Universidade Brown e investigador visitante na Google DeepMind, acredita que esta conquista indica que a IA está a menos de um ano de poder ajudar matemáticos a abordar problemas de investigação ainda por resolver na fronteira da matemática. "Acredito que o momento em que conseguirmos resolver problemas de raciocínio difíceis em linguagem natural abrirá a possibilidade de colaboração entre IA e matemáticos", afirmou Jung à Reuters.
Apesar de impressionante, alguns especialistas alertam que os problemas da IMO, embora difíceis, são conceptualmente mais simples do que a matemática de investigação de ponta. A conquista demonstra as crescentes capacidades de raciocínio da IA, mas não indica necessariamente que esteja pronta para todos os aspetos da investigação matemática.