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.

A DeepMind conquistou uma medalha de ouro na IMO na tarde de sexta-feira. Mas eles tiveram que esperar que o marketing aprovasse o tweet - até segunda-feira. @OpenAI compartilhou o deles pela primeira vez à 1h do sábado e roubou os holofotes. Neste jogo, a velocidade > a burocracia. Perca o momento, perca a narrativa.

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

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

O que você acha dessa ideia de outdoor para Hyperbolic?

Acabamos de lançar nossa cotação instantânea de GPUs reservadas: perfeita para equipes de IA que precisam de computação dedicada por longos períodos de tempo. Obtenha preços instantâneos para suas necessidades exatas de infraestrutura diretamente em nosso aplicativo!

Acabei de sair do trabalho e tentei o Grok-4 em um problema de topologia de graduação. Demorou 9 minutos para pensar e, em seguida, deu uma resposta 😅 limpa, plausível, mas totalmente errada Não pense que este se qualifica como "habilmente adversário". Os modelos de IA estão esmagando os benchmarks – mas ainda estão muito à frente para a AGI matemática real.

Grok obteve pontuação total no AIME 🤯 Definitivamente precisamos de uma referência matemática melhor para IA agora

O melhor modelo de raciocínio de código aberto será descartado na próxima quinta-feira se tudo correr bem. A OpenAI não abre o código de um LLM desde o GPT-2 em 2019, então estou animado. Estamos hospedando no Hyperbolic. Aperte o cinto.

O futuro da IA é colaborativo