Aqui está o texto reformulado:

A desenvolvedora chinesa DeepSeek lançou a versão 2 do seu modelo de IA, Prover, especializado em resolver problemas matemáticos complexos, na última quarta-feira (30).

A novidade foi disponibilizada na plataforma Hugging Face em código aberto, mas a startup DeepSeek manteve uma postura discreta, sem atualizar suas redes sociais oficiais. O modelo tem 671 bilhões de parâmetros, seguindo o padrão do DeepSeek V3, atualizado em março deste ano.

Descrições anteriores do Prover revelam que o modelo foi treinado para melhorar o raciocínio matemático e a habilidade de resolver problemas na área.

A expectativa agora é para o lançamento de um novo modelo de fronteira da empresa, capaz de concorrer com Llama 4, Gemini 2.5, GPT-4.1 e outros. No começo do ano, o DeepSeek surpreendeu o mundo da IA ao lançar o modelo R1 com desempenho similar aos concorrentes estadunidenses nos testes, mas com orçamento menor.

Alibaba também lança novo modelo de IA

A gigante chinesa Alibaba também se movimentou no mercado de inteligência artificial esta semana, lançando o modelo Qwen 3, considerado o mais poderoso da empresa até o momento.

A versão reforça as habilidades de raciocínio e classifica o Qwen 3 como uma opção híbrida, alternando entre respostas rápidas e resultados mais elaborados para tarefas complexas.

Testes publicados pela Alibaba revelam que o novo modelo superou o DeepSeek R1 e o OpenAI o1 em tarefas de raciocínio. Porém, vale lembrar que a própria OpenAI já lançou opções mais avançadas com os modelos o3 e o4-mini.