A Casa Branca acaba de revelar um Plano de Ação em IA construído em torno de três pilares: ✍️ > Acelerar a inovação > Construir uma infraestrutura de IA robusta > Liderar na diplomacia e segurança internacional em IA Na Hyperbolic Labs, temos orgulho de apoiar esta missão, fornecendo computação acessível e confiável que impulsiona o progresso da IA. 🧵

Qwen3-Coder-480B-A35B-Instruct + @hyperbolic_labs já está disponível no anycoder para codificação vibe

Entusiasmado por ser o primeiro a hospedar o melhor modelo de codificação Qwen3-Coder no @huggingface! Obrigado pela sua confiança, @Alibaba_Qwen @JustinLin610 @huybery 💜

Que fim de semana louco sobre IA e IMO. Olhando para os últimos 3 dias, testemunhei: > Sexta-feira à tarde: informações vazadas sobre a DeepMind ganhando ouro > Sábado 1h: a OpenAI antecipou o anúncio oficial, roubando o destaque > Inicialmente pensei que o Google estava apenas lento devido à aprovação de marketing > Depois ouvi de pessoas do Google que a IMO e eles mesmos precisavam de mais tempo para verificação > Acontece que a OpenAI nem sequer envolveu a IMO oficialmente > Segunda-feira: a DeepMind confirmou seu ouro com respostas mais limpas e estéticas, totalmente verificadas pela IMO Foi divertido ser o primeiro a compartilhar a notícia no X na última sexta-feira. Que fim de semana louco! Brincadeiras à parte, há muito hype em torno da IA matemática ultimamente, mas o que precisamos mais é de rigor e padronização. Como Terence Tao apontou, mesmo que os resultados pareçam semelhantes, diferenças no formato de teste podem fazer uma grande diferença. Ainda estamos longe de ter padrões e mensagens claros e consistentes na pesquisa em IA. Se quisermos um progresso significativo, é hora da comunidade se mobilizar. Vamos construir benchmarks em que todos possamos confiar.

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.