DeepSeek libera nova versão de IA especialista em matemática
Por André Lourenti Magalhães |
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.
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.
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?
Fonte: SCMP