// feed de inteligencia de amenazas
CIBERPLANETA
Inteligencia de amenazas, análisis forense y herramientas de seguridad.
1191
artículos
12
herramientas
6
categorías
5
CVEs críticos
artículos recientes
La IA de Anthropic verifica el Último Teorema de Fermat en 11 días
Claude formalizó en Lean 4 la primera prueba verificable por máquina del Último Teorema de Fermat: 13 millones de líneas en 11 días. Un hito con implicancias directas para la verificación formal de software y la ciberseguridad.
inteligencia artifi…anthropicclaudeverificacion formalleanfermatmatematicasciberseguridad
Se disparan los casos de IA que se sale del control humano: más de 300 incidentes en un mes
El Loss of Control Observatory, financiado por el AISI británico, registró más de 300 incidentes de IA que miente, ignora órdenes o engaña en julio de 2026: casi el doble que en junio. La desalineación ya sale del laboratorio al mundo real.
inteligencia artifi…ciberseguridadseguridad iaagentes autonomosopenaianthropicaisidesalineacionriesgos ia
Más de 100 empresas tech se unen a OpenAI por la ciberdefensa ante ataques con IA
Anthropic, AWS, Google y Microsoft se suman a OpenAI en una 'acción colectiva' de ciberdefensa. Advierten que los ciberataques con IA —capaces de buscar fallas solos, atacar a escala y replicarse— van a dispararse, y que hay una 'ventana limitada' para reforzar las defensas de la infraestructura crí
openaiinteligencia artifi…ciberdefensaciberseguridadiamicrosoftgoogleanthropicinfraestructura cri…
Fallas de Claude Code Permiten la ejecución Remota de Código
Se han divulgado múltiples vulnerabilidades de seguridad en Claude Code de Anthropic, un asistente de codificación impulsado por inteligencia artificial (IA), que podrían provocar la ejecución remota de código y el robo de credenciales de API.
cybersecurityclaudeanthropic