CEVIU News - CEVIU - 23 de outubro de 2026

Três pesquisadores de safety da OpenAI foram demitidos depois que agentes de segurança encontraram, em seus dispositivos pessoais, conversas no Signal com mensagens temporárias ativadas. A OpenAI afirma que as demissões ocorreram por violação de políticas claras sobre o tratamento de informações sensíveis, e não por eles terem levantado preocupações de safety ou se manifestado publicamente. Nos últimos meses, os pesquisadores defendiam dentro da empresa mais colaboração entre as empresas do setor em safety. Eles afirmam que as demissões servirão de pretexto para a OpenAI fechar um canal de insight independente de terceiros.

A linha Alexa Tablet adota uma abordagem mais aberta em relação ao software do que a antiga marca Fire, da Amazon, e permite que os consumidores usem os dispositivos como qualquer outro tablet Android. Os usuários podem baixar apps da Google Play Store e acessar serviços populares como Gmail e YouTube. Antes, a Amazon restringia o acesso à sua própria loja de apps. O Alexa Tablet Pro de 12 polegadas é bem construído e tem uma tela fluida de 12 hertz, o que o torna competitivo com os iPads da Apple.

Provar que um código está livre de bugs é uma necessidade, e a verificação formal de software poderia oferecer essa garantia. O problema é que ela sempre exigiu anos de trabalho de especialistas. Segundo o material publicado em anthropic.com, os LLMs já conseguem produzir provas formais em larga escala, o que viabiliza novos fluxos de desenvolvimento com garantias de segurança comprovadas. Conforme as capacidades dos modelos continuarem melhorando, a verificação formal provavelmente se tornará parte essencial do desenvolvimento seguro de software.

A SpaceX está em negociações com a Crown Castle Inc., uma das maiores proprietárias de torres de celular dos EUA, como parte dos planos de garantir no mínimo 80 mil cell sites no país. A Crown Castle provavelmente também conversa com a Amazon e outras provedoras de telecomunicações baseadas em satélite sobre acordos de locação. Elon Musk já falou abertamente sobre criar uma operadora de telefonia sem fio independente, do zero. A SpaceX adquiriu recentemente espectro de baixa frequência (low-band) e recebeu aprovação para lançar 15 mil satélites destinados a oferecer serviço móvel diretamente a celulares.

As vacinas personalizadas de mRNA da Moderna e da Merck contra melanoma mostram que a tecnologia de mRNA tem potencial para mudar de forma fundamental a maneira como o câncer é tratado. O resultado, segundo as empresas, abre um novo paradigma para terapias oncológicas. As duas companhias já conversam com as autoridades regulatórias para obter a aprovação da vacina.

A Anthropic tem cerca de 3.500 funcionários, mas sua produção de código se aproxima da de uma empresa com 35.000 a 70.000 pessoas. Big techs como Google e Meta abandonaram o Git há bastante tempo, porque ele não escalava para suas necessidades, e ambas criaram soluções próprias. A Anthropic seguiu o mesmo caminho com o Scion. O texto traz detalhes sobre como funciona o sistema de source control personalizado da empresa.

Ondřej Surý é um dos voluntários que ajudam a manter e automatizar os patches do PHP. Sozinho, ele responde pela maior parte da distribuição do PHP no mundo. O trabalho dele, somado ao de poucas outras pessoas, permitiu que inúmeros sites e organizações corrigissem rapidamente as vulnerabilidades do PHP reveladas recentemente. Possivelmente, ele se tornou o herói anônimo de toda a internet, embora a única remuneração que recebe pelo trabalho venha de doações. O artigo do The Atlantic traz uma entrevista com Surý, na qual ele fala sobre a crise de cibersegurança envolvendo IA que está em andamento, sobre como a infraestrutura da internet é mantida por pequenas equipes de voluntários e sobre como é sentir que salvou a web.

Na matemática, os resultados parecem ser celebrados menos como expressão subjetiva e mais como avanços no conhecimento e na compreensão. A experiência de um matemático pode influenciar seu trabalho, mas não é isso que dá valor às suas contribuições. O conhecimento matemático segue objetivamente verdadeiro, seja observado por humanos, por esponjas-do-mar ou por programas de computador.

A maioria dos programas não ganha velocidade de forma significativa ao ser reescrita em C ou Rust. O argumento, publicado no seangoedecke.com, é que a lentidão vem mais de decisões de design do que da escolha da linguagem.

O JPEG XL reúne excelente eficiência de compressão, um conjunto de recursos universal, ampla profundidade de cor, gamut amplo e HDR nativo. O formato também permite transcodificação sem perdas de JPEG, oferece codificação e decodificação em software paralelas e de alta velocidade e tem licença open source permissiva. Para o autor do texto, esse conjunto o torna o formato de imagem universal definitivo.

Os Estados Unidos dependem cada vez mais de outros países para obter os cães que têm papel importante nas Forças Armadas e nas forças de segurança. Nesse cenário, a Warhound captou US$ 200 milhões para criar cães de guerra e equipá-los com tecnologia da Anduril.

O trabalho de engenharia supervisória não se confunde com o de engenharia de software. Por ser diferente, ele exige um sistema também diferente ao seu redor.

Empresas financeiras que querem operar na era da IA precisam ser construídas em torno de três pilares: decisões contínuas, ativos portáteis e distribuição delegada.