Em um marco significativo para a inteligência artificial, tanto a OpenAI quanto o Google DeepMind demonstraram raciocínio matemático em nível de medalha de ouro na Olimpíada Internacional de Matemática (IMO) de 2025, a competição mais prestigiada do mundo para jovens matemáticos.
Os modelos de IA das duas empresas alcançaram pontuações idênticas de 35 em um máximo de 42 pontos, solucionando perfeitamente cinco dos seis problemas propostos. Esse desempenho corresponde ao limite para medalha de ouro na competição deste ano, em que apenas cerca de 11% dos 630 participantes humanos (aproximadamente 67 estudantes) receberam medalhas de ouro.
A versão avançada do Gemini com Deep Think, do Google DeepMind, foi oficialmente avaliada e certificada pelos coordenadores da IMO. O presidente da IMO, Gregor Dolinar, destacou que as soluções apresentadas foram "surpreendentes em muitos aspectos" e "claras, precisas e, na maioria, fáceis de acompanhar". Isso representa um avanço significativo em relação ao ano anterior, quando a DeepMind conquistou medalha de prata utilizando sistemas especializados.
A OpenAI avaliou seu modelo experimental de raciocínio nos mesmos problemas, sob condições idênticas às da competição—duas sessões de prova de 4,5 horas, sem acesso à internet ou ferramentas. Embora a OpenAI não tenha participado do processo oficial de avaliação da IMO, a empresa submeteu suas soluções à correção independente de três ex-medalhistas da IMO.
O momento dos anúncios gerou certa tensão entre as empresas. A OpenAI publicou seus resultados em 19 de julho, enquanto o 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 da Brown University e pesquisador visitante do Google DeepMind, acredita que essa conquista indica que a IA está a menos de um ano de ajudar matemáticos a enfrentar problemas de pesquisa ainda não resolvidos na fronteira da matemática. "Acredito que o momento em que conseguirmos resolver problemas complexos de raciocínio em linguagem natural abrirá o potencial para colaboração entre IA e matemáticos", afirmou Jung à Reuters.
Apesar do feito impressionante, alguns especialistas alertam que os problemas da IMO, embora difíceis, são conceitualmente mais simples do que os desafios encontrados na pesquisa matemática de ponta. A conquista demonstra a crescente capacidade de raciocínio das IAs, mas não indica necessariamente que estejam prontas para todos os aspectos da pesquisa matemática.