Eu pensei que a humanidade estava segura há apenas 2 dias, está literalmente a contar em dias… Algum contexto: Esta não é a primeira vez que a IA conquista uma medalha na Olimpíada Internacional de Matemática (IMO). No ano passado, o AlphaProof do Google ganhou a prata—mas esse modelo foi treinado especificamente para matemática. Desta vez, a OpenAI usou um modelo de propósito geral (provavelmente um protótipo interno do GPT-5?), e ganhou o ouro. Isso é um grande salto em significância. Para colocar isso em perspectiva: resolver um problema ao nível da IMO normalmente leva a competidores humanos de elite cerca de 100 minutos. Há apenas 2 anos, os melhores modelos de IA ainda estavam a ter dificuldades com problemas de matemática de nível escolar (GSM8k), que levam aos humanos cerca de 10 segundos para resolver. Como Dan Roberts da OpenAI compartilhou na AI Ascent 2025 da Sequoia, o tempo que a IA pode lidar está a dobrar a cada 7 meses. Até o final de 2025, o GPT-5 pode muito bem estar a operar em níveis de tarefas humanas de uma hora. Uma ressalva: A IMO deste ano supostamente teve um defeito no equilíbrio de dificuldade—os problemas 1–5 eram relativamente fáceis, enquanto o problema 6 era incomumente difícil. Como resultado, muitas pontuações se agruparam entre 28–35 (cada problema vale 7 pontos). A IA marcou 35—apenas o suficiente para o ouro. Um pouco de sorte, mas a trajetória é inegável. Por último, mas não menos importante, as competições de matemática serão, sem dúvida, uma corrida entre chineses na China, chineses nos EUA e modelos de IA (construídos por chineses nos EUA e na China)