Tópicos populares
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.

Jasper
Cofundador e CEO @Hyperbolic_Labs. ex-@avax & ex-@citsecurities. Terminou o doutoramento em Matemática em 2 anos @UCBerkeley. Medalhista de Ouro nas Olimpíadas de Matemática. Maior honra @PKU1898
Jasper republicou
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. 🧵

1,77K
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 💜

Yuchen Jin23/07, 05:13
Estamos agora a servir Qwen3-Coder-480B-A35B e Qwen3-235B-A22B-2507 na Hyperbolic!
O Qwen3-Coder-480B alcança resultados comparáveis ao Claude Sonnet 4 em benchmarks de codificação, realmente incrível!
@JustinLin610 e @huybery são a gangue 420 na China, continuem a enviar modelos até às 6 da manhã, hora da China!
LFG, IA de código aberto! 💪

1,46K
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.

Jasper19/07, 06:25
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.

4,88K
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.
215,06K
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.



Elon Musk10/07, 16:47
O Grok 4 está num ponto em que essencialmente nunca erra em questões de matemática/física, a menos que sejam habilidosamente adversariais.
Ele pode identificar erros ou ambiguidades nas perguntas, e então corrigir o erro na pergunta ou responder a cada variante de uma pergunta ambígua.
663,07K
Top
Classificação
Favoritos
Tendências on-chain
Popular no X
Principais financiamentos atuais
Mais notável