CEVIU News - CEVIU IA - 5 de novembro de 2026

A Conductor, startup que permite a desenvolvedores executar vários agentes de programação com IA em paralelo, cada um em seu próprio workspace, passa a fazer parte da Meta. A informação consta no changelog da própria Conductor.

A Cognition apresentou o SWE-2 Flash, um modelo voltado a código. A novidade é uma nova etapa de mid-training, aplicada antes do reinforcement learning. O lançamento está disponível oficialmente, segundo o blog da empresa.

O Pangram Image 1.0 é um modelo de detecção de imagens e vídeos gerados por IA. Ele produz um heatmap que localiza exatamente onde a IA aparece nas imagens. Segundo o texto da empresa, o modelo é robusto a edições, compressão e baixas resoluções. Já estão disponíveis uma extensão para Chrome, para detectar conteúdo de IA, e suporte via API para imagens e vídeo.

O Ripple-65B Preview é um modelo open-weight frontier que alcança desempenho state-of-the-art no TerminalBench 2.1. Ele supera modelos open-weight dos EUA significativamente maiores, entre eles Reflection Beam 501B, Meta Muse Spark Open 816B, Thinking Machines Inkling 975B e Nvidia Nemotron 3 Ultra 550B. O treinamento custou apenas US$ 32 milhões, um décimo do custo estimado do SOTA open-weight anterior em agentic coding. O modelo está disponível no Hugging Face, Together AI, GMI Cloud e OpenRouter.

A OpenAI desenvolveu um pipeline autônomo capaz de descobrir, explorar e corrigir vulnerabilidades de segurança. Em uma única execução, o modelo de cibersegurança da empresa validou e gerou patches para 948 vulnerabilidades de escalonamento de privilégios locais no Linux.

A Axiom lançou uma formalização em Lean de todo o Stacks Project, referência open-source que estabelece a base da geometria algébrica moderna. Segundo o texto, o release é a maior biblioteca integrada e reutilizável de matemática formalizada já construída. Ele disponibiliza todo o desenvolvimento matemático do projeto como uma única biblioteca verificada por máquina, que pesquisadores e agentes de IA podem importar diretamente em novas provas formais.

A Tencent lançou o Hy4, um modelo de linguagem de grande porte com capacidades de compreensão visual. A empresa planeja liberar os pesos do modelo e os system cards nos próximos dias, ou seja, a abertura ainda não aconteceu. O Hy4 suporta uma ampla gama de tarefas, incluindo processamento detalhado de imagens, análise de gráficos complexos e raciocínio visual matemático. Ele também consegue interagir com interfaces de linha de comando e GUIs para executar diversas tarefas, profissionais e do dia a dia.

Os H-Nets, da Cartesia, aprendem diretamente de bytes brutos e igualam o desempenho de outras abordagens em benchmarks, usando substancialmente menos compute de treinamento.

A OpenAI anunciou que vai adquirir a Pierre Computer Company, Inc. O objetivo é reforçar as ferramentas de desenvolvimento do Codex, incluindo o Code Storage e outros projetos de código aberto.

O Together Compiler é um loop de otimização contínuo que usa agentes de alto throughput para otimizar diferentes workloads de inference. A informação vem do blog da Together AI.

O Kimi K3.1 Pro, o mais recente entre os modelos da classe 3T, tem destaque em tarefas multimodais e traz melhorias em programação, criação 3D e precisão factual. O modelo conta com janela de contexto de um milhão de tokens e já está disponível oficialmente.

Pesquisadores descobriram que frontier models de linguagem mantêm bom desempenho com contextos mais curtos, sem perda de acurácia. O trabalho, publicado no arXiv, sugere que contextos longos nem sempre são necessários.