Bom dia! Este é o Resumão Tech da terça-feira, 6 de outubro de 2026. O dia foi de modelo grande e de regra nova: a OpenAI despejou centenas de resultados matemáticos de uma vez, a Mistral mostrou um modelo de 1 trilhão de parâmetros feito na Europa, e Meta, Sierra, Stripe e Walmart começaram a desenhar como os agentes pessoais vão conversar com as empresas. Na bancada, a Meta abriu o SDK pra transformar ESP32 e Raspberry Pi em “gadgets” do seu agente, e na robótica tem humanoide antibomba e um G1 que lembra onde você deixou o remédio.
1. OpenAI publica de uma vez centenas de resultados matemáticos de um modelo ainda fechado
Às 19h de Brasília, a OpenAI abriu no GitHub um lote de 722 manuscritos, agrupados em 372 “famílias” de resultados, produzidos por um modelo de fronteira que ainda não foi lançado ao público. Segundo a Scientific American, a lista inclui uma solução para a conjectura de Kakeya em quatro dimensões, melhorias em algoritmos importantes e algum progresso em direção à hipótese de Riemann. Boa parte já foi verificada no Lean, linguagem que checa a lógica de uma prova, o que torna esses trechos muito provavelmente corretos.
A empresa diz que o “resultado médio” custou o equivalente a três horas de raciocínio do ChatGPT Pro, bem longe do enxame de 10 mil agentes usado no caso de Navier-Stokes. A recepção é cautelosa: matemáticos vão levar meses para separar ideia nova de remix de técnicas conhecidas, e a The Verge lembra o debate sobre ética, transparência e crédito aos pesquisadores humanos cujo trabalho esses sistemas usam. Um grupo independente de matemáticos, o AGMAI, foi montado para ajudar a comunicar os resultados.
Fontes: Scientific American · The Verge
Prova matemática feita por máquina reacende a pergunta de sempre: AGI: o que falta para a máquina “acordar”?
2. Mistral Large 4, o “Le Chonk”: 1 trilhão de parâmetros, treinado na Europa, pesos no fim do mês
A francesa Mistral abriu a prévia pública do Mistral Large 4, apelidado oficialmente de “le Chonk”. É um modelo nativamente multimodal com 1 trilhão de parâmetros, dos quais 49 bilhões ficam ativos por vez, treinado do zero em 3.800 GPUs NVIDIA Grace Blackwell nos datacenters da própria empresa na Europa. Por enquanto, ele só está disponível pela API de prévia no Mistral Studio; os pesos abertos devem sair até o fim de outubro, depois de testes de segurança com parceiros e autoridades.
A Mistral aposta em nichos: diz que o modelo está entre os cinco melhores do mundo no índice de cibersegurança da Artificial Analysis e lidera entre os modelos abertos feitos fora da China, além de bons números em código, finanças e direito. Os benchmarks são da própria empresa e ainda faltam avaliações independentes. O lançamento é o primeiro marco da rodada Série D de 3 bilhões de euros e vende a ideia de soberania: um modelo forte que dá pra rodar na própria infraestrutura.
Fontes: Mistral (anúncio oficial) · TechCrunch
Pesos abertos importam porque permitem rodar IA no seu próprio hardware: LLMs Locais: Sua IA, Seu Hardware, Suas Regras.
3. Meta, Sierra, Stripe e Walmart desenham um protocolo para agentes pessoais falarem com empresas
A Sierra, empresa de Bret Taylor e Clay Bavor, anunciou com a Meta o Personal Agent Protocol, um padrão aberto que define como o agente de IA de uma pessoa se identifica e age junto a uma empresa. Genesys, Instinct, Rocket, Shopify, Stripe e Walmart também participam. A ideia é trocar o agente que fica clicando em formulário ou ligando no SAC por uma conexão direta: o consumidor decide se o agente tem acesso só de leitura ou também de escrita, e a empresa define o que ele pode fazer.
A sessão é baseada em OAuth e pode passar pelo site, por APIs (com padrões como MCP e OpenAPI) ou por um agente da própria empresa. A especificação v0.1 e uma implementação de referência estão prometidas para este mês. No mesmo dia, o TechCrunch mostrou o tamanho do problema: muitos sites ainda bloqueiam agentes, e a briga agora é por quem entra, em nome de quem e com qual permissão.
Fontes: Sierra (anúncio oficial) · CNBC · TechCrunch
Ontem mesmo contamos o que acontece quando agente entra sem pedir licença: Resumão Tech 05/10/2026 (o caso da Wikimedia).
4. Claude entra no Google Docs, Planilhas e Apresentações, e startups ganham um ano de Claude Team
A Anthropic colocou em beta público o Claude for Google Workspace, para todos os planos pagos: um painel lateral dentro do Docs, Sheets e Slides, parecido com o do Gemini, em que você pede pro Claude editar o arquivo aberto. Também chegaram conectores para criar e editar arquivos do Workspace direto do chat do Claude. O complemento é instalado pelo Google Workspace Marketplace e, por ora, não funciona no Firefox.
Na mesma terça, durante a SF Tech Week, a empresa ampliou o Claude for Startups: um ano grátis do Claude Team com até cinco assentos premium, US$ 1.000 em créditos de API e horários com o time de IA aplicada. Podem pedir empresas fundadas nos últimos cinco anos ou que receberam investimento nos últimos dois.
Fontes: Anthropic (Claude no Google Workspace) · The Verge · TechCrunch (Claude for Startups)
Quem está usando IA de verdade no trabalho por aqui: IA Generativa no Brasil em 2026: quem tá usando de verdade.
5. Lambda busca até US$ 4 bilhões antes do IPO, puxada por um contrato de US$ 35 bi da Anthropic
A Lambda, nuvem especializada em GPUs, está levantando até US$ 4 bilhões com avaliação de US$ 14,5 bilhões antes do aporte, numa rodada liderada por Coatue e Blackstone, segundo o Wall Street Journal, citado pelo TechCrunch. Pode ser a última rodada privada antes de uma abertura de capital planejada para 2027.
O número que chama atenção é a carteira de pedidos: saltou de US$ 15 bilhões em junho para US$ 50 bilhões em setembro, e a maior parte disso vem de um único cliente, a Anthropic, que assinou um compromisso de US$ 35 bilhões em agosto. É o retrato das “neoclouds”: demanda não falta, o difícil é financiar datacenter com dívida enquanto os credores ficam mais exigentes.
Fonte: TechCrunch (com base no WSJ)
A conta da infraestrutura de IA já apareceu por aqui antes: Resumão Tech 03/10/2026: Micron recorde, DGX Spark 64 GB e Amazon tira GPU do balanço.
6. Google lança o EmbeddingGemma 2: busca por texto, imagem, vídeo e áudio dentro do aparelho
O Google lançou o EmbeddingGemma 2, modelo aberto (licença Apache 2.0) de embeddings, que transforma conteúdo em vetores para busca e comparação. Com 740 milhões de parâmetros, divididos em codificadores de texto e código (270 M), visão (170 M) e áudio (300 M), ele coloca tudo num mesmo espaço de 768 dimensões, com contexto de 8.192 tokens.
Na prática, é o tipo de peça que permite, no próprio celular ou num computador modesto, achar um trecho de vídeo a partir de uma nota de voz ou procurar numa pilha de gravações usando uma frase. Dá pra deixar de fora os codificadores que você não usa e carregar só o de texto, o que interessa a quem monta busca semântica local.
Fontes: Google (anúncio) · Model card · The Verge
Por que rodar IA na ponta, perto do sensor: Edge AI: Inteligência na Ponta dos Dedos.
7. Apple e LG preparam fechadura, campainha e termostato para a casa conectada (segundo a Bloomberg)
A Bloomberg informa que a Apple trabalha com a LG numa linha de produtos para casa inteligente com a marca LG: campainha com vídeo, termostato, câmeras interna e externa, refletor com câmera e uma fechadura. Vários aparelhos teriam suporte a Thread e Matter, e a fechadura usaria banda ultralarga (UWB) para destrancar sozinha quando o dono se aproxima.
Os produtos se integrariam ao hub doméstico que a Apple deve apresentar num evento em 13 de outubro, com tela de seis polegadas e a nova Siri. Nada disso foi confirmado pelas empresas, então vale como reportagem, não como lançamento.
Fonte: The Verge (com base na Bloomberg)
Se a ideia é casa inteligente sem depender da nuvem de ninguém: Automação Residencial com ESPHome e Home Assistant: O Cérebro da Sua Casa Inteligente.
Maker & Prototipagem
Meta abre o SDK do Muse Gadgets: ESP32 e Raspberry Pi como “corpo” do agente
A Meta lançou o Muse Gadgets, iniciativa que deixa makers ligarem o Muse, seu agente pessoal de IA, a placas comuns. Há dois kits: um ESP32 Device SDK (compilado com o ESP-IDF 6.0.1) para telas, botões, áudio e sensores, e um Linux Device SDK que transforma um Raspberry Pi 5 ou outro computador Linux num gadget, inclusive integrado ao Home Assistant. O código está no GitHub sob licença Apache 2.0.
Detalhe importante: a IA não roda na placa. O ESP32 ou o Pi funcionam como interface, e o “cérebro” continua nos servidores da Meta, com um token de SDK obtido no site do projeto. Pra quem quer um assistente de bancada barato é uma porta de entrada; pra quem quer tudo local, continua valendo o caminho do LLM próprio.
Fontes: Muse Gadgets (site oficial) · GitHub: facebookincubator/muse-gadget-sdk · Open Source For You
Nós já fizemos esse caminho na bancada: Assistentes de IA de Bancada, Parte 1: APIs comerciais via HTTPS no ESP32 e ESP32: O Arduino Que Aprendeu a Falar.
Raspberry Pi OS ganha widgets de bateria e teclado na tela no novo dock
A Raspberry Pi soltou a versão de 6 de outubro do Raspberry Pi OS, baseada no Debian 13 “Trixie”. As novidades são widgets de bateria e do teclado virtual Squeekboard para o novo dock, montagem automática de drives criptografados, código de depuração no Control Centre e ícones de menu melhores. Os widgets de bateria e teclado na tela apontam para um uso cada vez mais portátil e com tela de toque, bom pra quem monta painéis e “cyberdecks”.
Fonte: 9to5Linux
Começando do zero com a plaquinha: Raspberry Pi: O Computador Que Cabe na Palma.
Banana Pi BPI-CM7: módulo compacto com Allwinner H618 para placas próprias
A Banana Pi lançou o BPI-CM7, um módulo de computação de 55 × 40 mm com processador Allwinner H618 (quatro núcleos Cortex-A53 e GPU Mali-G31), 2 GB de LPDDR4, 32 GB de eMMC e Wi-Fi 5 com Bluetooth 5.1. Ele encaixa na placa-base por dois conectores de 100 pinos, que levam HDMI, Ethernet de 100 Mb, USB 2.0 e microSD; a placa-base oficial é a BPI-CM7IO. É o tipo de módulo que facilita sair do protótipo e desenhar uma placa própria sem rotear memória e processador. A empresa não divulgou preço nas fontes consultadas.
Fontes: Banana Pi (documentação oficial) · Technetbook
Pra desenhar a placa-base: PCB Design com KiCad: do esquemático ao Gerber e De Protótipo a Produto.
Robótica
Minerva Humanoids sai do anonimato com o Roger, humanoide para desarmar bombas
A startup Minerva Humanoids, de São Francisco, apresentou o Roger, humanoide semiautônomo para trabalhos perigosos: desarme de explosivos, resposta a materiais perigosos, plataformas de petróleo e gás e subestações de alta tensão. Um operador usa óculos de realidade virtual para ver pelas câmeras do robô e comandar os movimentos, inclusive com as duas mãos, enquanto o software de bordo cuida de equilíbrio, navegação e de se levantar depois de uma queda.
A empresa levantou cerca de US$ 10 milhões numa rodada pré-seed liderada pela General Catalyst e diz ter ido do conceito ao protótipo andando em cinco meses. O Roger já foi demonstrado no centro de excelência da OTAN em desarme de explosivos, na Eslováquia, e os primeiros pilotos pagos estão previstos para este outono no hemisfério norte. A proposta é manter o especialista no controle, só que longe do perigo.
Fontes: comunicado da Minerva (GlobeNewswire) · Interesting Engineering
HomeBody: Stanford e Caltech dão memória espacial a um Unitree G1 guiado pelo GPT Astra
Pesquisadores do Movement Lab, de Stanford, e do Caltech apresentaram o HomeBody, sistema que dá a um modelo de visão e linguagem de fronteira (o GPT Astra) memória espacial persistente e uma biblioteca de habilidades: andar, pegar, soltar e abrir gaveta. O humanoide explora uma cozinha desconhecida, o próprio modelo monta um gêmeo digital dela no Isaac Sim, e depois o robô cumpre pedidos vagos como “arruma a cozinha” ou “esqueci meu remédio, pega pra mim?”, buscando um objeto que já saiu do campo de visão. Tudo isso sem treino específico para aquele ambiente.
As habilidades rodam num notebook com RTX 4090 e o modelo fica na nuvem. Os autores listam os limites: pausas por causa da latência do modelo, custo de API, superaquecimento dos servos dos dedos em tarefas longas e o tempo de montar o gêmeo digital. É pesquisa, não produto.
Fontes: HomeBody (página do projeto, Stanford) · RobotHOT
A pilha de software por trás de um robô desses: Robótica com ROS 2: o sistema operacional que os robôs merecem.
Aigen ensina robôs solares a capinar uma cultura nova em menos de uma semana
A americana Aigen diz que sua plataforma de simulação Alchemy gera dados de treino sintéticos, com cada planta anotada pixel a pixel, para ensinar seus robôs Element a trabalhar com novas culturas antes de chegarem ao campo. Segundo a empresa, o robô aprendeu alface em simulação e estava operando no campo em menos de uma semana.
Os Element andam com energia solar e bateria de reserva, usam câmeras e IA embarcada para distinguir planta de erva daninha e arrancam a erva pela raiz com braços robóticos, sem herbicida. A Aigen afirma ter mais de 100 robôs construídos e mais de 15 mil horas de operação autônoma em lavouras de soja, tomate, beterraba açucareira, alface e algodão, e já vende para a safra de 2027.
Fonte: Robotics & Automation News
Sol como fonte de energia de projeto: Energia Solar para Makers: do painel ao projeto alimentado.
Leia também no tiolu.com.br
- Resumão Tech 05/10/2026: big techs da IA depõem sob juramento em NY, Wikimedia acusa agentes da OpenAI e Reflection lança o Beam
- Resumão Tech 04/10/2026: Super Intelligence Force, Altman aceita “coisas ruins” e ESP32 vira rádio SDR
- Manutenção Preditiva com TinyML: quando o motor avisa antes de quebrar
- RealCraft: o manual para reconstruir a humanidade, jogado como Minecraft
Resumo pro café: uma IA entregou centenas de provas matemáticas de uma vez, a Europa respondeu com um modelo de 1 trilhão de parâmetros, as big techs começaram a combinar como os agentes vão bater na porta das lojas, e na bancada o ESP32 e o Raspberry Pi viraram corpo de agente. Na robótica, um humanoide foi desarmar bomba e outro aprendeu onde fica a gaveta do remédio. Amanhã tem mais Resumão Tech.
Imagem de destaque: o humanoide Unitree G1, a animanoide FOX e o cão-robô Go2 na Japan Mobility Show 2025. Crédito: RuinDig/Yuki Uchida / Wikimedia Commons (CC BY 4.0).
