A AI Lab Chinese Deepseek atualizou silenciosamente o Prover, seu modelo de IA projetado para resolver provas e teoremas relacionados à matemática.
De acordo com o South China Morning Post, a DeepSeek enviou a versão mais recente do Prover, V2, para a plataforma AI Dev, abraçando o rosto, na quarta -feira. O modelo parece ter sido construído sobre a versão V3 da IA da Deepseek, que tinha 671 bilhões de variáveis e adotou uma arquitetura de “mistura de especialistas”. Os parâmetros se correlacionam aproximadamente com a capacidade do modelo de resolver problemas, enquanto o MOE divide as tarefas em subtarefas menores e os delegue a componentes menores “especialistas”.
Deepseek atualizou o provador em agosto passado. Na época, descreveu o modelo como um modelo personalizado para provas formais e raciocínio matemático. Em fevereiro, a Reuters informou que a Deepseek estava pensando em aumentar o financiamento externo pela primeira vez.
Fuente
