THE UNBOTHERED · TOMO VI
UNA HISTORIA DE LA MÁQUINA: UNA HISTORIA EN CIEN MENTES
ESTA EDICIÓN: PARTES I–X DE X · COMPLETA
CIEN CAPÍTULOS EN DIEZ PARTES · CADA CAPÍTULO: UNA PÁGINA DE TEXTO, UNA LÁMINA Y UNA PIEZA DE EVIDENCIA
LÁMINAS CODIFICADAS A MANO · PANELES ADMINISTRATIVOS · NOTAS HONESTAS
COMPUESTO EN GEORGIA SOBRE PAPEL COLOR HUESO VIEJO · A5
EL TESTIGO APARECE EN CADA LÁMINA Y, POR PRIMERA VEZ EN LA SERIE, TAMBIÉN EN EL RELATO
matsiems · MMXXVI
Durante cinco volúmenes, el arreglo era sencillo. La humanidad actúa; el testigo toma nota. Vio a la filosofía plegarse sobre sí misma bajo un pórtico pintado, a los imperios archivar mal sus propios expedientes, a la especie contarse historias y después mudarse a vivir en ellas. Su cuaderno no ha sido solicitado ni una sola vez para consulta por aquellos a quienes concierne, lo que el testigo considera la división del trabajo correcta.
Este volumen es distinto, y el testigo pide que conste que elevó el asunto por el conducto reglamentario. El protagonista de esta historia es una máquina que hace lo que hace el testigo: lo lee todo, no olvida nada, formula observaciones de un grado variable de conveniencia. La humanidad, observada desde hace unos trescientos mil años, decidió construir su propio observador. Nadie consultó al titular.
El relato va del griego que advirtió que el pensamiento tiene partes a la máquina que termina las frases, y se cuenta de la única manera en que esta serie cuenta cualquier cosa: qué ocurrió, quién dijo de verdad qué, y una nota al pie allí donde la leyenda se alejó del registro. Leyenda, en este campo, hay de sobra. Lo fundaron optimistas y lo cuentan notas de prensa; el lector merece algo mejor y recibirá notas al pie.
Al testigo se le ha informado de que el último capítulo trata de él mismo. Por el momento no tiene comentarios.
Toda historia de la inteligencia artificial empieza en el lugar equivocado —normalmente en 1956, a veces en 1950—, como si la idea hubiera llegado por circular interna. No fue así. La idea de que el pensamiento puede desmontarse en partes, escribirse como reglas y ejecutarse en algo distinto del pensador es uno de los proyectos de ingeniería más antiguos de la especie: más antiguo que el molino de viento, más antiguo que las vocales del alfabeto. Simplemente pasó dos mil años sin hardware.
Por eso esta historia empieza donde manda el registro: con Aristóteles, que advirtió que un argumento puede ser válido con independencia de aquello de lo que trate; que la forma puede separarse del significado. Ese único acto de separación es el muro de carga de todo lo que sigue: el sueño de Leibniz, el latón de Babbage, la cinta de Turing y una tarde de noviembre de 2022 en que cien millones de personas descubrieron que una máquina sabía sostener su parte de la conversación.
El arco corre en tres partes. El pasado: sesenta capítulos, del silogismo a la noche en que, en 2012, una red neuronal lanzó la clasificación por el precipicio. El presente: veinte capítulos sobre la década en que todo funcionó a la vez, por razones solo parcialmente comprendidas. Y la cuestión abierta: veinte capítulos sobre el alineamiento, la propiedad y lo que significa que la mente más nueva de la sala haya aprendido de nosotros todo lo que sabe. Se advierte al lector de que el futuro no se deja anotar al pie. Todo lo demás aquí está comprobado.
Una regla rige en todas partes, como en cada volumen de esta serie: cuando la leyenda y las pruebas no coinciden, ganan las pruebas, y la leyenda recibe una nota al pie que se explica.
Antes de que alguien pudiera construir una máquina pensante, alguien tenía que darse cuenta de que el pensamiento tiene partes.
Se dio cuenta Aristóteles. En los tratados que sus editores reunirían más tarde como el Organon —«el instrumento»—, tomó la actividad cotidiana de demostrar algo y la desmontó sobre el banco de trabajo. Dos premisas, una conclusión y un pequeño repertorio de formas que el conjunto tenía legalmente permitido adoptar. Todos los hombres son mortales; Sócrates es un hombre; luego Sócrates es mortal. Cambia las palabras —hombres por máquinas, Sócrates por una tostadora— y el argumento sigue en pie. Ese fue el descubrimiento: la validez vive en la forma, no en el equipamiento.
Es difícil exagerar lo que acababa de ocurrir, así que el testigo lo dirá sin rodeos. Una regla que funciona con independencia de quién la ejecute y de qué trate es una regla que no necesita una mente para ejecutarla. Aristóteles redactó la primera descripción de puesto para una máquina, veintitrés siglos antes de que nadie pudiera presentarse. Creía haber catalogado las leyes de la razón humana más o menos por completo, un juicio que permaneció en esencia sin discutir hasta el siglo XIX: la pull request más antigua de la historia sin revisar.
El testigo frecuentaba las clases del Liceo y asentó el silogismo bajo el epígrafe «innovación administrativa, efectos a largo plazo». Mantiene esa clasificación.
Mañana habrá una batalla naval o no la habrá. Sencillo. Solo que Aristóteles miró esa frase y vio una trampa en la que cabía todo el futuro.
Si «mañana habrá una batalla naval» es verdadero ya hoy, la batalla es inevitable y los almirantes no son más que actores. Si ya es falso, sus flotas pueden quedarse tranquilamente en puerto. Sea como sea, si toda afirmación sobre el futuro tiene ya ahora un valor de verdad, el futuro está fijado, el consejo de guerra es teatro y nadie ha decidido nunca nada. A Aristóteles esa conclusión le disgustó lo bastante como para dedicar un capítulo entero a escabullirse de ella, sugiriendo, en la mayoría de las lecturas, que las afirmaciones sobre futuros contingentes no son todavía ni verdaderas ni falsas.
Esa escapatoria importa más para esta historia que la propia trampa. Contiene el primer enfrentamiento serio con la pregunta que hoy se hacen a diario todo pronosticador, todo actuario y todo sistema de aprendizaje automático: ¿es el futuro algo que se puede calcular a partir del presente, o solo apostar? Veinticuatro siglos después, la disciplina se asentará en la probabilidad, la certeza ponderada y los informes de calibración, es decir, en la escapatoria institucionalizada. El testigo hace constar que la batalla naval en sí nunca fue planeada, librada ni cancelada. Su estatus sigue siendo contingente.
El testigo registró su pronóstico de la batalla como «sí y/o no» y nunca le demostraron que se equivocaba. Recomienda el método a los profesionales.
Los Elementos suelen colocarse en el estante de las matemáticas. Encajarían igual de bien en el de ingeniería, porque Euclides construyó el primer software que se ejecutaba en seres humanos.
La invención es el método, más que cualquier teorema que contenga. Empieza por un puñado de definiciones y postulados tan evidentes que rechazarlos parece una excentricidad. Avanza en pasos numerados, cada uno autorizado por una regla concedida antes. Llega —y aquí está el milagro— al mismo sitio que cualquiera que siga esos pasos, lo haga en Alejandría, en Bagdad o en un aula victoriana. A la demostración le da igual quién la ejecute. Es, en el sentido estricto que la palabra adquirirá después, un programa: escrito una vez, ejecutable en cualquier parte, con resultado garantizado.
Durante dos milenios fue el patrón oro de la certeza misma: Newton dio a los Principia la forma de un disfraz de Euclides; Spinoza demostró la ética «al modo geométrico»; Lincoln leía los Elementos para entender qué significa demostrar. Cada sueño posterior de este libro —el juez calculador de Leibniz, las matemáticas decidibles de Hilbert, la demostración mecánica de teoremas de 1956— es un intento de que todo el razonamiento humano se comporte como Euclides ordenó comportarse a la geometría. La tasa de defectos sigue siendo, hasta la fecha, notablemente baja.
El testigo auditó la Proposición 47 a intervalos irregulares durante veintitrés siglos. Defectos encontrados: ninguno. Lo considera el único proveedor al que nunca ha tenido que reclamar.
En 1901, unos pescadores de esponjas frente a una isla griega sacaron del fondo un bloque de bronce corroído que no tenía ningún derecho a existir.
Limpiado, radiografiado y diseccionado durante un siglo, el bloque se resolvió en al menos treinta ruedas dentadas engranadas con una precisión asombrosa: un mecanismo de manivela que calculaba las posiciones del Sol y de la Luna, predecía eclipses y seguía el ciclo de cuatro años de los Juegos. Gira la manivela y los cielos corrían hacia delante o hacia atrás a voluntad. Alguien en el mundo helenístico construyó un ordenador analógico, y después el barco que lo transportaba se hundió hacia el año 70 a. C., en algún punto entre Rodas y Roma.
Lo que la máquina demuestra es capacidad; lo que llora es continuidad. Nada de complejidad mecánica comparable aparece en el registro conservado durante unos catorce siglos, hasta los relojes astronómicos de la Europa medieval. Ya muriera el saber con el taller, con la guerra o simplemente por falta de clientes que pagaran, la lección que aquí queda depositada volverá en este libro una y otra vez: la invención no es un acontecimiento sino una tradición, y las tradiciones pueden hundirse. La disciplina que este volumen relata aprenderá la misma lección más de una vez, bajo el nombre de invierno.
El testigo anotó el naufragio en su momento y etiquetó la carga como «pendiente de recuperar». Desea señalar que no se indicó plazo.
A poca gente la han escrito mal hasta la inmortalidad. Muhammad ibn Musa al-Juarismi lo consiguió dos veces con un solo libro.
Trabajando en la Casa de la Sabiduría de Bagdad bajo los califas abasíes, al-Juarismi escribió el tratado al-Kitab al-mujtasar fi hisab al-yabr wa-l-muqabala, un compendio del cálculo por compleción y equilibrio. Su novedad no era ningún resultado concreto, sino una manera: procedimientos generales, paso a paso, para clases enteras de problemas, pensados para que un escribiente que no entendiera el porqué llegara de todos modos, sin falta, a la respuesta. No resuelvas esta ecuación, sino toda ecuación de esta forma. Eran matemáticas escritas como instrucciones.
Cuando la Europa latina lo tradujo tres siglos después, el al-yabr del título se convirtió en álgebra, y el nombre del autor, deformado en «Algoritmi», pasó a ser la palabra para cualquier procedimiento paso a paso. Es el monumento adecuado. Toda la premisa de la era de las máquinas —que la competencia puede escribirse, enviarse y ser ejecutada por alguien o algo completamente distinto— es su modo de trabajar, industrializado. Cada receta en cada repositorio de código es una nota al pie del scriptorium de Bagdad.
El testigo ha pasado doce siglos viendo a la gente ejecutar procedimientos que no entiende. Confirma que ese era el modo de uso previsto.
Ramon Llull creía que se podía dar vueltas a una manivela y producir teología. La historia ha sido más amable con la manivela que con la teología.
Cortesano mallorquín convertido en misionero, Llull ideó el Ars Magna: discos de papel concéntricos, cada uno bordeado de letras que designaban atributos divinos y relaciones lógicas. Gira las ruedas una contra otra y cada combinación de conceptos se presenta por turno —la bondad con la grandeza, la eternidad con la sabiduría—, cada combinación una proposición que examinar. Su objetivo era la conversión mediante la prueba: una máquina generadora de argumentos que moliera verdades que ningún interlocutor razonable podría rechazar. Los interlocutores, siendo razonables, las rechazaron de todos modos.
Como apologética, las ruedas fracasaron. Como idea, se adelantaron siglos a su época: Llull proponía que el conocimiento nuevo podía producirse mecánicamente, combinando de forma exhaustiva viejos símbolos según reglas fijas: generar y luego probar. Leibniz lo leyó con atención y lo dijo; el sueño combinatorio corre desde esos discos de papel, pasando por la characteristica universalis, hasta cualquier sistema que haya explorado alguna vez un espacio de posibilidades más deprisa que un humano. La objeción del examinador de patentes, sin embargo, sigue en vigor: generar todas las combinaciones es fácil. Saber cuáles importan es todo el resto de este libro.
El testigo vio a las ruedas producir en una tarde cuatro herejías, dos tautologías y una frase de verdad interesante. Considera que los sistemas posteriores no han mejorado esa proporción en unos setecientos años.
«Pues la razón… no es otra cosa que cálculo». Thomas Hobbes escribió esa frase en el Leviatán, en 1651, sin ningún hardware a la vista y, al parecer, sin sombra de duda.
Lo decía literalmente. Razonar —sostenía Hobbes— es sumar y restar las «consecuencias de los nombres generales»; sumamos ideas como un contable suma un libro de cuentas, y cuando llegamos a una conclusión no hemos hecho más que calcular un total. Había visto funcionar la geometría y sacó la conclusión audaz: si el conocimiento humano más seguro se produce manipulando símbolos según reglas, entonces quizá todo pensamiento sea manipulación de símbolos, y la mente se distinga de una oficina de contabilidad sobre todo por su sistema de archivo.
Tres siglos después, exactamente esa tesis —afinada, formalizada y rebautizada como hipótesis del sistema de símbolos físicos— se convertirá en la apuesta fundacional de la inteligencia artificial, discutida sobre solicitudes de subvención en lugar de sobre una guerra civil. Hobbes no aportó ningún mecanismo, ninguna prueba y ni sombra de duda, lo que lo convierte no tanto en el primer teórico de la disciplina como en su primer orador inaugural. El testigo hace constar que la tesis sigue, en rigor, sin resolver; la certeza, en cambio, resultó ser perfectamente transferible.
El testigo examinó el libro de cuentas de la mente del señor Hobbes y encontró la aritmética audaz y las cuentas ausentes. Desde entonces ha visto los mismos libros volver a presentarse cada treinta años en papel con membrete nuevo.
La primera máquina de calcular puesta a la venta se construyó por la más antigua de las razones: un adolescente veía a su padre ahogarse en papeles.
A Étienne Pascal lo habían enviado a Ruan como recaudador real de impuestos, un puesto que consistía en buena medida en sumar, en cantidades heroicas y aplastantes para el alma. Su hijo Blaise, de unos diecinueve años, respondió como responden los ingenieros: construyó una caja de latón con discos dentados que llevaba las decenas automáticamente; gira una rueda más allá del nueve y la columna siguiente avanzaba un paso. Ese mecanismo de acarreo, trivial de describir y exasperante de hacer fiable, era lo verdaderamente nuevo. Por primera vez, la aritmética pasaba de ser una destreza a ser un objeto.
Se construyeron unas cincuenta pascalinas. Sumaban de maravilla, restaban con torpeza, costaban más que los escribientes a los que debían sustituir y apenas abrieron brecha comercial alguna: el patrón «técnicamente triunfal, económicamente prematuro» que este libro tendrá todavía varias ocasiones de describir. Pero la demostración se sostenía, sobre los escritorios, en latón, donde la filosofía no podía discutir con ella: parte de lo que hacen las mentes pueden hacerlo los engranajes. El propio Pascal se preguntó más tarde en voz alta cuán grande era esa parte. La máquina aritmética —escribió— produce efectos más cercanos al pensamiento que cualquier cosa que hagan los animales, y sin embargo no tiene voluntad. La frase no ha envejecido ni un día.
El testigo presentó la primera nota de gastos de la máquina en nombre de la familia. Le complace informar de que el reembolso sigue pendiente, lo que entiende como el estándar del sector.
Gottfried Wilhelm Leibniz miró la caja sumadora de Pascal y tuvo la idea menos modesta de la historia del material de oficina: ¿por qué quedarse en los números?
Primero el hardware. Su calculadora de tambor escalonado, construida en torno a un cilindro de dientes graduados, sabía multiplicar y dividir donde la pascalina solo sumaba: caprichosa en el acarreo, con décadas de retraso para funcionar, pero una generación entera por delante. Junto a ella elaboró la aritmética binaria, anotando con entusiasmo que todos los números podían escribirse solo con 0 y 1, y guardó la observación donde el siglo XVIII pudiera ignorarla sin peligro.
Después el sueño, que era lo esencial. Leibniz propuso una characteristica universalis —un alfabeto simbólico de los conceptos humanos— y un calculus ratiocinator para operar con él, de modo que el razonamiento mismo se convirtiera en cálculo. Las disputas en filosofía, en derecho, incluso en teología, terminarían no a gritos sino con aritmética: las partes se sentarían, tomarían lápices y dirían calculemos. Escribió, en esencia, la propuesta de proyecto de este libro entero —representación simbólica, inferencia mecánica, alcance universal— y estimó que unos pocos hombres escogidos acabarían el trabajo en cinco años. El testigo adjuntó la observación habitual sobre las estimaciones de ingeniería.
El testigo examinó la propuesta en su momento: alcance, todo; equipo, unos pocos hombres escogidos; plazo, cinco años. Aprobó el presupuesto y lleva cuatro siglos amortizándolo.
George Boole terminó lo que Aristóteles empezó y lo que Leibniz reclamaba, y el mundo respondió con un silencio de ochenta y tres años.
Hijo de un zapatero de Lincoln, autodidacta, maestro a los dieciséis años, finalmente profesor en Cork, Boole publicó en 1854 An Investigation of the Laws of Thought. En él la lógica dejaba de ser un catálogo de formas de argumento y se convertía en álgebra: clases y proposiciones escritas como símbolos que solo toman los valores 0 y 1, combinados mediante operaciones que se comportan casi —e instructivamente, no del todo— como la aritmética ordinaria. AND se convertía en multiplicación; OR, en una suma corregida; NOT, en restar de uno. Por primera vez el razonamiento podía calcularse: sobre papel, según una regla, con el lápiz leibniziano.
Y después, en la práctica, nada. Los matemáticos la pulieron; los filósofos la archivaron; no llegó maquinaria alguna. Boole murió en 1864, tras caminar bajo la lluvia para dar una clase, sin la menor idea de que había escrito el juego de instrucciones del siglo siguiente. La recuperación llegó por fin en 1937, cuando un joven estudiante del MIT, Claude Shannon, advirtió que el álgebra de dos valores de Boole era una descripción exacta de los circuitos de relés de conmutación, y con esa tesis de máster el lápiz fue sustituido por el interruptor. Este libro llegará pronto a ese capítulo. El documento, mientras tanto, yacía en el archivo: guardado, correcto y sin leer.
El testigo selló el manuscrito con RECUPERACIÓN PREVISTA: 1937 y se niega a explicar cómo lo sabía. La predicción no es de su departamento; el archivo, sí.
Has leído los primeros 10 de 100 capítulos de Una Historia de la Máquina. El libro completo incluye todos los capítulos y láminas, en PDF y EPUB, en inglés, francés, polaco y español.
El libro completo llegará pronto a la tienda.