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

Qwen3-Coder-480B-A35B-Instruct + @hyperbolic_labs agora está disponível em qualquer codificador para codificação de vibração

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

Que fim de semana selvagem sobre IA e IMO. Olhando para os últimos 3 dias, testemunhei: > Sexta-feira à tarde: informações vazadas sobre a DeepMind ganhando ouro > 1h de sábado: OpenAI fez o anúncio oficial, roubando os holofotes > Inicialmente pensei que o Google estava lento devido à aprovação de marketing > Então ouvi do pessoal do Google que a IMO e eles próprios precisavam de mais tempo para verificação > Acontece que a OpenAI nem mesmo envolveu a IMO oficialmente > segunda-feira: 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 selvagem! 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, as 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 de IA. Se quisermos um progresso significativo, é hora de a comunidade intensificar. Vamos construir benchmarks em que todos possamos confiar.

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.