Há apenas 20 minutos, o resultado do IMO 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 a equipe chinesa dos EUA contra a IA.

Podemos estar a entrar numa reviravolta na saga OpenAI vs. DeepMind IMO. Acabei de ver uma publicação de Joseph Myers (envolvido na Olimpíada de Matemática desde 1992): o comitê da IMO supostamente pediu aos laboratórios de IA que não publicassem resultados até 7 dias após a cerimônia de encerramento — por respeito aos concorrentes humanos (veja minha publicação de ontem) e provavelmente para permitir tempo para a verificação adequada das submissões 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 esteve envolvido na avaliação das suas soluções. Enquanto isso, parece que a DeepMind está a seguir as regras e a esperar pacientemente a sua vez. Para contexto: A IMO tem 6 problemas, cada um valendo 7 pontos. O corte de ouro deste ano é de 35 pontos. Mesmo uma pequena dedução poderia fazer a OpenAI cair para prata. E pela minha leitura dos seus relatórios, 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 importam. Um estudante que não conseguiria uma medalha de bronze em condições normais pode conquistar o ouro com uma configuração modificada — o que levanta questões reais sobre o que significa "resolver a IMO" para a IA. A próxima semana pode ser emocionante. Fique atento.