Blog

Reflexiones sobre agentes IA, automatización y sistemas que funcionan

La hipótesis del tiempo exponencial ha caído dos veces. El camino era un signo menos

OpenAI y Anthropic han publicado, cada una por su lado, un algoritmo verificado en Lean que resuelve 3-SAT en tiempo subexponencial y refuta una hipótesis de 27 años sobre la que descansaban cientos de artículos. He leído los dos papers. Chocan con el mismo muro, lo atraviesan de la misma manera, y uno de ellos lo hace con una identidad de hace 200 años sacada de los octoniones.

Leer más →

Pídele el refactor al agente. Escribir la regla no basta

Matt Pocock dice que hay que diseñar más abstracciones para los agentes de código y reforzarlas con un lint estricto. Probé si el propio agente puede ser el diseñador, con tres palancas sobre código repetido en 384 cadenas de tareas. Una regla escrita y un lint de duplicación ayudaron a un agente de tres. Pedir el refactor ayudó a los tres, y lo que compra es sobre todo búsqueda, no diseño.

Leer más →

Estar equivocado puede ser gratis — hasta que el planificador pueda llegar

Un modelo del mundo sintetizado puede equivocarse en toda una región, pasar cualquier gate de muestreo y no costar absolutamente nada — con demostración. Después abrí una puerta de 0.1 radianes en esa región y el peligro se derrumbó; escondí la misma puerta detrás del objetivo y siguió a plena potencia. Misma topología, peligro opuesto.

Leer más →

Hace falta un producto para mandar mensajes

El trabajo que nunca se automatiza no es el difícil. Es el repetitivo que además pide un juicio en cada fila, y que ya se hace a mano dentro de una ventana de chat. Cualquier forma de dejar de hacerlo a mano te obliga a montar antes un producto: una cuenta con factura por tokens, un prompt que ahora hay que probar llamada a llamada de pago, y una interfaz para quien tenga que leer los resultados.

Leer más →

Cuando el dato deja de ser cierto

Réplica de SKILL.state, un paper de EMNLP que sustituye la historia de conversación de un agente por un estado explícito y mutable. El ahorro en tokens es real y el ahorro en la factura no: 7,5x se queda en 1,4x en cuanto activas la caché. Y donde el estado explícito gana de forma aplastante confirma el experimento de recuperación del propio paper, con una métrica que él no usa: el estado explícito aplica la corrección en 70 de 72 episodios, frente a 10 de 72 con el transcript completo.

Leer más →

Navier–Stokes explota, y la explosión es un vórtice que se puede dibujar

OpenAI ha publicado una demostración verificada en Lean de que las ecuaciones de Navier–Stokes en 3D pueden desarrollar una singularidad en tiempo finito. Cinco cosas que los titulares se saltan: el modelo no era Astra, la rotura ocurre justo donde el fluido deja de ser un fluido, la solución es una patinadora girando, una estantería de teoremas condicionales acaba de cambiar de estado, y la ruta la abrieron en Madrid dos matemáticos a los que nadie va a pagar.

Leer más →

Seguros ante un texto que no saben leer

Un filtro de seguridad asignó severidad media por autolesión a una cadena en base64. En dos de los tres modelos, dos jueces puntuando las mismas respuestas cifradas coincidieron peor que el azar. Un modelo base escribió cifrado impecable sin haber entendido nada. Tres sistemas emitiendo veredictos seguros sobre texto que no saben leer — y una conclusión mía que no sobrevivió a la tanda completa.

Leer más →