Podcast 5-5 da Dongee · 7 de novembro de 2026

Transcrição

Gabriel: Sábado, sete de novembro. Bem-vindos! Lina, hoje eu começo com uma picape que vai sair de cena.

Lina: Que picape?

Gabriel: A Cybertruck da Tesla. O Elon Musk disse ontem no X que vão reduzir a produção na Gigafactory do Texas lá pelo meio do ano que vem.

Lina: Pra quê?

Gabriel: Pra abrir espaço pro Cybercab, o robotáxi de dois lugares.

Lina: Ou seja, a picape acabou?

Gabriel: Calma, isso ele não esclareceu. Não disse se ela vai pra outra fábrica ou se sai de linha. E o Texas é a única fábrica conhecida que consegue montá-la.

Lina: E quem já tem uma…

Gabriel: O Musk respondeu que a frota vai ficar por aí por muito tempo. O engenheiro-chefe, Wes Morrill, escreveu que a picape continua viva no Cybercab.

Lina: Frase bonita. Mas… vendia bem?

Gabriel: Olha: a capacidade planejada era de duzentas e cinquenta mil por ano.

Lina: E venderam…?

Gabriel: A Cox Automotive, uma consultoria do setor automotivo, estima umas setenta e duas mil no total. E a Kelley Blue Book, o guia de preços de carros: pouco mais de vinte mil no ano passado nos Estados Unidos, quase metade de dois mil e vinte e quatro.

Lina: Capacidade de estádio… público de cidade pequena.

Gabriel: Eita.

Lina: E como estão lendo isso?

Gabriel: Tem quem veja como uma mudança lógica rumo ao robotáxi, a grande aposta da Tesla.

Lina: E tem quem diga que é admitir que a picape nunca vendeu em massa. Você, com uma Cybertruck na garagem… comemora ou guarda como peça de museu?

Lina: Gabriel, lembra da Crusoe, a empresa de fábricas de IA?

Gabriel: Lembro. O que houve?

Lina: Ela confirmou ontem que o Google comprou o terreno do seu data center no sudeste de Wyoming.

Gabriel: Quanto pagou?

Lina: Isso não disseram. Mas o Google anunciou um dia antes dezessete bilhões de dólares de investimento nesse campus.

Gabriel: Dezessete bilhões. Uau.

Lina: E a Crusoe já tinha feito o trabalho prévio: escolheu o terreno, tirou licenças e montou a estratégia de energia com a Tallgrass Energy, uma empresa de infraestrutura.

Gabriel: Então, por que vende?

Lina: O TechCrunch diz que o Google queria ser cliente, levantou dúvidas sobre custo e prazos com a Crusoe…

Gabriel: — e agora assume o projeto.

Lina: Isso, fica com ele.

Gabriel: Ou seja: ser cliente não bastou… e ficou com o prédio.

Lina: Mais ou menos isso, né? A Crusoe segue com outro campus do Google perto de Amarillo.

Gabriel: E ela é grande?

Lina: O CEO, Chase Lochmiller, fala em mais de seis gigawatts contratados e mais de quarenta a caminho.

Gabriel: Tem quem veja as big techs assumindo o controle quando um desenvolvedor independente não entrega no prazo.

Lina: E tem quem diga: a Crusoe recebeu pelo trabalho prévio e segue construindo gigawatts em outro lugar. Se você tivesse dezessete bilhões pra um data center… deixaria com um sócio ou construiria você mesmo?

Gabriel: Olha isso. A Physical Superintelligence, um laboratório de pesquisa, anunciou ontem que um sistema dela, com um modelo não público da Anthropic, provou a conjectura de Aaronson-Ambainis.

Lina: O que é isso?

Gabriel: Uma pergunta aberta desde dois mil e oito: quando um computador quântico pode ser exponencialmente mais rápido que um normal.

Lina: E responderam?

Gabriel: O sistema teve uma prova completa no terceiro dia. O Lean, o assistente que confere cada passo, aceitou.

Lina: Tá. E parou aí?

Gabriel: Não. Depois melhorou o resultado duas vezes.

Lina: E o Lean aceitou também essa versão final?

Gabriel: Sim, segundo a PSI. Publicaram o artigo e a formalização em Lean quatro, sem lacunas nem axiomas inventados.

Lina: A Anthropic disse qual era o modelo?

Gabriel: Não comentou.

Lina: E quem montou?

Gabriel: David Turturean, da PSI, montou o sistema. E em agosto Stanford tinha resolvido só um caso especial.

Lina: Parece que a IA já fecha problemas que os humanos deixaram abertos por quase duas décadas.

Gabriel: Tem quem comemore assim: um marco de prova formal com IA.

Lina: Calma, tem quem lembre que um matemático ainda precisa confirmar que o que foi formalizado é exatamente a conjectura do papel. O texto humano a máquina não confere.

Gabriel: Bom ponto.

Lina: Fala a verdade: você confiaria num teorema… se quem assinou foi uma IA?

Lina: Ó. A Bloomberg conta que a OpenAI já levantou onze bilhões de dólares.

Gabriel: Sério?

Lina: Numa rodada que avalia a empresa em um trilhão e duzentos e cinquenta bilhões.

Gabriel: E já fecharam?

Lina: Não. A rodada continua aberta. Pode chegar a uns vinte bilhões nas próximas semanas.

Gabriel: Bom, então estão de sobra.

Lina: Aí é que está: em setembro se falava em até trinta bilhões. Esses números ficam abaixo.

Gabriel: Hum. E a Anthropic…

Lina: No mesmo dia, a Bloomberg disse que compradores da abertura de capital dela olham perto de um trilhão e cem bilhões.

Gabriel: E antes?

Lina: Há um mês se esperavam dois trilhões.

Gabriel: O teto baixou… e mesmo assim assinam cheques enormes.

Lina: É que o mercado de IA anda nervoso depois das eleições e do não aos data centers.

Gabriel: E a OpenAI vai abrir capital?

Lina: Adiou a abertura deste ano; a expectativa é o ano que vem.

Gabriel: Tem quem veja que os grandes investidores continuam com vontade, apesar do susto na bolsa.

Lina: E tem quem diga: a rodada vai mais lenta e menor do que se sonhava. Se te oferecessem entrar nessa avaliação… você entraria ou esperaria a abertura de capital?

Gabriel: E fechamos com isto. A Censys, a empresa que varre a internet, encontrou centenas de cópias do Artex abertas pra qualquer um.

Lina: Artex?

Gabriel: Uma ferramenta criada na China pra fazer testes de ataque com agentes de IA. Funciona sozinha: reconhece, ataca e pode tirar dados, com pouca mão humana. A Microsoft descreveu assim.

Lina: E estavam… sem senha?

Gabriel: Mais de oitocentas instalações diferentes, acessíveis pela web sem login. O blog fala em mil quatrocentos e sessenta e cinco servidores com o console exposto.

Lina: Ou seja: o cadeado… nem colocado.

Gabriel: Calma, nem todo uso é malicioso. Tem testadores autorizados.

Lina: Bom, então não tem problema.

Gabriel: Pois é… tem sim: o software não precisa ficar exposto na internet.

Lina: Já usaram em ataques?

Gabriel: Sim. Finanças da Coreia do Sul em setembro. A ConnectWise, uma empresa de suporte de TI, em outubro: espionagem de organizações pela nuvem da Microsoft.

Lina: E quem foi?

Gabriel: A CrowdStrike, uma empresa de cibersegurança, atribuiu um caso a um operador que fala chinês.

Lina: E ainda por cima, abertos pro mundo.

Gabriel: O Artex disse que vai passar a código fechado. Mas continuam cópias em sites públicos de código.

Lina: Tem quem veja como uma arma de ataque com IA em grande escala, pronta pra qualquer um pegar.

Gabriel: E tem quem responda: é a lição de sempre, algo mal configurado. Você que está ouvindo: revisaria hoje quais ferramentas de segurança você tem abertas pro mundo? Eu faço isso assim que a gente terminar.

Gabriel: Por hoje é isso.

Lina: Se alguma pergunta ficou na cabeça, compartilha com alguém e conversem.

Gabriel: Amanhã, mais cinco notícias. E se você tem uma Cybertruck… aproveita: a frota, diz o Musk, vai longe.

Lina: Eu vou conferir se nenhum console meu está aberto como o Artex. A gente se ouve amanhã.