Modelos de IA obtêm desempenho inédito na Olimpíada Internacional de Matemática
Pela primeira vez, sistemas de inteligência artificial atingiram a pontuação mínima necessária para receber medalhas de ouro na Olimpíada Internacional de Matemática (IMO). A conquista foi alcançada por uma versão avançada do Gemini, desenvolvida pelo Google, e por uma ferramenta experimental da OpenAI. Ambas resolveram cinco das seis questões propostas e somaram 35 pontos, marca que as colocou entre os vencedores da categoria mais alta da competição.
A 66ª edição da IMO ocorreu em Sunshine Coast, na Austrália, e reuniu 630 participantes com idade máxima de 20 anos, representando diversos países. Cada prova contém seis problemas avaliados em até sete pontos, totalizando 42. Para receber ouro é necessário atingir, aproximadamente, 90% da pontuação de corte definida pelos organizadores, requisito que os dois modelos de IA conseguiram cumprir.
Gemini Deep Think e IA da OpenAI dividem protagonismo
O Gemini Deep Think, nome dado à versão avançada do modelo do Google, foi treinado para produzir demonstrações matemáticas completas em linguagem natural. Já a solução da OpenAI foi projetada especificamente para raciocínio simbólico e verificação automática de cada etapa. Embora empreguem arquiteturas distintas, os dois sistemas apresentaram desempenho similar na prova.
Segundo as empresas, os algoritmos processaram cada enunciado, geraram estratégias de resolução e redigiram justificativas passo a passo dentro do tempo oficial da competição. Os relatórios enviados às bancas examinadoras seguiram as mesmas diretrizes impostas aos candidatos humanos e tiveram pontuação atribuída pelos mesmos juízes independentes.
Estudantes humanos seguem no topo do pódio
Apesar do feito tecnológico, os melhores resultados permaneceram com os competidores humanos. Cinco estudantes alcançaram a pontuação máxima de 42 pontos, desempenho superior ao registrado pelos modelos de IA. No total, 67 dos 630 participantes garantiram medalhas de ouro nesta edição.
O número expressivo de notas máximas demonstra que o domínio de técnicas avançadas de resolução, combinado à criatividade exigida pelos problemas, continua sendo um diferencial humano. A IMO é conhecida justamente por propor desafios que demandam concepções originais, muitas vezes distantes de abordagens puramente algorítmicas.
Quadro geral de premiações
Além dos ouros, a edição de 2025 distribuiu medalhas de prata e bronze aos demais competidores de alto rendimento, seguindo a proporção tradicional de premiação da IMO. Os países participantes também recebem uma classificação coletiva a partir da soma das pontuações de cada integrante, indicador que serve como referência para políticas de ensino de matemática ao redor do mundo.
As delegações utilizam o resultado para avaliar programas de formação olímpica, identificar talentos e ajustar metodologias pedagógicas. Nesse cenário, a participação de sistemas de IA adiciona um parâmetro novo de comparação e pode influenciar o desenvolvimento de ferramentas de apoio ao estudo.
Tecnologia empregada nas soluções de IA
Os dois modelos utilizaram técnicas de raciocínio de cadeia de pensamentos, nas quais o algoritmo expande cada passo lógico antes de apresentar a conclusão final. Essa abordagem visa reduzir erros de cálculo e permitir verificação automática das etapas por sistemas externos, garantindo consistência interna na argumentação.
Imagem: g1.globo.com
Para lidar com notação matemática complexa, as plataformas converteram símbolos em descrições textuais padronizadas, compatíveis com a estrutura de linguagem natural. Após gerar a solução, verificadores independentes confirmaram a correção das demonstrações, processo semelhante ao adotado para candidatos humanos.
Certificação dos resultados
Os juízes da IMO analisaram as respostas enviadas pelos modelos da mesma forma que examinaram as provas dos estudantes. Cada questão recebeu pontuação parcial ou total de acordo com a exatidão das justificativas e da resposta final. A validação externa assegurou que não houve interferência humana durante a resolução.
As empresas informaram que o teste foi conduzido em ambiente isolado, com limite de tempo equivalente ao aplicado aos competidores. A transparência no procedimento foi considerada essencial para legitimar o resultado perante a comunidade científica e educacional.
Perspectivas para a pesquisa matemática
Google e OpenAI destacam que o desempenho obtido sinaliza avanços no desenvolvimento de modelos capazes de manipular conceitos abstratos de maneira semelhante à prática de matemáticos. As companhias defendem que ferramentas futuras poderão auxiliar na descoberta de novos teoremas, na validação automática de provas e no ensino personalizado.
Mesmo com a conquista de medalhas de ouro, a diferença para os resultados humanos indica áreas onde os algoritmos ainda carecem de refinamento, como criatividade na formulação de estratégias inéditas. Pesquisadores avaliam que a colaboração entre especialistas e sistemas baseados em IA pode acelerar o progresso em problemas de alta complexidade.
Próximos passos e aplicações
As equipes planejam expandir o treinamento dos modelos com bancos de dados maiores de demonstrações formais e integrar verificadores de prova mais robustos. Além da matemática pura, essas técnicas poderão ser aplicadas em áreas que exigem raciocínio lógico estruturado, como criptografia, otimização e física teórica.
Por ora, a presença de sistemas de inteligência artificial na principal olimpíada de matemática do mundo representa um marco simbólico. O resultado reforça o potencial das IAs no apoio a pesquisadores, mas também sublinha o papel central da criatividade humana nos desafios mais exigentes da disciplina.
Postagens relacionadas