Humanos derrotam IA na 66ª Olimpíada Internacional de Matemática

▲ Imagem feita com Meta AI

Mônica Mateos

Jornal La Jornada, quinta-feira, 24 de julho de 2025, p. 6

Ao ouvir a notícia de que os modelos de inteligência artificial (IA) da OpenAI e do Google DeepMind alcançaram desempenho digno de medalha de ouro na 66ª Olimpíada Internacional de Matemática (IMO), realizada na Austrália, a comunidade matemática global imediatamente respondeu: sim, mas os humanos venceram a IA, jovens estudantes pré-universitários que ainda têm muito a contribuir para o futuro .

Nenhuma das modelos obteve a pontuação máxima de 42, alcançada por cinco estudantes da China, Canadá, Japão e Rússia na prestigiosa competição anual, na qual os participantes devem ter menos de 20 anos.

Além disso: as gigantes da computação disseram que suas IAs pontuaram 35 pontos. No entanto, na IMO deste ano, sem contar os cinco exames perfeitos, 21 estudantes pré-universitários da China, Estados Unidos, Vietnã, Índia, Coreia, Rússia, Áustria, Canadá, Eslováquia, Hong Kong, Israel, Itália e Mongólia superaram a pontuação cibernética.

Outra estatística a favor dos humanos: 46 competidores alcançaram os 35 pontos reivindicados pela OpenAI e pelo Google (entre eles os peruanos Renato Gaitán e Sebastián Lozada, os únicos latino-americanos naquele ranking ); e 61 estudantes enfrentaram o problema seis, que os modelos computacionais não conseguiram resolver.

De acordo com a AFP, os organizadores da IMO alertaram que não conseguiram verificar quanta capacidade de computação os modelos de IA usaram ou se houve participação humana.

Representando o México, dois estudantes ganharam medalhas de prata com 28 pontos cada: Takumi Higashida Martínez, da Cidade do México, e Emmanuel Buenrostro Briseño, de Jalisco; enquanto as medalhas de bronze foram para Héctor Juan Villarreal Corona (27 pontos) e Mateo Iván Latapí Acosta, de Jalisco, assim como Iker Torres Terrazas, de Chihuahua (ambos com 24 pontos), e Javier Caram Quirós, também da Cidade do México, com 22 pontos.

Além das Olimpíadas e das medalhas, os matemáticos estão apostando que coisas realmente grandiosas acontecerão quando modelos de inteligência artificial os ajudarem a resolver problemas muito complexos (e, até agora, impossíveis) que exigem milhões de etapas e procedimentos.

Alguns especialistas chegam a dizer que podemos estar perto de resolver os agora lendários Problemas do Milênio, propostos pelo Clay Mathematics Institute de Cambridge, Massachusetts, Estados Unidos (CMI), em 2000, que oferece uma recompensa de um milhão de dólares a cada um por sua solução.

Os sete problemas escolhidos, considerados pelo CMI como importantes questões clássicas que não foram resolvidas em anos , são: P vs NP, que pergunta se há problemas que podem ser verificados rapidamente (em tempo polinomial) e que também podem ser resolvidos precocemente; a conjectura de Hodge, um problema profundo sobre a estrutura de certos objetos geométricos chamados variedades algébricas complexas; a conjectura de Poincaré, que mostra que a esfera tridimensional é a única variedade compacta simplesmente conectada; a hipótese de Riemann, um problema central na teoria dos números envolvendo a distribuição de números primos; as equações de Navier-Stokes, que estabelecem a existência e a suavidade das soluções para essas equações que descrevem o movimento do fluido; a conjectura de Birch-Swinnerton-Dyer, que relaciona a estrutura algébrica de certas curvas elípticas às propriedades analíticas; e a lacuna de massa , um problema na física quântica envolvendo a existência de uma lacuna de massa na teoria de Yang-Mills.

Em 2002, a conjectura de Poincaré foi resolvida pelo matemático russo Grigory Perelman (São Petersburgo, 1966) e endossada em 2010 pelo IMC. Por essa conquista, ele também recebeu a Medalha Fields, considerada o Prêmio Nobel da matemática. Perelman recusou ambos os prêmios, alegando que não queria ser exibido como um animal em um zoológico. "Não sou um herói da matemática. Nem sou tão bem-sucedido assim. É por isso que não quero que todos me observem ." Em 1982, como parte da equipe soviética, conquistou uma medalha de ouro na OMI em Budapeste, com uma pontuação máxima de 42 pontos, medalha que não aceitou.

Em outubro de 2024, a empresa de Mark Zuckerberg, a Meta, anunciou que sua IA havia desvendado as funções de Lyapunov, um problema matemático que intriga especialistas há mais de 130 anos e oferece ferramentas essenciais para analisar a estabilidade de sistemas dinâmicos.

Nesse sentido, a comunidade matemática concorda que a IA será bem-vinda para aprimorar a pesquisa em uma área onde o raciocínio e a criatividade permanecerão em grande parte humanos.