Búsqueda, memoria y acción con límites
La búsqueda aporta alternativas; el verificador aporta evidencia para este criterio concreto.
Los enlaces con ?t= abren el vídeo en un segundo concreto.
Las ideas que debes retener
1. Por qué el Transformer ya no basta como mapa completo
El Transformer reorganizó el campo porque era paralelizable, escalable y extremadamente general. Pero precisamente al escalarlo empezaron a hacerse visibles varios límites.
1.1 Verdad, incertidumbre y alucinación
Aquí aparece otro límite importante. Los LLMs generativos basados en predicción del siguiente token no están optimizados directamente para distinguir entre verdad, falsedad y…
2. Del siguiente token a la búsqueda sobre el espacio de soluciones
Una de las líneas más importantes de esta nueva fase consiste en volver a tomarse en serio algo que el auge de los LLMs había dejado un poco en segundo plano: la búsqueda.
Ve directamente a una sección
Leer transcripción revisada
Vídeo sin narración. Esta transcripción reproduce el texto visual del vídeo; no atribuye una voz inexistente.
Proponer y verificar son operaciones distintas
Buscamos una expresión que produzca seis y generamos varias candidatas.
El verificador descarta dos más cinco y conserva uno más cinco.
La búsqueda aporta alternativas; el verificador aporta evidencia para este criterio concreto.
Guardar no obliga a releerlo todo
Un registro persistente conserva tres hechos con su procedencia.
La consulta actual selecciona sólo el hecho pertinente.
La memoria útil necesita selección y vigencia, no simplemente una ventana cada vez más larga.
Un estado compacto no conserva cada dato intacto
El ejemplo actualiza un estado con la regla s nuevo igual a medio s anterior más x.
Las entradas uno, cero y uno producen estados uno, medio y uno coma veinticinco.
El tamaño del estado permanece fijo, pero comprime la historia y puede perder detalle.
La predicción del mundo debe compararse con observaciones
Desde posición cero, una acción propone avanzar dos unidades.
El modelo predice posición dos, pero la observación mide uno coma cinco.
El error de medio punto permite corregir el modelo o el plan; imaginar un resultado no equivale a observarlo.
Actuar exige cerrar el bucle con mediciones
El controlador recibe un objetivo de posición y una medida del estado actual.
La acción mueve el sistema, que puede responder distinto de lo previsto.
Una nueva medida actualiza el error antes de decidir el siguiente movimiento.
Una mejora local no demuestra capacidad universal
Una modificación eleva de dos a siete los aciertos en diez casos de memoria.
Ese resultado debe conservar las condiciones y el conjunto exacto de prueba.
Otras tareas siguen sin medir: sumar mecanismos no sustituye comprobar dónde funcionan.
