A IA Lab chinês Deepseek atualizou silenciosamente Proverseu sistema de IA projetado para resolver provas e teoremas relacionados à matemática.
De acordo com Post da manhã da China MeridionalDeepseek enviou a versão mais recente do Prover, V2, para a plataforma de dev, a AI, abraçando 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, Reuters relatou O Deepseek, que lançou recentemente uma versão atualizada do V3, um modelo de uso geral, e espera-se que o modelo de “raciocínio” do R1 em breve estivesse pensando em aumentar o financiamento externo pela primeira vez.
