Inteligência artificial vence ouro na Olimpíada Internacional de Matemática; humanos lideram

O desafio proposto consiste em resolver seis problemas matemáticos extremamente complexos, cada um valendo sete pontos, totalizando 42 pontos possíveis.

A competição exige não apenas domínio técnico, mas também criatividade, capacidade de abstração e argumentação lógica rigorosa — características tradicionalmente associadas à inteligência humana.

Leia mais:

Inteligência artificial no século XXI: apoio essencial às decisões judiciais

Classificação e medalhas

As medalhas são distribuídas conforme a pontuação:

• Ouro: cerca de 8% dos melhores colocados
• Prata: aproximadamente 16%
• Bronze: em torno de 24%
• Os demais recebem certificados de menção honrosa, se resolverem ao menos uma questão corretamente

Na edição deste ano, 67 participantes humanos obtiveram pontuação suficiente para receber medalhas de ouro.

Gemini e IA da OpenAI conquistam ouro com 35 pontos

Como as IAs foram avaliadas

Tanto o Gemini Deep Think, do Google, quanto o modelo da OpenAI conseguiram resolver corretamente cinco das seis questões, obtendo 35 pontos — pontuação que se enquadra nos critérios da IMO para medalha de ouro.

A avaliação foi feita sob as mesmas condições dos participantes humanos, com tempo limite, rigor formal e critérios de correção equivalentes. Os cálculos, argumentações e soluções foram certificados por juízes oficiais da Olimpíada.

Raciocínio em linguagem natural

Segundo as equipes responsáveis, as soluções foram geradas integralmente por meio de linguagem natural, ou seja, sem intervenção humana direta e utilizando apenas os próprios recursos dos modelos para raciocínio lógico e demonstração matemática.

“Resolvemos esses problemas completamente em linguagem natural. Isso significa que não houve intervenção humana — de nenhuma maneira”, afirmou um pesquisador do Google DeepMind.

Criatividade e complexidade

Alexander Wei, pesquisador da OpenAI, destacou em sua rede social que os problemas da IMO representam um novo patamar de exigência para sistemas de IA.

“Obtivemos um modelo que pode elaborar argumentos complexos e sólidos no nível de matemáticos humanos”, escreveu.

Essa evolução é significativa, pois a maioria dos benchmarks usados até então para avaliar inteligência artificial eram baseados em tarefas repetitivas ou memorização, enquanto os problemas da IMO exigem pensamento criativo, formulação de hipóteses e demonstrações formais.

Humanos ainda dominam: cinco participantes fizeram 42 pontos

Apesar do avanço tecnológico, os humanos continuam no topo do pódio. Cinco estudantes alcançaram pontuação perfeita, resolvendo corretamente as seis questões da competição. O feito reforça a capacidade única de interpretação, intuição e originalidade da mente humana.

Competição entre inteligência artificial e natural

A comparação entre humanos e máquinas na IMO serve como um marco simbólico na história da matemática e da IA. Pela primeira vez, máquinas foram capazes de competir em pé de igualdade em uma competição altamente seletiva, mas ainda não conseguiram alcançar os melhores desempenhos humanos.

O que se observa, porém, é uma aproximação progressiva entre raciocínio artificial e humano, algo que há poucos anos parecia impossível.

Avanços e aplicações futuras

O que muda com esse avanço?

A conquista de medalhas de ouro por IAs demonstra que os modelos estão se tornando capazes de resolver problemas abstratos, não apenas executar tarefas mecânicas ou simular conversas. Isso abre caminho para a aplicação dessas tecnologias em:

• Pesquisa matemática avançada
• Educação personalizada em matemática
• Soluções de problemas científicos e físicos complexos
• Assistência a pesquisadores e engenheiros

O Google e a OpenAI reforçaram, em nota, que esses resultados representam um avanço significativo na capacidade das IAs de aplicar raciocínio formal e simbólico, e que os próximos anos devem trazer ainda mais evoluções nesse campo.

IA como colaboradora de matemáticos

Em vez de substituir matemáticos, as novas ferramentas de IA podem se tornar colaboradoras nos processos de descoberta e validação de teoremas. Ao lidar com grandes volumes de dados e testar múltiplas hipóteses rapidamente, as máquinas podem auxiliar na aceleração de avanços teóricos, enquanto os humanos continuam sendo responsáveis pela interpretação filosófica e estratégica das descobertas.

IA na educação e na formação matemática

A possibilidade de que modelos como o Gemini ou o da OpenAI sejam usados no apoio à aprendizagem matemática já é considerada por especialistas.

Ferramentas de tutoria personalizada

Modelos capazes de explicar soluções passo a passo, corrigir raciocínios e propor desafios de acordo com o nível de conhecimento do aluno podem revolucionar o ensino da matemática, inclusive no Brasil.

O futuro da matemática com inteligência artificial

A performance dos modelos de IA na IMO 2025 marca um ponto de inflexão. Se até recentemente a matemática era vista como um dos últimos redutos exclusivamente humanos, agora se confirma que as máquinas também estão aprendendo a demonstrar, abstrair e inferir — com lógica própria.

Ainda que a criatividade humana siga imbatível nos desafios mais complexos, as IAs já se mostram parceiras valiosas e cada vez mais sofisticadas na construção do conhecimento matemático e científico.

---

Considerações finais

A conquista de medalhas de ouro por sistemas de inteligência artificial na 66ª Olimpíada Internacional de Matemática representa um marco na história da tecnologia e da educação.

Gemini e OpenAI demonstraram que já são capazes de raciocinar em níveis avançados, enfrentando desafios que exigem mais do que cálculos: exigem criatividade, lógica formal e argumentação rigorosa.

Contudo, os melhores resultados ainda pertencem aos humanos, o que confirma o potencial, mas também os limites atuais da inteligência artificial. O futuro promete ser uma jornada de colaboração entre cérebros humanos e algoritmos inteligentes, com benefícios imensuráveis para a ciência, a educação e a sociedade como um todo.