AlphaProof Code de DeepMind verifica formalmente el núcleo criptográfico de Signal en cuatro semanas
AlphaProof Code de Google DeepMind verificó matemáticamente el código criptográfico central de Signal en cuatro semanas, una tarea que suele llevar años, con agentes de IA que escribieron más de seis millones de líneas de código de demostración. DeepMind planea aplicar el método a infraestructuras críticas como redes eléctricas y dispositivos médicos.
La IA podría hacer viable la demostración formal de la corrección del software en sistemas críticos para la seguridad de los que la gente depende a diario.
aii.news selecciona y resume noticias de fuentes fiables con ayuda de la IA. Cada noticia enlaza a la información original. Cómo trabajamos.
Sigue leyendo
-
El consejo de Nvidia se prepararía para destituir al CEO Jensen Huang tras un segundo informe de infidelidad
Según informaciones, el consejo de Nvidia se prepara para destituir al CEO Jensen Huang tras conocerse una segunda supuesta aventura, esta vez con una directiva que depende de él. Esto llega días después de que admitiera una aventura con una mujer presuntamente espía china.
Por qué importaUn cambio de liderazgo en la empresa que suministra la mayoría de los chips de IA podría afectar al suministro de chips, la inversión en IA y las tensiones tecnológicas entre EE. UU. y China.
-
Jensen Huang dimite como CEO de Nvidia tras escándalos de espionaje y relaciones extramatrimoniales; la CFO Colette Kress, nombrada CEO interina
El consejo de Nvidia aceptó la dimisión de Jensen Huang como CEO, presidente y miembro del consejo, con efecto inmediato. Se produjo tras informaciones sobre dos relaciones extramatrimoniales, una con una presunta espía china y otra con una directiva de Nvidia que dependía de él. La CFO Colette Kress es ahora CEO interina.
Por qué importaLa empresa de chips de IA más importante del mundo ha perdido a su fundador, lo que podría afectar al suministro de hardware de IA, a los mercados y a los debates sobre seguridad tecnológica entre EE. UU. y China.
-
Entra en vigor la ley de seguridad de IA de Nueva York, que añade supervisión para OpenAI y Anthropic
Nueva York se prepara para aplicar su ley de seguridad de IA, que obliga a los grandes desarrolladores de IA a registrarse, divulgar sus prácticas de seguridad y notificar incidentes críticos. Las empresas que no la cumplan se enfrentan a multas.
Por qué importaLos grandes desarrolladores de IA afrontan ahora normas estatales vinculantes de notificación en materia de seguridad que podrían servir de modelo a otras jurisdicciones.
-
Google lanza Gemini 4 Carbon, su modelo más potente hasta la fecha, con una función de «enjambre» de agentes
Google está desplegando Gemini 4 Carbon para el público general tras ofrecerlo primero a un grupo selecto de defensores de ciberseguridad. Según Google, supera a su modelo Argon, aunque Argon sigue siendo la opción recomendada para la mayoría de tareas de programación y trabajo del conocimiento.
Por qué importaDesarrolladores y usuarios cuentan ahora con un nuevo modelo de gama alta de Google para comparar con los mejores sistemas de Anthropic y OpenAI.
-
Anthropic lanza Claude Fable 5.2 y Mythos 5.2 y rebaja un 20% los precios de su API
Anthropic presentó Claude Fable 5.2 y Mythos 5.2, que comparten un mismo modelo base con distintas salvaguardas y aportan mejoras en programación, razonamiento y visión. Fable está ampliamente disponible, mientras que Mythos se limita a grupos verificados de ciberseguridad y ciencias de la vida, y ambos cuestan ahora $8 por millón de tokens de entrada y $40 por millón de tokens de salida.
Por qué importaLos desarrolladores obtienen un modelo de programación más potente a menor precio, y el lanzamiento dividido muestra cómo los laboratorios restringen el acceso a los modelos más capaces para usos sensibles.
