O laboratório chinês de inteligência artificial (IA) DeepSeek lançou discretamente uma nova versão do seu sistema Prover, desenhado especificamente para enfrentar a complexidade das provas e teoremas matemáticos. A atualização, denominada Prover V2, foi disponibilizada na plataforma de desenvolvimento de IA Hugging Face na noite da passada quarta-feira, sinalizando um avanço contínuo nas capacidades de raciocínio matemático assistido por computador.
Potencial ligação ao poderoso modelo V3
Segundo informações avançadas pelo South China Morning Post, esta nova iteração do Prover parece estar construída sobre o mais recente modelo de linguagem da DeepSeek, o V3. Este modelo destaca-se pelos seus impressionantes 671 mil milhões de parâmetros, uma métrica que geralmente se correlaciona com a capacidade de resolução de problemas de um modelo de IA. Além disso, o V3 utiliza uma arquitetura de "mistura de especialistas" (MoE - Mixture-of-Experts). Esta abordagem inovadora permite que o sistema divida tarefas complexas em componentes menores, delegando cada sub-tarefa a "especialistas" mais pequenos e focados, otimizando assim a eficiência e a precisão do raciocínio.
Evolução focada no raciocínio matemático
A DeepSeek tinha atualizado o Prover pela última vez em agosto do ano anterior, descrevendo-o na altura como um modelo personalizado, otimizado para a prova formal de teoremas e o raciocínio matemático avançado. O lançamento do V2 demonstra o compromisso contínuo da empresa em aprimorar ferramentas de IA capazes de operar no domínio abstrato e rigoroso da matemática.
Contexto e Perspetivas Futuras da DeepSeek
Esta atualização do Prover surge num período de atividade notável para a DeepSeek. A empresa lançou recentemente uma versão melhorada do seu modelo generalista V3 e prevê-se que atualize em breve o seu modelo R1, orientado para o "raciocínio". Adicionalmente, informações divulgadas pela Reuters em fevereiro sugerem que a DeepSeek, que até agora tem operado de forma mais reservada, poderá estar a considerar procurar financiamento externo pela primeira vez. Este movimento poderia indicar uma aceleração nos seus planos de desenvolvimento e expansão no competitivo mercado da inteligência artificial.
A chegada silenciosa do Prover V2 reforça a posição da DeepSeek como um interveniente relevante no desenvolvimento de IAs especializadas, com potencial para auxiliar e até mesmo acelerar descobertas no campo da matemática e áreas relacionadas.
Nenhum comentário
Seja o primeiro!