IA de código aberto
Os modelos abertos — Llama, Mistral, DeepSeek, Qwen e outros — estão alcançando os laboratórios fechados e permitem rodar IA no seu próprio hardware, sem fornecedor. Isso muda o equilíbrio de forças, o debate sobre segurança e a economia do setor. Aqui está tudo sobre IA open source: lançamentos de pesos abertos, licenças, execução local e a corrida contra os modelos fechados.

Echo ensina robôs VLA a reconhecer sucesso e falha dentro das próprias ações
Pesquisadores incluíram sinais de stop e failure em cada action chunk de um modelo VLA e os limpam de ruído mais rápido que os movimentos. Não é preciso rotular o…

PaperFormalizer transforma artigos em LaTeX em código Lean verificado, com participação do autor
Pesquisadores de Stanford lançaram o PaperFormalizer, um pipeline agêntico para Claude Code ou Codex que encontra lacunas nas provas e formaliza o artigo em Lean.

HiP3R monta cenas 3D a partir de milhares de quadros de vídeo sem retreinamento de modelos
Pesquisadores da NTU Singapura propuseram um grafo de poses hierárquico: primeiro os trechos de vídeo são alinhados em Sim(3), depois cada quadro recebe uma única…

Mistral apresenta linha Voxtral 3: reconhecimento de 50 idiomas e agentes de voz para o setor corporativo

MemT 1.0 embute a memória no modelo e mira o autoaperfeiçoamento da IA

Xiaohongshu acelera o indexador de atenção esparsa: DoSA reduz o TTFT pela metade

Dream Labs, da equipe do DreamZero na NVIDIA, capta US$ 90 milhões e abre API para robôs

Stratified Sparse Attention acelera a decodificação em 2,96 vezes com contexto de 1M
O SSA combina top-k determinístico e amostragem do restante por estimativas de importância: com esparsidade de 50x em 128K, mantém 85% da qualidade da atenção densa.

RoboCasa-Shift: benchmark mostra onde os robôs VLA falham na cozinha
Novo benchmark RoboCasa-Shift testou o GR00T N1.5 em 1 040 execuções: duas falhas com o mesmo ΔSR=0,188 derrubam o robô na primeira etapa em 19,0% e 36,4% dos casos.

Das 1 598 publicações de RL, só 37 chegaram aos frameworks: auditoria de sete stacks open-source

Pesquisadores ensinam LLMs a se adaptar ao dialeto do usuário: método CAP e 10 famílias de modelos

Agent4Sci: Claude Opus melhora recordes em 20 benchmarks científicos em 10,4%

Together AI lança o Post-Training: RL e SFT em B200 por US$ 9 a hora de GPU

Pesquisadores descrevem como o JEPA seleciona características: o que importa são as conexões, e não as características isoladas
Mosh Levy, Aly Lidayan e Yoav Goldberg introduzem a "predictive closure": o JEPA mantém conjuntos de características que se preveem mutuamente, e não…

Quatro empresas chinesas apostam em mundos de vídeo interativos em tempo real
Alibaba HappyOyster, Ant LingBot, Vidu S2 e PixVerse R2 colocaram os mundos de vídeo interativos no centro do mercado chinês de IA: o modelo reage às ações do…









