Quinta-feira, 14 de agosto de 2026. Um dia cheio no mundo da IA: a DeepSeek lançou a versão estável do V4 Pro, o Grok 4.6 da SpaceX AI está de volta ao primeiro escalão com preços agressivos, e o Claude resolveu silenciosamente um problema matemático que resistia há muito tempo. O Google diz que o Gemini acabou de passar de 1 bilhão de usuários mensais, e a Anthropic começou a aplicar marcas d’água em textos gerados por IA. Aqui está o que importa.
Principais 3
1. A versão estável do DeepSeek V4 Pro está no ar
A DeepSeek atualizou a documentação da sua API durante a madrugada com o DeepSeek-V4-Pro-0813, concluindo o lançamento oficial das duas variantes do V4 (o Flash ficou estável no fim de julho). O lançamento do Pro mantém 1M de contexto e 384K de saída máxima, com preço de ¥3/M de tokens de entrada e ¥6/M de saída. Os desenvolvedores chamam o modelo pelo mesmo nome de sempre, deepseek-v4-pro — sem necessidade de mudanças no código. [36Kr]
2. Grok 4.6 volta ao primeiro escalão — e fica mais barato que os rivais
A SpaceX AI lançou o Grok 4.6 em 12 de agosto, com preço de $2/M de tokens de entrada e $6/M de saída — abaixo do Fable 5 — e as primeiras análises dizem que ele está de volta entre os líderes de fronteira. A aquisição da Cursor e os novos recursos de trabalho no estilo agente são apontados como os motivos do fechamento da diferença. [QbitAI]
3. Claude resolveu todas as matrizes de Hadamard abaixo da ordem 2000
O Claude, da Anthropic, varreu a lista de casos não resolvidos de matrizes de Hadamard abaixo da ordem 2000 — um problema de matemática combinatória que havia resistido aos ataques automatizados. É mais um sinal de que os LLMs estão passando de “fazer cálculos” para “fazer matemática”: não apenas resolver problemas conhecidos mais rápido, mas eliminar itens das listas de problemas abertos. [QbitAI]
Mais notícias
- Gemini passa de 1 bi de usuários mensais. Pichai o chama de produto de crescimento mais rápido da história da Alphabet — o 14º produto do Google a atingir esse marco. [36Kr]
- Anthropic começa a aplicar marcas d’água em textos de IA. Marcas d’água invisíveis e legíveis por máquina agora são embutidas nas saídas do Claude (modelos lançados a partir de 2 de agosto); copiar e colar ou pequenas edições não as removem. [36Kr]
- O cofundador do Google está de volta à guerra dos modelos. Sergey Brin está pressionando forte as equipes do Gemini, supostamente direcionando recursos para autoaprimoramento recursivo, depois que testes internos mostraram que as novas versões do Gemini ainda ficavam atrás dos rivais em código; a atualização principal do produto atrasou dois meses, para agosto. [36Kr]
- Tencent 2º trimestre: capex em IA cresce 176% ao ano. A receita chegou a ¥204,9 bilhões (+11%); o crescimento da nuvem é impulsionado pela demanda por IA, embora o investimento em novos produtos de IA tenha reduzido o crescimento do lucro operacional para 9%. [36Kr]
- Seedance 2.5 em análise: clipes de 30s, 50 recursos de referência, edição local. Um teste em sete dimensões encontrou trabalho de câmera cinematográfico e visuais quase idênticos ao live action — mas a consistência dos personagens em cenas longas continua sendo a maior dor sem solução. [36Kr]
- Samsung validou projetos de chips com o Claude: de um mês para dois dias. Após adotar o Claude Code para os desenvolvedores de software, tarefas de validação de SoCs customizados da Samsung que antes levavam mais de um mês agora são concluídas em dois dias — cerca de 15 vezes mais rápido. [36Kr]
O que observar
Duas mudanças valem atenção. Primeira: preço é o novo campo de batalha — a DeepSeek agora entrega modelos V4 estáveis com entrada abaixo de $1/M, enquanto o Grok 4.6 fica mais barato que os incumbentes; inferência com qualidade de fronteira está ficando barata rápido, e isso muda quem pode construir sobre ela. Segunda: a IA está passando da geração para o julgamento — as marcas d’água da Anthropic, os sistemas de avaliação Agent-as-Judge e o debate na ChinaJoy sobre quem vai jogar os jogos de IA quando qualquer pessoa puder criá-los: o recurso escasso não é mais “consegue fazer?”, e sim verificação, distribuição e qualidade. O marco de Hadamard é o curinga: quando os modelos começarem a limpar listas de problemas abertos, a história do “cientista de IA” deixa de ser uma demonstração.
Aviso: este briefing é compilado por IA a partir de fontes públicas; verifique os detalhes nos links originais. Preços e fatos são conforme divulgados na data de publicação.
