174 fuentes 174 feeds activos 10071 piezas curadas

El resumen del día

Resumen IA — 12 de noviembre de 2026: Gemini Decision 1 marca el paso; verificación formal y utilidades prácticas empujan el día

Google sorprende con Gemini Decision 1 y todo lo demás se reordena en torno a esa promesa de decidir a gran escala; desde la demostración matemática de DeepMind hasta herramientas colaborativas y mejoras en voz y consumo, hoy se nota que la IA quiere ser útil y verificable al mismo tiempo.

Una IA de DeepMind demuestra matemáticamente que el protocolo de Signal es seguro

Gemini Decision 1 abre la jornada y obliga a replantear prioridades

Google ha puesto en producción un tipo de modelo que hasta ahora era más teoría que negocio: Gemini Decision 1, anunciado como un modelo de decisión multimodal capaz de procesar hasta 1.000 preguntas en una sola pasada, con latencias de ~200 ms y un coste de entrada tan agresivo como $0.10 por millón de inputs, y lo ha hecho en un evento que mezcló novedades de infraestructura y casos de uso reales; esto importa porque cambia la forma en que las empresas pueden evaluar opciones a escala —desde scoring automático en flujo hasta flujos de trabajo de asistentes que toman decisiones cerradas sin iterar— y porque obliga a rivales y reguladores a mirar con más atención qué significa delegar elecciones concretas a un único pase de inferencia, además de reavivar la competencia en benchmarks de decisión que hasta ahora eran más académicos que productivos, y puedes leer la crónica del lanzamiento en Latent Space: https://latent.space/p/ainews-d-day-decision-models-day/.

DeepMind verifica Signal: paso firme en verificación formal

Mientras Google comercializa decisiones, DeepMind muestra músculo intelectual con AlphaProof Code, un marco que en cuatro semanas ha verificado matemáticamente garantías criptográficas del protocolo Signal, confirmando que las propiedades analizadas se cumplen y detectando correctamente vulnerabilidades históricas en versiones antiguas; no es la panacea ni cubre todo el protocolo, pero sí es una demostración de que la verificación formal asistida por IA puede ser práctica y fiable como capa de auditoría independiente, un avance que tiene implicaciones directas en la confianza de las comunicaciones que dependen de Signal, Google Messages o WhatsApp y que merece seguimiento en detalle: https://wwwhatsnew.com/2026/11/12/deepmind-verifica-formalmente-protocolo-signal/.

Tabletop: Google lleva la IA a la mesa de trabajo en grupo

Google Labs estrena Tabletop, un experimento para crear mini-apps colaborativas que funcionan como espacios compartidos en tiempo real —itinerarios, encuestas, reparto de gastos— generados por una instrucción o plantillas y pensados para eliminar la fricción de decidir en grupo, una apuesta que no inventa la rueda pero sí la integra con la lógica de creación rápida que ya se ve en AI Studio; por ahora es acceso restringido en Estados Unidos, pero la idea es clara: llevar la capacidad de generar herramientas útiles a grupos sin que nadie programe, y puedes consultar la nota oficial aquí: https://wwwhatsnew.com/2026/11/12/google-tabletop-espacios-colaborativos-apps-ia/.

Voz y medicina: precisión y escepticismo

En reconocimiento de voz, ElevenLabs Scribe v3 y Scribe v3 Live prometen transcripciones robustas frente a ruido y solapamiento usando contexto conversacional para evitar que agentes corten a interlocutores, y aunque los benchmarks les dan ventaja en precisión, rivales como Microsoft y xAI les superan en velocidad y coste, así que la elección será un equilibrio entre exactitud y economía; por otro lado, el ecosistema público reacciona a declaraciones de Anthropic sobre plazos para aplicaciones médicas —declaraciones que varios expertos han calificado de optimistas hasta el extremo— y la crítica del CEO de Eli Lilly añade una dosis de realidad: la medicina exige ensayos y tiempos que no hay atajos para sortear, y la retórica comercial puede dañar credibilidad si promete lo imposible (ver comentario).

Guías prácticas: cuánto consume tu equipo

Y para cerrar con lo práctico, hay una guía útil para calcular el consumo anual de ordenadores, consolas y televisores que recuerda que la fórmula es simple pero los datos no lo son —la etiqueta energética es fiable en televisores, menos en PC gaming— y que la medición con un enchufe medidor sigue siendo la única manera de obtener cifras reales para un uso concreto, una lectura a tener en cuenta si quieres llevar gasto energético y coste a la realidad: https://wwwhatsnew.com/2026/11/12/cuanto-consume-ordenador-consola-televisor-al-ano-calcular/.

Si Gemini decide el rumbo, DeepMind recuerda que hay que poder demostrar que ese rumbo es seguro; ¿a quién le dejas la llave mañana?

Analizado hoy...