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.

A DeepMind ganhou uma medalha de ouro na IMO na tarde de sexta-feira. Mas tiveram que esperar pela aprovação do marketing para o tweet — até segunda-feira. A @OpenAI partilhou o seu primeiro às 1h da manhã de sábado e roubou o destaque. Neste jogo, velocidade > burocracia. Perde o momento, perde a narrativa.

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.

À medida que os modelos de IA crescem, otimizar para FLOPS/$ (poder computacional por dólar) torna-se crucial. Veja como a Hyperbolic pode otimizar os seus custos de GPU abaixo 🧵

O que você acha desta ideia de outdoor para a Hyperbolic?

Acabámos de lançar a nossa Cotação Instantânea de GPUs Reservadas: perfeita para equipas de IA que precisam de computação dedicada por períodos mais longos. Obtenha preços instantâneos para as suas necessidades de infraestrutura exatas diretamente na nossa aplicação!

Acabei de sair do trabalho e experimentei o Grok-4 num problema de topologia de graduação. Levou 9 minutos a pensar e depois deu uma resposta limpa, plausível, mas totalmente errada 😅 Não acho que este se qualifique como "habilidosamente adversarial." Os modelos de IA estão a esmagar benchmarks — mas ainda há um longo caminho a percorrer para uma AGI matemática real.

Grok obteve a pontuação máxima no AIME 🤯 Definitivamente precisamos de um melhor padrão de matemática para IA agora.

O melhor modelo de raciocínio de código aberto será lançado na próxima quinta-feira, se tudo correr bem. A OpenAI não lançou um LLM de código aberto desde o GPT-2 em 2019, por isso estou entusiasmado. Estamos a hospedá-lo no Hyperbolic. Preparem-se.

O futuro da IA é colaborativo