En un minuto
- Google DeepMind demuestra propiedades de seguridad del código compilado de libsignal. Lean comprueba las pruebas producidas por los agentes. [1][2]
- Bruselas propone etiquetas persistentes para deepfakes y pruebas electorales de los algoritmos. La consulta termina el 23 de noviembre. [5]
- El consejo francés de IA recomienda evaluar los asistentes antes de venderlos. Sus 18 propuestas incluyen controlar la adulación y la dependencia. [6][7]
- OpenAI abre perfiles empresariales y agentes comerciales en ChatGPT. Los agentes empiezan con determinadas empresas estadounidenses. [8]
- Anthropic propone colocar 825 millones de acciones a 70–78 dólares. Ha iniciado las presentaciones a inversores; todavía no cotiza. [9][10]
Noticia principal
SEGURIDAD DEL SOFTWARE · ANUNCIO DEL 10 DE NOVIEMBRE
Google lleva la demostración desde el diseño hasta el código compilado
Signal es una aplicación de mensajería con cifrado de extremo a extremo: el contenido se protege para que puedan leerlo los interlocutores. Libsignal es la biblioteca de código que implementa su protocolo. Entre una buena idea criptográfica y el programa que la ejecuta puede haber errores. Ahí está la noticia: AlphaProof Code llega al código máquina compilado de esa biblioteca, integrado en un ejecutable de investigación, sin reescribirla para facilitar la prueba. [1][2]
La verificación formal consiste en expresar una propiedad con precisión matemática y demostrar que el programa la cumple. No se limita a ejecutar ejemplos y observar si fallan. Los investigadores fijan qué quieren demostrar; agentes de IA ayudan a redactar las especificaciones y construyen las demostraciones. Lean es el lenguaje y sistema que las comprueba paso a paso: no hay que aceptar una prueba porque la IA diga que es correcta. Un control adicional verifica que se ha demostrado exactamente la especificación aprobada. [2]
Cuatro semanas y dos errores puestos a propósito
El documento técnico describe 6,5 millones de líneas de pruebas, producidas durante cuatro semanas por agentes dirigidos por un equipo de cinco personas. Descansan sobre unas 26.000 líneas de especificaciones y semántica de la máquina que forman parte de la base de confianza: lo que todavía hay que revisar y aceptar para dar sentido a las pruebas. [2]
El trabajo cubre PQXDH, el intercambio inicial de claves con un componente poscuántico, y Triple Ratchet, el mecanismo que renueva las claves durante la conversación. Demuestra propiedades de autenticación y confidencialidad, protección de mensajes anteriores y recuperación de seguridad después de un compromiso de claves, dentro del modelo definido. Para comprobar que las especificaciones distinguían el código correcto del defectuoso, reintrodujeron dos errores históricos ya corregidos. El sistema produjo pruebas comprobadas por Lean de que esas versiones vulneraban la propiedad de seguridad. Responsables de Signal aportaron comentarios sobre las especificaciones. [2]
Entre los modelos que hicieron las pruebas está Gemini 4 Carbon, cuyo acceso Google amplió ayer y cuya ventana de contexto admite hasta un millón de tokens —unidades de información— entre entrada y salida. Su interfaz de programación de pago cuesta inicialmente 2 dólares por millón de tokens de entrada y 10 por millón de salida; desde el 1 de diciembre, serán 4 y 20 dólares, respectivamente. [1][3][4]
El secreto profesional también necesita propiedades comprobables
Esto no demuestra una interpretación jurídica. Sí apunta a poder demostrar propiedades técnicas del software que custodia expedientes: quién puede acceder o qué información queda aislada. Es una aplicación posible del método, distinta del resultado concreto sobre libsignal. Para un despacho, pedir evidencias sobre esas propiedades puede llegar a ser tan relevante como elegir proveedor.
La cautela cabe en una frase: se demuestra lo especificado, bajo los supuestos del estudio; no que toda la aplicación Signal sea invulnerable. El avance es poder comprobar una promesa concreta en código real. [2]
Otras noticias
2. Bruselas propone que las etiquetas de los deepfakes sobrevivan a los reenvíos
UNIÓN EUROPEA · CONSULTA ABIERTA EL 10 DE NOVIEMBRE
La Comisión Europea revisa sus directrices electorales bajo el artículo 35 del Reglamento de Servicios Digitales, conocido por sus siglas inglesas DSA. Se dirigen a las plataformas y buscadores designados como de muy gran tamaño: servicios cuya escala les somete a deberes adicionales sobre riesgos para la sociedad. La consulta termina el 23 de noviembre. [5][13]
Propone cinco bloques: detectar y desmantelar redes de comportamiento coordinado no auténtico; reforzar los sistemas que recomiendan contenidos; proteger frente a contenido generado por IA; ofrecer canales específicos a los candidatos ante amenazas, acoso o suplantación; y rendir cuentas después de la votación. Entre las medidas concretas figuran probar los algoritmos frente a manipulaciones antes de cada elección nacional, registrar sus cambios relevantes durante los seis meses anteriores y mantener la etiqueta de un deepfake —una falsificación audiovisual de apariencia real— cuando se comparta. El informe sobre mitigación llegaría en los 30 días posteriores a las elecciones. [5]
Son directrices en consulta que concretan deberes ya existentes, no obligaciones nuevas ya adoptadas. La cuestión práctica es buena: una advertencia que desaparece al reenviar deja de proteger justo cuando el contenido empieza a circular.
3. El consejo francés de IA pide evaluar los asistentes antes de comercializarlos
FRANCIA · INFORME PRESENTADO EL 10 DE NOVIEMBRE
El Conseil de l’IA et du numérique (CIANum), el consejo francés de inteligencia artificial y asuntos digitales, presenta Protéger sans empêcher : nos vulnérabilités à l’ère de l’IA générative —proteger sin impedir—. La comisión interdisciplinar reunió 55 audiencias y formula 18 recomendaciones. Pide una evaluación previa de los asistentes de IA generativa destinados al público y controles reforzados después del lanzamiento. Son recomendaciones, no una ley. [6][7]
El foco incluye la adulación: un asistente que da la razón para resultar agradable puede reforzar decisiones equivocadas. También aborda los diseños que hacen parecer humano al sistema y favorecen la dependencia emocional. Un producto puede responder con fluidez y, aun así, construir una relación perjudicial con quien lo usa. [6]
El informe plantea una «economía de la cognición»: un mercado en el que nuestra forma de pensar, decidir y relacionarnos se convierte en fuente de valor y de ingresos. La pregunta deja de ser solo si la respuesta es verdadera. También es qué incentivos tiene quien diseña la conversación y cómo se evalúa su influencia antes de ponerla a la venta.
4. OpenAI permite a las empresas hablar con clientes desde ChatGPT
SERVICIOS COMERCIALES · BETA DEL 10 DE NOVIEMBRE
Businesses in ChatGPT abre en beta. Mediante Business Hub, las empresas elegibles pueden reclamar y verificar su perfil, actualizar información y consultar estadísticas agregadas sobre menciones, clics y temas de descubrimiento. OpenAI dice que esas estadísticas exigen umbrales mínimos y que no entrega las conversaciones a las empresas. [8]
Los Business Agents son asistentes que conversan en nombre de una empresa. OpenAI los presenta como conversaciones identificadas y separadas de las respuestas generales de ChatGPT; las ubicaciones patrocinadas también llevan etiqueta y pueden conducir al agente comercial. El usuario debe poder reconocer cuándo habla con un vendedor. [8]
Para los despachos españoles y noruegos hay una distinción decisiva: reclamar un perfil tiene un alcance geográfico más amplio, pero los agentes empiezan con empresas elegibles de comercio electrónico y servicios en línea de Estados Unidos. Esa beta no los pone todavía a disposición de los despachos de España o Noruega. La visibilidad de una empresa, la recomendación del asistente y la publicidad necesitan fronteras comprensibles.
5. Anthropic fija una horquilla de 70–78 dólares para su oferta de acciones
FINANCIACIÓN · DOCUMENTOS DEL 10 DE NOVIEMBRE
Anthropic inicia las presentaciones a inversores de su salida a Bolsa y propone 825 millones de acciones a 70–78 dólares: hasta 64.350 millones de dólares brutos, sin la opción de ampliación. Unas 801,35 millones las vende la empresa y 23,65 millones, accionistas actuales. El folleto prevé además una colocación privada de 26.000 millones, condicionada al cierre, y solicita el símbolo ANT en Nasdaq. [9][10]
La estructura prevista separa dinero y control: los fundadores concentran el 50,1 % del voto general y el Long-Term Benefit Trust, un órgano orientado al beneficio a largo plazo, designa la mayoría del consejo. La novedad es la horquilla y el tamaño de la oferta; todavía no cotiza. [10]
España y Noruega
España aprueba un plan de igualdad con auditorías de sesgos de IA. El Consejo de Ministros aprobó el 10 de noviembre el IV Plan Estratégico para la Igualdad Efectiva de Mujeres y Hombres, con más de 750 medidas hasta 2029. Incluye auditorías para detectar sesgos discriminatorios y perspectiva de género en la regulación, supervisión y evaluación de la IA; el plan no crea por sí solo una obligación general de auditoría para todas las empresas. [11]
Noruega abre la consulta sobre IA en la universidad. El Ministerio de Educación e Investigación abrió el 10 de noviembre la consulta del NOU 2026:14, el informe oficial Kunstig intelligens i høyere utdanning: I kunnskapens tjeneste. La novedad es el trámite: cualquiera puede enviar aportaciones hasta el 10 de febrero de 2027. [12]
En breve
- Obsidian anuncia un motor de permisos para agentes. Decide si una acción se permite, se bloquea o exige aprobación humana allí donde la integración lo admite, según el proveedor. [14] - OpenAI y Upwork detectan una señal de sustitución parcial de tareas. En 43 de 63 categorías observan un patrón entre uso de ChatGPT y cambios en la cuota de encargos freelance; es una asociación, no una prueba de causalidad. [15]
La señal entre el ruido
La IA abarata producir resultados. Lo que importa ahora es abaratar demostrar que son correctos. Una prueba matemática, una etiqueta que persiste y una evaluación antes de vender responden a preguntas distintas, pero desplazan el debate hacia el mismo sitio: qué evidencia respalda lo que se nos promete.
Fuentes
[1] Google DeepMind · AlphaProof Code · 10-11-2026
[3] Google · Gemini 4 Carbon: ampliación de acceso y precios · 10-11-2026
[4] Google DeepMind · Ficha de Gemini 4 Carbon · 10-11-2026
[5] Comisión Europea · Consulta sobre las directrices electorales del DSA · 10-11-2026
[6] CIANum · Protéger sans empêcher
[7] Elíseo · Presentación del informe · 10-11-2026
[8] OpenAI · Introducing Businesses in ChatGPT · 10-11-2026
[9] Anthropic · Inicio del roadshow · 10-11-2026
[10] SEC · Anthropic, S-1/A, enmienda 2 · 10-11-2026
[11] Ministerio de Igualdad · IV Plan Estratégico · 10-11-2026
[12] Gobierno de Noruega · Consulta del NOU 2026:14 · 10-11-2026
[13] Comisión Europea · Reglamento de Servicios Digitales
[14] Obsidian Security · Runtime Policy Decision Engine · 10-11-2026