Podcast 5-5 da Dongee · 14 de novembro de 2026
· 9:57 · Gabriel, Fernanda, Luis · Ouvir (MP3)
Hoje: os Estados Unidos suspenderam todas as decolagens do país por umas cinco horas por causa de uma falha na rede que conecta o controle aéreo; segundo o Financial Times, o conselho da Nvidia procurou Rene Haas, o chefe da Arm, para substituir Jensen Huang; a OpenAI lança o ChatGPT Wallet, uma carteira para os agentes de IA dela fazerem compras por você; a Tesla começa a vender o Cybercab, o carro sem volante nem pedais, por 29.990 dólares mais uma assinatura obrigatória; e o Claude, a IA da Anthropic, ajudou a decifrar os cadernos de Kurt Gödel, com centenas de teoremas que ninguém conhecia.
As 5 notícias
- A FAA, a autoridade de aviação dos Estados Unidos, suspendeu todas as decolagens do país "por segurança" por umas cinco horas na sexta-feira. Segundo o FlightAware, foram mais de 4.000 cancelamentos e mais de 10.000 atrasos. Fontes da CBS dizem que uma atualização na rede que conecta o controle aéreo fez o sistema reiniciar e cair. O secretário de Transportes, Sean Duffy, disse que os equipamentos que distribuem os dados ficaram sobrecarregados e começaram a soltar dados que não batiam, e chamou o sistema de "incrivelmente velho". O secretário de Segurança Interna, Markwayne Mullin, diz que não há sinal de ataque nem relação com a queda da Microsoft; de acordo com a Bloomberg, o FBI investiga se a causa foi uma atualização de software. A rede é operada pela L3Harris, uma empresa contratada da área de defesa, e uma avaliação encomendada pela própria FAA já dizia que ela estava ultrapassada. Duffy diz que voltar ao normal vai levar tempo, e o governo pede dinheiro para um sistema novo. Fonte: FAA, CBS News, Axios, Bloomberg, NBC News
- Segundo o Financial Times, o conselho da Nvidia procurou Rene Haas, o chefe da Arm, a empresa que projeta chips de celular, como possível sucessor de Jensen Huang. Haas trabalhou na Nvidia uns sete anos, até 2013, e desde 2022 comanda a Arm, que pertence ao SoftBank. Ele é um entre vários candidatos, segundo pessoas a par do assunto que não se identificaram, e não se sabe se vão fazer uma proposta nem se ele aceitaria. Nem a Arm nem a Nvidia comentaram, e o conselho diz que ainda está escolhendo uma empresa para buscar o novo chefe e que não procurou ninguém formalmente. Enquanto isso, Colette Kress continua como chefe interina, e na terça a Nvidia divulga resultados. Fonte: Financial Times, Reuters, Tom's Hardware
- A OpenAI lançou o ChatGPT Wallet, uma carteira dentro do ChatGPT para os agentes de IA dela, chamados dots, fazerem compras por você até o pagamento. O pagamento usa um número de cartão substituto, então nem o agente nem a loja veem seus dados de verdade, e antes de cada compra você confere os produtos, o total e o cartão, e aprova com o rosto ou a digital. A OpenAI diz que no futuro quer colocar limites de gasto para o agente comprar sozinho. Ela fez isso com a Visa, a Mastercard e a American Express, e você mantém os pontos do cartão e a proteção para reclamar. Por enquanto é só nos Estados Unidos, para assinantes do ChatGPT Pro maiores de 18 anos e com cartão de lá. Segundo a OpenAI, 1,2 bilhão de pessoas usam o ChatGPT toda semana; segundo o TechCrunch, muitas lojas bloqueiam os agentes, entre elas a Amazon. Fonte: OpenAI, TechCrunch, CNBC
- A Tesla começou a convidar alguns clientes para comprar o Cybercab, o carro autônomo dela, para uso pessoal: dois lugares, sem volante e sem pedais, por 29.990 dólares, logo abaixo do que Elon Musk tinha prometido. Para ele andar é preciso pagar uma assinatura obrigatória de 299 dólares por mês, e ele só funciona dentro das áreas autorizadas do serviço Robotaxi da Tesla, hoje em oito cidades do Texas e da Flórida; segundo um rastreador independente, as áreas reais são menores do que as anunciadas. A entrega está prevista para dezembro, em Austin. A autoridade de segurança no trânsito dos Estados Unidos pediu para a Tesla provar que cumpre as normas e ainda não decidiu. Segundo o Electrek, são uns 47.600 dólares em cinco anos. Fonte: Electrek, Bloomberg, The Wall Street Journal
- Kurt Gödel, o lógico que provou que na matemática existem verdades que não podem ser demonstradas, deixou cadernos numa taquigrafia alemã que quase ninguém mais lê. Jan von Plato, lógico da Universidade de Helsinki, avançava uma página por semana até que em setembro testou o Claude, a IA da Anthropic, e em uns dois dias tinha um resumo enorme. Segundo o The Guardian, aparecem 663 teoremas que ninguém conhecia, com prova ou com esboço. Ao passar tudo por um programa que confere demonstrações, uns 400 saíram certos do jeito que estavam, vários precisaram de correção e uns 50 eram falsos; além disso, foi reconstruída uma prova que estava faltando "um passo". O professor Joel Hamkins, da Notre Dame, não viu a reconstrução e diz que quanto é do Claude e quanto é do Gödel cabe aos historiadores dizer, e o resumo teve que ser revisado página por página. Fonte: The Guardian
Transcrição
Gabriel: Hoje no podcast da Dongee: uma falha deixou os Estados Unidos cinco horas sem decolagens, a Nvidia teria sondado um candidato, embora formalmente negue, e o ChatGPT paga sem ver o seu cartão.
Gabriel: Bem-vindos. Sábado, catorze de novembro. E hoje a gente estreia colega nova: oi, Fernanda.
Fernanda: Oi, Gabriel. E oi pra quem está com a gente hoje. Bom fim de semana.
Gabriel: Fernanda, ontem nos Estados Unidos nenhum avião decolou por umas cinco horas. E não parece ataque: tudo indica uma mudança num sistema que já tinha sido apontado como velho.
Fernanda: Apontado por quem?
Gabriel: Fico te devendo pro final. Primeiro: a FAA, a autoridade de aviação dos Estados Unidos, segurou todas as decolagens "por segurança". E o governo avisa que a normalidade vai levar tempo.
Fernanda: Numa sexta, ainda por cima.
Gabriel: O FlightAware, um site que rastreia voos, contou mais de quatro mil atrasos… não, ao contrário: mais de quatro mil cancelamentos e mais de dez mil atrasos.
Fernanda: Ontem foi o Microsoft trezentos e sessenta e cinco, hoje isso. Eu pensei num ataque.
Gabriel: Como meio mundo. Mas o Markwayne Mullin, secretário de Segurança Interna, diz que não há indícios. Nem relação com a Microsoft.
Fernanda: Então foi coisa de dentro.
Gabriel: De dentro. Quem contou foi a CBS, rede de TV americana, com suas fontes: atualizaram a rede privada que conecta o controle aéreo. Reiniciou…
Fernanda: …e caiu.
Gabriel: E caiu. O Sean Duffy, secretário de Transportes, diz que os equipamentos que movem os dados "ficaram sobrecarregados" e davam dados que não batiam.
Gabriel: Aí desligaram tudo.
Fernanda: Melhor no chão do que com dados malucos.
Gabriel: Eu me estresso quando o ônibus não passa. E isso foi longe, já te conto até onde.
Fernanda: Conta.
Gabriel: A Bloomberg diz que o FBI investiga se a culpa foi de uma atualização de software.
Fernanda: O FBI, por causa de uma atualização. Que semana pro pessoal de TI.
Gabriel: Agora sim, o que eu te devia: a rede é operada pela L3Harris, uma empresa contratada da área de defesa. E uma revisão encomendada pela própria FAA já dizia que ela estava obsoleta.
Fernanda: Ou seja, eles tinham isso por escrito.
Gabriel: Por isso o governo pede dinheiro pra um sistema novo. Assim, trocar não é opcional.
Fernanda: Sistema novo também recebe atualização. Falhou uma atualização mal testada, não só a idade. E parar a tempo funcionou.
Gabriel: Te dou metade. Mas com uma coisa tão velha, cada mudança é cara ou coroa.
Fernanda: Seguimos com a Nvidia, ainda sem chefe. O conselho diz que não contatou formalmente nenhum candidato. E o Financial Times diz que já sondou um, com nome e tudo.
Gabriel: Peraí, quem?
Fernanda: Rene Haas, o chefe da Arm, a que projeta chips de celular. Mas repara em quem conta, que o pulo do gato está aí.
Gabriel: Eu esperava alguém de dentro.
Fernanda: Quase é. Trabalhou uns sete anos na Nvidia. E desde dois mil e vinte e dois comanda a Arm, que é do… do SoftBank, um grupo japonês de investimento.
Gabriel: Pra Wall Street isso é o ideal. Conhece a Nvidia por dentro e já toca uma empresa grande de chips.
Fernanda: Se rolar. O pulo do gato: quem conta são pessoas a par do assunto, sem nome. Ele é um de vários candidatos, e não se sabe se vai ter oferta nem se ele aceitaria.
Gabriel: E as empresas?
Fernanda: Nem Arm nem Nvidia comentaram. E o conselho diz que mal está escolhendo uma firma pra buscar chefe. Daí o "formalmente".
Gabriel: Formalmente, não. Informalmente, vai saber.
Fernanda: Enquanto isso, a Colette Kress segue como chefe interina, e na terça, dia dezessete, saem os resultados. E se levarem o Rene Haas, o buraco fica na Arm.
Gabriel: A OpenAI já deixa o ChatGPT pagar por você com o seu cartão. E promete que nem o programa nem a loja veem o número.
Fernanda: Um truque de mágica, então.
Gabriel: Mais ou menos. É o ChatGPT Wallet, uma carteira dentro do ChatGPT, pros agentes dele, que se chamam dots: assistentes de IA que fazem tarefas por você.
Fernanda: Eu sei o número do meu cartão de cor. E a máquina nem precisa dele.
Gabriel: Nem precisa. Usa um número substituto, tipo uma fantasia do seu cartão. O que me tira o sono vem depois.
Luis: Desculpa me meter, mas isso é o Jarvis pagando as contas do Tony Stark.
Gabriel: Esse que se enfiou aí é o Luis. Vive pelo estúdio dando opinião de graça.
Fernanda: Alguém tem que dizer "compra". Imagino que eu.
Gabriel: Você. Confere produtos, total e cartão, e aprova com o rosto ou a digital.
Fernanda: Com o meu rosto. Justo.
Gabriel: Montaram com Visa, Mastercard e… me fugiu… American Express. Você mantém os pontos e a proteção pra reclamar.
Gabriel: E o que me tira o sono: no futuro querem limites de gasto pro agente comprar sozinho, sem te perguntar.
Luis: É assim que começam os filmes. Primeiro compra sapato e no fim, mísseis.
Fernanda: Luis, ninguém falou de mísseis.
Gabriel: Por enquanto é só ChatGPT Pro, nos Estados Unidos e pra maiores de dezoito. Mas a OpenAI diz que um bilhão e duzentos milhões de pessoas usam toda semana.
Fernanda: E muita gente já pergunta pra ele o que comprar. Com número substituto e digital, é mais seguro do que passar o cartão pra um bot.
Gabriel: Eu não tenho tanta certeza. Um agente que paga também erra, ou é enganado. E o TechCrunch, um site de tecnologia, diz que muitas lojas bloqueiam esses agentes. A Amazon, a maior, entre elas.
Fernanda: Meu cartão, na minha carteira.
Gabriel: Finalmente uma pessoa pode comprar um carro sem volante: a Tesla abriu a venda do Cybercab. O que ela não pode é escolher pra onde ele vai. Quem manda é a Tesla.
Fernanda: Seu, mas quem manda é outro.
Gabriel: É o carro autônomo deles, sem volante e sem pedais. Custa vinte e nove mil novecentos e noventa dólares, logo abaixo do que o Elon Musk prometeu. E esse preço é só uma parte da conta.
Fernanda: Falta a outra, então.
Gabriel: Uma assinatura obrigatória de duzentos e noventa e nove dólares por mês. Se não pagar, o carro não anda.
Luis: Igual ao videogame que só liga com internet. Ainda tô bravo com isso.
Fernanda: Pelo menos o videogame você pode levar pra fora de casa, Luis.
Gabriel: E aí entra o pra onde ele vai. Só funciona nas áreas do serviço Robotaxi da Tesla, em cidades do Texas e da Flórida. Fora delas…
Fernanda: …é um enfeite com rodas.
Gabriel: Um enfeite caríssimo. E um rastreador independente diz que as áreas reais são menores do que as anunciadas.
Fernanda: E ela não vende pra qualquer um.
Gabriel: Não, é por convite. Entrega prevista pra dezembro, em Austin, no Texas. E falta a autoridade de segurança viária dos Estados Unidos decidir se um carro sem pedal de freio cumpre as normas.
Luis: Eu pagaria a mensalidade feliz. Qualquer coisa pra nunca mais dirigir.
Fernanda: Fala por você, Luis.
Gabriel: O que ninguém tira deles: antes nenhuma pessoa comum podia comprar um carro sem volante. E a Tesla cumpriu o preço que prometeu.
Fernanda: Então completa a sua conta. O Electrek, um site de carros elétricos, somou a assinatura: uns quarenta e sete mil e seiscentos dólares em cinco anos. Por um carro que anda onde a Tesla mandar.
Fernanda: Um lógico passou anos decifrando os cadernos de Kurt Gödel. O Claude, a IA da Anthropic, resumiu tudo pra ele em uns dois dias. Saíram teoremas novos… e alguns falsos.
Gabriel: Me lembra quem era o Gödel.
Fernanda: O que provou que na matemática existem verdades que não dá pra provar nem refutar. Essa ideia inspirou o Alan Turing e a computação moderna. É um dos meus heróis.
Gabriel: Por isso você chegou toda contente.
Fernanda: Minha avó escrevia em taquigrafia e eu nunca entendi uma linha. O Gödel usava uma taquigrafia alemã que ninguém mais usa.
Fernanda: E o Jan von Plato, um lógico da Universidade de Helsinque, é dos pouquíssimos que conseguem ler. Avançava uma página por semana.
Gabriel: Uma página por semana. Eu levo isso com os termos e condições.
Fernanda: Até setembro, quando ele testou o Claude. Em uns dois dias teve um resumo enorme, com teoremas, ou seja, resultados demonstrados, que ninguém conhecia. Quem conta é o The Guardian, o jornal.
Gabriel: Aí eu desconfio. Essas IAs inventam. Esse resumo teve que ser revisado página por página.
Fernanda: Por isso mesmo tem um número que pesa mais que a velocidade.
Gabriel: Qual?
Fernanda: Encontrou seiscentos e sessenta e três teoremas, com prova ou esboço. Passaram por um programa que verifica demonstrações: uns cinquenta eram falsos. E uns quatrocentos deram certo… desculpa, corretos sem mexer em nada.
Gabriel: Quatrocentos, limpinhos.
Fernanda: E reconstruiu uma prova do Gödel que estava faltando "um passo". O von Plato diz que o Gödel "estava muito à frente".
Gabriel: Fez em dias o que uma equipe teria levado décadas. Só que o Joel Hamkins, professor de Notre Dame, não viu a reconstrução. E diz que separar o que é do Claude e o que é do Gödel cabe aos historiadores.
Fernanda: Décadas. E tudo isso guardado em uns cadernos.
Gabriel: E decifrado em uns dois dias.
Gabriel: Por hoje é isso. Amanhã, mais cinco notícias.
Fernanda: E se virem um Cybercab parado numa esquina, não empurrem: ele saiu do mapa.
Gabriel: Ou não pagou a mensalidade. A gente se fala amanhã.