A IA Gamble da China: o Prover V2 da Deepseek é tão grande que precisa de seu próprio apartamento 🏢🤖

É uma verdade estabelecida na inteligência artificial que um modelo suficientemente grande é o equivalente moderno de um dândi espirituoso: pode -se não saber para que é bom, mas todos ficam impressionados com a quantidade de espaço que ocupa. Entre Deepseek, a curiosidade intelectual da China, emergindo de sua sala de estar algorítmica com o prover hercúlico positivamente v2 – um “modelo de grande idioma” tão imponente, suspeita -se que solicite champanhe e caviar antes que ele se calcule.

Oi pessoal! Você já cansou de viver na pobreza enquanto as criptomoedas estão curtindo uma vida de luxo? Então junte-se ao nosso canal @Crypnoticias no Telegram, onde compartilhamos notícias sobre criptomoedas em português - porque quem precisa de dinheiro de verdade quando você pode nadar em Dogecoins? Venha para o lado selvagem da especulação financeira, onde o único risco é perder tudo... ou ganhar um foguete para a lua! 😂💰🚀

☞ Junte-se ao Telegram

Um belo dia de abril-especificamente o 30º, para quem mantém diários-o Deepseek enviou seu mais recente prodígio para abraçar o rosto, não tanto abraçando a licença do MIT de código aberto como abrindo a porta e gritando: “Todo mundo está convidado!” Para que serve o Prover V2? Por que, duelar com as provas mais confusas e verificar a matemática, salvando assim os filósofos de envelhecer prematuramente.

Agora, com 671 bilhões de parâmetros, o Prover V2 fica sobre os ombros do Prover V1 e seu irmão mais atlético v1.5, que eles próprios foram soltados apenas no mundo em agosto passado. Os estudiosos que acompanham a primeira versão detalhavam a capacidade do modelo de transformar até os problemas de competição mais intimidadores na linguagem de programação Lean 4 – porque naturalmente, nada diz divertido como convencer um computador de que os triângulos existem.

🚨 URGENTE: Dólar x Real em ALTA HISTÓRICA! Veja a previsão CHOCANTE!

Confira agora!

Os criadores do Prover V2 insistem que esmaga o conhecimento matemático de uma elegante salsicha digital, produzindo provas tão rapidamente que até Pitágoras pode desenvolver um complexo de inferioridade. A matemática, uma vez considerada o refúgio final daqueles que evitam a IA, agora enfrenta usurpação digital.

O que é tudo isso?

Os modelos – aquelas coleções esplêndidas de tagarelice binária – são apelidadas de “pesos” incorretamente apelidados nos círculos da IA, como se estivessem em uma dieta perpétua. Os downloads dos LLMs de última geração, no entanto, tendem a fazer com que o computador médio aperte seus bancos de memória e finge um desmaiado vitoriano.

A 650 Gigabytes, o Prover V2 é um modelo de idioma ou uma peça de bagagem muito carente. A maioria dos mortais não possui a RAM ou VRAM necessária – um termo que, suspeita -se, refere -se ao tipo de GPUs hercúlea que desfrutam de papéis estrelados nas reuniões de orçamento da empresa de tecnologia.

Desesperado para tornar o Prover V2 um pouco menos monstruoso, a Deepseek comprimiu os parâmetros para precisão de ponto flutuante de 8 bits, que, para aqueles que marcam em casa, significa que ocupa metade do espaço com apenas algumas crises existenciais. Que dieta! Se ao menos funcionasse com macarons.

As encarnações anteriores, como o Prover V1, foram baseadas em Deepseekmath e foram criadas nos dados sintéticos equivalentes a amigos imaginários. Dados sintéticos, pode -se dizer que é o resultado de computadores fofocando entre si – enquanto, enquanto dados humanos reais são cada vez mais raros, assim como uma boa conversa sobre o jantar.

O Prover v1.5 foi um modelo mais rápido, mais inteligente e mais bem vestido-que fazia mais precisão, embora as melhorias precisas do V2 permaneçam envoltas em suspense acadêmico, assim como um filósofo antes do café da manhã. O grande número de parâmetros do Prover V2 sugere fortemente que ele é baseado no R1, o modelo anterior de Deepseek – um debutante que uma vez entrou no salão de baile da IA, deslumbrando convidados ao lado de Openai O1.

Pesos abertos: bênção ou pavor existencial?

Fazer a IA de um “peso aberto” é o equivalente moderno de deixar sua coleção de vinhos e chaves de casa com o público. Por um lado, é democracia com Ram; Por outro lado, é um convite para o caos, enquanto Tchaikovsky toca e perigo se prende.

A grande entrada do R1 provocou preocupações de segurança e conversas sobre momentos do Sputnik – porque é o que é a concorrência global se não encontrar novas maneiras de trocar ombros frios por CPUs frias? Os defensores do código aberto exultaram que a Deepseek estava pegando de onde parou a Meta, demonstrando que o AIS de espírito público ainda pode deixar os privados nervosos o suficiente para mudar seus códigos de bloqueio.

LLMS para as massas – ou pelo menos aqueles com laptops sobressalentes

Por fim, mesmo aqueles cujos laptops são mais torradores do que o supercomputador podem convocar suas próprias AIs locais, graças não à sorte, mas a dois truques astutos: destilação de modelos (na qual um poderoso modelo de “professor” transmite sua sabedoria digital a um aluno de tamanho pequeno) e quantização (apertando os números até que todos os bytes se candidatem).

Prover V2, orgulhosamente meio bit, é a própria prova; E sempre há espaço para mais reduções, desde que você desfrute de oscilações à beira do desastre numérico. Na pior das hipóteses, o modelo permanece “em grande parte funcional” – uma frase que também descreve os dândies de Wildean após duas garrafas de champanhe.

Enquanto isso, o R1 de Deepseek agora habita inúmeras formas-do parâmetro esbelto de 1,5 bilhão de 1,5 bilhões que pode viver em seu celular, até a versão corpulenta de 70 bilhões que exige sua própria grade de energia. A democratização nunca pareceu tão matematicamente intimidadora.

2025-04-30 17:11