DeepSeek atualiza seu modelo de IA para resolução de problemas matemáticos
Chinese AI lab DeepSeek quietly updated its AI system, Prover, designed to solve math-related proofs and theorems. The latest version, V2, was uploaded to the AI dev platform Hugging Face. The model is built on top of the startup’s V3 model, with 671 billion parameters and a mixture-of-experts (MoE) architecture.
DeepSeek Upgrades AI Model for Math Problem Solving
A DeepSeek, laboratório de AI chinês, lançou silenciosamente uma atualização para seu sistema de AI, Prover, projetado para resolver provas e teoremas matemáticos. A última versão, V2, foi carregada na plataforma de desenvolvimento de AI Hugging Face. O modelo é construído sobre o modelo V3 da startup, com 671 bilhões de parâmetros e uma arquitetura de mistura de especialistas (MoE).
DeepSeek atualizou pela última vez o Prover em agosto, descrevendo-o na época como um modelo personalizado para provação formal de teoremas e raciocínio matemático. Em fevereiro, a Reuters relatou que DeepSeek estava considerando levantar financiamento externo pela primeira vez, após lançar uma versão atualizada do modelo V3 e planejar uma atualização em breve para o modelo R1 de “raciocínio”.
Esta última atualização mostra o compromisso contínuo da DeepSeek com o aprimoramento de suas capacidades de AI e destaca o potencial significativo do Prover V2 para resolver problemas matemáticos complexos, contribuindo para avanços na inteligência artificial e na resolução de problemas matemáticos desafiadores.
Empresa:
DeepSeek é um laboratório de AI chinês focado em desenvolver tecnologias avançadas de inteligência artificial para resolver problemas desafiadores em várias áreas, incluindo matemática e raciocínio.
Resumo sobre DeepSeek:
DeepSeek tem a reputação de buscar constantemente novas soluções inovadoras e atualizações para seus modelos de AI, demonstrando um compromisso com a excelência e o progresso contínuo no campo da inteligência artificial.
