O laboratório chinês de inteligência artificial DeepSeek atualizou discretamente seu modelo de IA especializado em resolver provas e teoremas matemáticos, o DeepSeek Prover.
A nova versão, denominada Prover V2, foi disponibilizada na popular plataforma de desenvolvimento de IA, Hugging Face, na última quarta-feira, conforme relatado pelo South China Morning Post. Este lançamento representa um passo significativo na capacidade da IA de lidar com raciocínio lógico-matemático complexo.
Baseado em Tecnologia de Ponta
Este novo modelo parece ser construído sobre a arquitetura do robusto modelo V3 da DeepSeek, que impressiona com seus 671 bilhões de parâmetros e utiliza uma arquitetura de Mistura de Especialistas (MoE).
Para contextualizar, os parâmetros em um modelo de IA estão amplamente relacionados à sua capacidade de aprendizado e resolução de problemas complexos. Quanto maior o número de parâmetros, geralmente maior o potencial do modelo. Já a arquitetura MoE (Mixture of Experts) é uma técnica inteligente que permite ao sistema dividir tarefas maiores em subtarefas menores, delegando-as a componentes "especialistas" menores e mais focados, otimizando a eficiência e o desempenho.
Evolução Constante e Planos Futuros
A última atualização do Prover havia ocorrido em agosto do ano passado, quando foi descrito pela DeepSeek como um modelo personalizado especificamente para provas formais de teoremas e raciocínio matemático.
A DeepSeek tem se mantido ativa no cenário da IA. Recentemente, lançou uma versão atualizada do seu modelo de propósito geral, o V3, e há expectativas de uma atualização em breve para seu modelo focado em raciocínio, o R1. Além disso, informações divulgadas pela Reuters em fevereiro indicaram que a startup estaria considerando buscar financiamento externo pela primeira vez, sinalizando uma possível expansão de suas operações.
Este lançamento silencioso, mas potente, do Prover V2 reforça a posição da DeepSeek como um ator relevante no desenvolvimento de inteligência artificial especializada em tarefas de alta complexidade, como o raciocínio matemático avançado, um campo desafiador e crucial para o futuro da IA.