DeepSeek lança IA capaz de resolver problemas matemáticos complexos

O lançamento do DeepSeek, modelo de inteligência artificial desenvolvido na China, movimentou o mercado tecnológico global, causando impactos importantes no setor. Mas não pense que os chineses pararam por aí.

Ontem (30), foi lançado o Prover V2, uma nova versão do modelo de IA chinesa. A novidade é voltada para resolver problemas matemáticos complexos e abre espaço para futuros lançamentos ainda mais modernos.

A IA do DeepSeek foi projetada para lidar com tarefas complexas de raciocínio e tem apresentado resultados surpreendentes. O grande diferencial é o baixo custo da tecnologia, o que pode ameaçar a posição dominante dos principais players.

Para se ter uma ideia, o modelo chinês foi treinado ao custo de aproximadamente US$ 6 milhões, enquanto ferramentas como o Llama 3.1, da Meta, custaram mais de US$ 60 milhões para serem desenvolvidos.