A IMO 2025 foi realizada de 10 a 20 de julho em Sunshine Coast, Queensland, Austrália, com 630 participantes. Destes, 67 (aproximadamente 11%) ganharam medalhas de ouro. O fato de a IA também ter alcançado um feito semelhante é um marco histórico.
Este é o primeiro ano em que a competição IMO estabeleceu parceria oficial com diversos desenvolvedores de IA. Os jurados da IMO confirmaram os resultados das empresas parceiras, incluindo o Google, e solicitaram que elas publiquem os resultados até 28 de julho.
No entanto, os resultados finais mostraram que até mesmo as máquinas mais avançadas e modernas foram derrotadas pelos adolescentes mais brilhantes do mundo .
O último bastião da humanidade?
O notoriamente rigoroso exame da IMO é realizado ao longo de dois dias. Em cada dia, os alunos devem resolver três problemas progressivamente mais complexos em pouco mais de quatro horas. As questões abrangem álgebra, geometria, teoria dos números e combinatória.
Devido à complexidade e aos desafios não convencionais que apresenta, o teste anual de matemática tornou-se uma ferramenta útil para medir o progresso da IA ano após ano. Nesta era de rápido desenvolvimento, os principais laboratórios de pesquisa sonham com o dia em que seus sistemas serão poderosos o suficiente para se qualificarem para uma medalha de ouro da IMO.
Embora essa ambição tenha se concretizado quando a IA do Google e da OpenAI ganharam medalhas de ouro, é importante destacar que 26 alunos obtiveram pontuações mais altas.
Entre eles, estão quatro estrelas da equipe dos EUA, incluindo Qiao Zhang, bicampeão olímpico, e Alexander Wang, que trouxe para Nova Jersey a terceira medalha de ouro consecutiva. Com essa conquista, Wang se tornou um dos jovens matemáticos mais brilhantes de todos os tempos e ainda pode ganhar outra medalha de ouro na Olimpíada Internacional de Matemática (IMO) no próximo ano.
 |
A equipe dos EUA na Olimpíada Internacional de Matemática de 2025. Foto: WSJ. |
Em entrevista ao WSJ , Zhang disse que passou mais tempo na questão número 6 durante a prova. Essa é uma questão combinatória notoriamente difícil, que abrange um ramo da matemática envolvendo contagem, classificação e combinação de objetos discretos.
A solução para esse problema exige engenhosidade, criatividade e intuição, qualidades que os humanos possuem, mas as máquinas não, ou pelo menos ainda não. "Eu ficaria um pouco assustado se os modelos de IA conseguissem resolver o Problema 6", disse Zhang.
O problema número 6 desafiou os modelos da DeepMind e da OpenAI, mas não foi apenas a IA que teve dificuldades. Dos 630 participantes, 569 também receberam nota 0. Apenas 6 obtiveram a pontuação máxima de 7 pontos. Zhang, orgulhoso de sua solução parcial, conquistou 4 pontos, mais do que a maioria dos outros participantes.
Com seus avanços contínuos, muitos sugerem que a IA pode estar "destruindo" a humanidade na matemática. No entanto, Junehyuk Jung discorda.
Ex-medalhista de ouro da IMO, Jung é atualmente professor associado na Universidade Brown e pesquisador visitante na DeepMind. No entanto, ele não acredita que esta seja a batalha final da humanidade. Segundo Jung, problemas como o Problema 6 continuarão a desafiar a IA por pelo menos mais uma década.
"Há coisas que a IA fará muito bem. No entanto, ainda haverá coisas que os humanos poderão fazer melhor", observou Jung.
A corrida pela medalha de ouro na matemática
Em 2021, um estudante chamado Alexander Wei participou de um projeto de pesquisa que lhe pediu para prever as capacidades matemáticas da IA até julho de 2025. Ao considerar outras previsões, Wei achou que essa era otimista demais.
No entanto, este ex-aluno é agora a prova viva de quão enganado ele estava. Wei é o cientista pesquisador que liderou o projeto IMO para a OpenAI. O que é ainda mais impressionante é como eles conseguiram.
Não apenas a OpenAI, mas também o Google consideraram os resultados apresentados na IMO 2025 um grande avanço. Em 2024, os modelos de IA exigiram que os problemas fossem traduzidos em linguagens de programação para fins de comprovação matemática.
Em apenas um ano, esses sistemas estavam operando inteiramente em "linguagem natural", sem qualquer intervenção humana. A DeepMind também concluiu o exame dentro do limite de tempo de 4,5 horas da IMO. Para efeito de comparação, em 2024, esse sistema levou vários dias para calcular a solução.
Muitas pessoas podem considerar a IA como uma concorrente. No entanto, aqueles que desenvolvem os modelos a veem como ferramentas complementares.
 |
Resultados finais da Olimpíada Internacional de Matemática de 2025. Foto: WSJ. |
"Este computador tem potencial para impulsionar a próxima geração de matemáticos", afirmou o Dr. Luong Minh Thang, pesquisador sênior do Google (EUA).
Há três semanas, a equipe do Dr. Minh Thang desenvolveu com sucesso o AlphaGeometry 2. A característica mais notável desta versão é sua capacidade de resolver problemas de geometria que superam os dos medalhistas de ouro da Olimpíada Internacional de Matemática (IMO).
"Se alunos com habilidades que lhes renderam medalha de ouro na IMO conseguem resolver 40 de 50 problemas, então o AlphaGeometry 2 será capaz de resolver 42 de 50 problemas" , compartilhou o Dr. Thang, entusiasmado.
No ano passado, esse modelo ganhou apenas a medalha de prata. Este ano, o Google está usando o modelo multiuso Gemini Deep Think (uma versão que foi apresentada anteriormente na conferência de desenvolvedores em maio).
Vale ressaltar que, segundo o WSJ , antes do início da competição, a equipe do Dr. Thang ainda estava fazendo ajustes. Inicialmente, o Dr. Thang esperava que o modelo da DeepMind resolvesse todos os três problemas já no primeiro dia.
A simplicidade, a elegância e a notável legibilidade dessas soluções surpreenderam os matemáticos. No dia seguinte, assim que Thang e seus colegas descobriram que o sistema de IA havia resolvido mais dois problemas, perceberam que poderiam ganhar a medalha de ouro sem sombra de dúvida.
Como resultado, a IA da DeepMind resolveu com sucesso 5 dos 6 problemas. Notavelmente, todos eles utilizaram modelos de raciocínio empírico, processando conceitos matemáticos por meio de linguagem natural, um contraste marcante com as abordagens complexas usadas anteriormente por empresas de IA.
Fonte: https://znews.vn/nhung-nguoi-thong-minh-hon-ai-post1572367.html
![[Vídeo] Pôr do sol na Lagoa Lap An – Onde o sol se põe sobre as redes de pesca](https://vphoto.vietnam.vn/thumb/1200x675/vietnam/resource/IMAGE/2026/05/31/1780192137701_beach-landscape-sea-water-nature-grass-745871-pxhere-com.jpeg)
Comentário (0)