Eu pensei que a humanidade estava segura há apenas 2 dias, está literalmente contando em dias... Algum contexto: esta não é a primeira vez que a IA ganha medalhas na Olimpíada Internacional de Matemática (IMO). No ano passado, o AlphaProof do Google ganhou prata - mas esse modelo foi treinado especificamente para matemática. Desta vez, a OpenAI usou um modelo de uso geral (provavelmente um protótipo GPT-5 interno?) e ganhou ouro. Esse é um grande salto em importância. Para colocar isso em perspectiva: resolver um problema de nível IMO normalmente leva cerca de 100 minutos para competidores humanos de elite. Apenas 2 anos atrás, os principais modelos de IA ainda estavam lutando com problemas de palavras do ensino fundamental (GSM8k), que levam cerca de 10 segundos para serem resolvidos. Como Dan Roberts, da OpenAI, compartilhou no AI Ascent 2025 da Sequoia, a duração das tarefas que a IA pode realizar está dobrando a cada 7 meses. No final de 2025, o GPT-5 pode muito bem estar operando em níveis de tarefas humanas de uma hora. Uma ressalva: a IMO deste ano supostamente teve uma falha no equilíbrio de dificuldade - os problemas 1 a 5 foram relativamente fáceis, enquanto o problema 6 foi extraordinariamente difícil. Como resultado, muitas pontuações se agruparam entre 28 e 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, 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)