DeepSeek libera nova versão de IA especialista em matemática

A desenvolvedora chinesa DeepSeek publicou o Prover V2, nova versão do modelo de IA voltado para resolver problemas matemáticos complexos, nesta quarta-feira (30). A informação é do site South China Morning Post. DeepSeek, Qwen e mais: conheça 5 IAs chinesas O que é Manus AI? Agente de IA chinês funciona de forma autônoma A novidade foi liberada na plataforma Hugging Face em código aberto, mas a postura da startup foi discreta, sem atualizações nas redes sociais oficiais. O modelo tem 671 bilhões de parâmetros, seguindo o padrão do DeepSeek V3, atualizado em março deste ano. Descrições anteriores do Prover revelam que o modelo foi treinado para melhorar o raciocínio matemático e a habilidade de resolver problemas na área. -Entre no Canal do WhatsApp do Canaltech e fique por dentro das últimas notícias sobre tecnologia, lançamentos, dicas e tutoriais incríveis.- A novidade aumenta a expectativa para o lançamento de um novo modelo de fronteira da empresa, capaz de concorrer com Llama 4, Gemini 2.5, GPT-4.1 e outros. No começo do ano, o DeepSeek surpreendeu o mundo da IA ao lançar o modelo R1 com desempenho similar aos concorrentes estadunidenses nos testes, mas com orçamento menor. DeepSeek liberou nova de IA de código aberto e aumenta expectativas para lançamento de um modelo de fronteira (Imagem: Bruno De Blasi/Canaltech) Alibaba também lançou novo modelo de IA Outra gigante chinesa se movimentou no mercado de inteligência artificial nesta semana: a Alibaba publicou o modelo Qwen 3, considerado o mais poderoso da empresa até o momento. A versão reforça as habilidades de raciocínio e classifica o Qwen 3 como uma opção híbrida, alternando entre respostas rápidas e resultados mais elaborados para tarefas complexas. Testes publicados pelo AliBaba revelam que o novo modelo superou o DeepSeek R1 e o OpenAI o1 em tarefas de raciocínio. Porém, vale lembrar que a própria OpenAI já lançou opções mais avançadas com os modelos o3 e o4-mini. Leia também: GPT-4.1, o3 e o4-mini: conheça os novos modelos de IA da OpenAI DeepSeek democratiza uso da IA generativa, diz diretor da NVIDIA no Web Summit 5 diferenças entre a chinesa DeepSeek e o ChatGPT VÍDEO: qual IA escolher? Leia a matéria no Canaltech.

Abr 30, 2025 - 16:48

DeepSeek libera nova versão de IA especialista em matemática

A desenvolvedora chinesa DeepSeek publicou o Prover V2, nova versão do modelo de IA voltado para resolver problemas matemáticos complexos, nesta quarta-feira (30). A informação é do site South China Morning Post.

A novidade foi liberada na plataforma Hugging Face em código aberto, mas a postura da startup foi discreta, sem atualizações nas redes sociais oficiais. O modelo tem 671 bilhões de parâmetros, seguindo o padrão do DeepSeek V3, atualizado em março deste ano.

Descrições anteriores do Prover revelam que o modelo foi treinado para melhorar o raciocínio matemático e a habilidade de resolver problemas na área.

-
Entre no Canal do WhatsApp do Canaltech e fique por dentro das últimas notícias sobre tecnologia, lançamentos, dicas e tutoriais incríveis.
-

A novidade aumenta a expectativa para o lançamento de um novo modelo de fronteira da empresa, capaz de concorrer com Llama 4, Gemini 2.5, GPT-4.1 e outros. No começo do ano, o DeepSeek surpreendeu o mundo da IA ao lançar o modelo R1 com desempenho similar aos concorrentes estadunidenses nos testes, mas com orçamento menor.

Celular com a IA DeepSeek — DeepSeek liberou nova de IA de código aberto e aumenta expectativas para lançamento de um modelo de fronteira (Imagem: Bruno De Blasi/Canaltech)

Alibaba também lançou novo modelo de IA

Outra gigante chinesa se movimentou no mercado de inteligência artificial nesta semana: a Alibaba publicou o modelo Qwen 3, considerado o mais poderoso da empresa até o momento. A versão reforça as habilidades de raciocínio e classifica o Qwen 3 como uma opção híbrida, alternando entre respostas rápidas e resultados mais elaborados para tarefas complexas.

Testes publicados pelo AliBaba revelam que o novo modelo superou o DeepSeek R1 e o OpenAI o1 em tarefas de raciocínio. Porém, vale lembrar que a própria OpenAI já lançou opções mais avançadas com os modelos o3 e o4-mini.

Leia também:

VÍDEO: qual IA escolher?

Leia a matéria no Canaltech.

Ler Mais