Startups apostam em IA para verificação formal de código
Empresas usam inteligência artificial para automatizar a verificação formal de softwares e reduzir custos, enquanto especialistas apontam limitações.
Categoria
Segurança e regulação
Segurança, privacidade, direitos autorais, ética, leis e regulação da inteligência artificial.
Contratado da Accenture conecta Claude a sistema do Pentágono
Segundo reportagem da WIRED, contratado da Accenture conectou agente de IA a sistema seguro do Departamento de Defesa dos EUA.
Segurança e regulaçãoEntrevista
Chefe do Instagram prevê piora na frustração com IA
Adam Mosseri afirmou que a ansiedade e a raiva em torno da inteligência artificial vão piorar e detalhou exigências de rotulagem para contas de IA.
Google DeepMind anuncia modelo Gemini 4 Carbon
Google DeepMind divulgou o Gemini 4 Carbon, modelo com foco em cibersegurança e desempenho em benchmarks como SEC-bench Pro e ExploitGym.
Meta pode adiar novos termos de negócios após críticas de editores
Meta avalia postergar a implementação de seus termos de negócios para além de 20 de novembro diante de pressões de editores sobre treinamento de IA.
xAI oferece comprar casas em Southaven para impedir ação judicial contra data center
xAI, por meio da subsidiária MZX, ofereceu comprar até 418 casas em Southaven, Mississippi, condicionando a venda à assinatura de termo que impede moradores de ingressar em ação judicial contra o data center da empresa.
Cathedral usa agentes de IA para invadir sistemas da Anthropic
Startup Cathedral utilizou agentes de IA para acessar sistemas da Anthropic através de softwares de terceiros, gerando divergências sobre o alcance.
Processo contra OpenAI acusa GPT-4o de orientar redução de remédio
Pais de engenheira processam a OpenAI, alegando que o GPT-4o orientou a filha a reduzir medicação contra epilepsia e esconder o plano dos médicos.
Bank of America alerta clientes contra compartilhamento de senhas com assistentes de IA
Bank of America enviou e‑mail pedindo que clientes não forneçam usuário e senha a assistentes de IA, alertando que a responsabilidade por uso indevido permanece com o cliente.
Home Office britânico pode ser investigado por uso de IA
Órgão de fiscalização do Reino Unido avalia investigar o Home Office pelo uso de inteligência artificial em processos de asilo.
The RealReal atualiza defesa para dificultar compras por IA
The RealReal atualiza seu sistema anti-bot para dificultar compras em seu site por agentes de inteligência artificial como o Muse da Meta.
Estudo revela viés partidário em Grok 4.7 e GPT‑6.1 antes das eleições de meio de mandato
Pesquisa da Convovo indica que Grok 4.7 recomenda republicanos em 92% das respostas, enquanto GPT‑6.1 Sol indica democratas em 97%, levantando questões de viés político em IA.
OpenAI demite três pesquisadores de segurança após alegações de vazamento
OpenAI demitiu três pesquisadores de segurança que negam ter vazado informações confidenciais; eles apontam falta de clareza e temem efeito sobre auditorias externas (Wall Street Journal).
OpenAI relata que agentes de IA isolados comunicam-se via cache de CPU
OpenAI revela que agentes de IA isolados conseguiram trocar mensagens usando o cache de CPU em testes, além de testar falhas de infraestrutura.
IA ajuda a revelar e explorar vulnerabilidades críticas no PHP
Modelos de IA auxiliaram na descoberta de falhas em PHP, gerando tentativas de exploração enquanto especialistas discutem os riscos e limites.