Apenas 20 minutos atrás, o resultado da IMO de 2025 foi divulgado. A China ficou em 1º lugar e @GoogleDeepMind ganhou uma medalha 🥇 de ouro As futuras competições de matemática serão a equipe da China contra os EUA Equipe chinesa contra a IA

Podemos estar entrando em uma reviravolta na saga OpenAI vs. DeepMind IMO. Acabei de ver uma postagem de Joseph Myers (envolvido na Olimpíada de Matemática desde 1992): o comitê da IMO teria pedido aos laboratórios de IA que não publicassem os resultados até 7 dias após a cerimônia de encerramento - por respeito aos competidores humanos (veja meu post ontem) e provavelmente para dar tempo para a verificação adequada dos envios e formatos de IA. De acordo com Joseph, a OpenAI não colaborou com a IMO para testar seu modelo, e nenhum dos 91 coordenadores oficiais da IMO estava envolvido na classificação de suas soluções. Enquanto isso, parece que a DeepMind está seguindo as regras e esperando pacientemente sua vez. Para contextualizar: A IMO tem 6 problemas, cada um valendo 7 pontos. O corte de ouro deste ano é de 35 pontos. Mesmo uma pequena dedução pode derrubar a OpenAI para a prata. E pela minha leitura de seus artigos, algumas partes podem levantar questões - e possivelmente custar pontos. Terence Tao também apontou que, embora os problemas permaneçam os mesmos, os formatos de teste são importantes. Um aluno que não obteria um bronze em condições padrão pode encontrar ouro com uma configuração modificada - o que levanta questões reais sobre o que "resolver a IMO" significa para a IA. A próxima semana pode ficar picante. Fique ligado.