A AI Lab Chinese Deepseek atualizou silenciosamente o provador, seu sistema 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 de dev, abravando o rosto na quarta -feira. Parece estar construído sobre o modelo V3 da startup, que possui 671 bilhões de parâmetros e adota uma arquitetura de mistura de especialistas (MOE). Os parâmetros correspondem aproximadamente às habilidades de solução de problemas de um modelo, enquanto o MOE divide as tarefas em subtarefas e as delega a componentes “especialistas” menores e especializados.
O Deepseek atualizou o provador pela última vez em agosto, descrevendo -o na época como um modelo personalizado para o teorema formal, provando e raciocínio matemático.
Em fevereiro, a Reuters relatou que a Deepseek, que lançou recentemente uma versão atualizada da V3, um modelo de uso geral, e espera-se que o modelo de “raciocínio” R1 em breve, esteja pensando em levantar o financiamento externo pela primeira vez.