En la primavera de 1977, Donald Knuth recibió las galeradas de una nueva edición de The Art of Computer Programming y las encontró feas. Su editorial había cambiado la tipografía de metal fundido por la fotocomposición, y las matemáticas que antes parecían talladas ahora parecían fotocopiadas. No escribió una carta de protesta. Calculó que arreglarlo llevaría unos seis meses, apartó su investigación y se puso a construir su propio sistema de composición. Le llevó cerca de diez años. El LaTeX que casi todos tecleamos hoy es la amabilidad posterior de Leslie Lamport: una capa de macros amigables sobre la máquina que Knuth construyó y llamó TeX.
Esta historia me la contó mi mentor, David Turnbull, en una de nuestras reuniones por Zoom. Me recomendó leer los libros de Knuth. En la misma conversación me enseñó dos editores que admiraba: Typst, que pliega la escritura y el renderizado en una sola superficie viva, y LiquidText, que te deja clavar un pensamiento en el punto exacto de la página que lo provocó. Aquella tarde no me di cuenta, pero me había entregado, en un mismo gesto, una lista de lectura y un encargo de diseño.
Lo que se me quedó de la historia de Knuth no es la década heroica. Es la negativa del principio. Las páginas estaban mal, y él no tenía manera de meter la mano y corregirlas, así que construyó el meter-la-mano. No aceptaría una salida que no pudiera inspeccionar y controlar.
Cincuenta años después, escribo artículos con un agente de IA, y el mismo problema ha vuelto en silencio, con ropa nueva.
El agente escribe LaTeX mejor que yo. Eso nunca fue el problema. Pídele a Claude que apriete un párrafo y obtendrás un párrafo más apretado. Lo que no puede darte son dos cosas: lugar y prueba. Lugar: qué frase, en qué página, en qué archivo — el agente edita a ciegas, porque nunca ve la página renderizada que tú estás leyendo. Prueba: después de la edición, ¿qué cambió exactamente? Puedes preguntar, y el modelo responderá, y la respuesta será un testimonio. El relato que un modelo hace de sus propias ediciones es el recuerdo de una intención. No es un diff.
La respuesta de Knuth a la mala salida fue un sistema en el que cada marca de la página se remonta a un comando que él escribió. Al construir MagicTeX, nuestra respuesta fue la imagen especular: cada marca que deja el agente debe quedar inscrita, hacia delante, en un registro que pertenece al humano.
El editor funciona así. Lees el PDF renderizado como un director de tesis lee
un impreso, y comentas sobre la propia página: seleccionas un pasaje, escribes
«¿grande comparado con qué?». El agente no recibe una vaguedad sino una
instrucción localizada: la página, el pasaje citado, el archivo y la línea del
código fuente, tu petición. Edita exactamente ahí. Y en el momento en que el
artículo se recompila, el nuevo estado queda fotografiado en un ref oculto de
git: ni tus ramas, ni tu git log; un libro de cuentas paralelo que el espacio
de trabajo lleva por ti. Cada compilación es un punto de control. Cada punto de
control tiene su diff. Cualquier archivo puede volver a ser el que era. Typst
enseñó la ventana; LiquidText enseñó los márgenes; git, en silencio, se encarga
de recordar.
Ese libro de cuentas es lo que nos permite ser generosos con la autonomía.
MagicTeX tiene un modo llamado /ultra-agents, en el que un agente revisor
critica el artículo, acepta sus propias sugerencias y las corrige, ronda tras
ronda, sin aprobación humana entre medias. Descrito así, suena temerario. Es
defendible por una única razón: nunca puede dejar atrás el libro de cuentas.
Cada ronda aterriza como un punto de control ordinario y reversible, y cuando
el polvo se asienta lees la historia como un árbitro, no como un rehén. Puedes
entregarle la pluma a algo más rápido que tú, siempre que conserves la página,
los márgenes y la historia.
Knuth entendía este contrato social desde el otro lado. Es famoso por enviar un cheque de 2,56 dólares — un dólar hexadecimal — a quien encuentre un error en sus libros. La mayoría de los destinatarios enmarcan el cheque en lugar de cobrarlo, lo cual demuestra precisamente el punto: el dinero nunca fue la recompensa. La recompensa es pertenecer a un sistema que dice: aquí los errores se pueden encontrar, y encontrarlos se honra. Para eso sirve un rastro de auditoría. No para la sospecha: para la hospitalidad con la corrección.
No creo que la lección de 1977 sea desconfiar de tus herramientas. Knuth no se retiró a la máquina de escribir; construyó una máquina mejor y además inscribió una recompensa por erratas en su cultura. La lección es que delegar y controlar no son contrarios: que puedes abrazar al colaborador más rápido que hayas tenido y aun así insistir, con cortesía, en la evidencia.
Esa es toda la idea de MagicTeX, y empezó con una historia contada por Zoom. Tú marcas la página. El agente trabaja el código fuente. Y git recuerda lo que de verdad ocurrió, fuera quien fuera — o lo que fuera — quien tecleó.