Deepseek, um laboratório de IA chinês, atualizou seu modelo de IA Proverprojetado para resolver provas e teoremas relacionados à matemática, com o lançamento da versão V2 na plataforma de desenvolvimento da IA abraçando o rosto na quarta-feira.
A versão mais recente parece ter sido construída sobre o modelo V3 da Deepseek, que possui 671 bilhões de parâmetros e utiliza uma arquitetura de mistura de especialistas (MOE). Essa arquitetura permite que o modelo divida tarefas complexas em subtarefas e delegue -as para componentes especializados de “especialistas”.
No contexto dos modelos de IA, os parâmetros são uma medida aproximada dos recursos de solução de problemas de um modelo. Deepseek Último provador atualizado em agosto, descrevendo -o como um modelo personalizado para o teorema formal de provas e raciocínio matemático.
A atualização ocorre enquanto a Deepseek continua a expandir suas ofertas de IA. Em fevereiro, a Reuters informou que a empresa estava pensando em aumentar o financiamento externo pela primeira vez. Recentemente, a Deepseek lançou uma versão atualizada do seu modelo V3 de uso geral e deve atualizar seu modelo de “raciocínio” R1 em breve.
