Si Ada Lovelace viviese hoy: la teórica de la IA que vio el límite primero

Ada Byron creció como hija del poeta más famoso y de peor reputación de Inglaterra, criada por una madre aterrorizada de que resultara como él. Anne Isabella Milbanke, que se separó de Lord Byron cuando Ada tenía un mes y pasó los treinta años siguientes diseñando la educación de su hija hacia las matemáticas y alejándola de la poesía, se describiría más tarde orgullosa del resultado. Había producido, creía, una mujer completamente distinta a su padre.

En cambio, había producido a alguien que combinaba la intensidad y el desasosiego de Byron con una mente matemática lo bastante aguda para ver en qué podían convertirse realmente las máquinas calculadoras de Charles Babbage. Ada Lovelace murió en 1852 a los 36 años. Dejó un artículo traducido y siete notas etiquetadas de la A a la G; la última contenía lo que los historiadores de la informática identifican hoy como el primer algoritmo publicado. También dejó una descripción del Motor Analítico como manipulador de símbolos de propósito general: una máquina capaz de algo más que aritmética, una máquina que operaba sobre reglas más que sobre números. Llevaba aproximadamente un siglo de adelanto.

Traedla al año 2026 y probablemente siga llevando alrededor de un siglo de ventaja.

La figura histórica

Augusta Ada Byron nació en diciembre de 1815, hija legítima única de George Gordon Byron y su esposa de apenas un año. Byron abandonó Inglaterra en abril de 1816 y nunca regresó; jamás volvió a ver a su hija. Murió en Grecia en 1824. Ada tenía ocho años.

Su madre organizó una educación científica intensiva destinada a impedir que arraigase ninguna herencia byroniana. Ada aprendió matemáticas, música y francés. Sufrió frecuentes enfermedades durante la infancia —pasó largas temporadas en cama por motivos que sus médicos llamaron de diversas maneras y que los historiadores modernos han debatido sin llegar a un acuerdo—. Su madre gestionaba las enfermedades insistiendo en más clases. El resultado fue una mujer educada con implacable precisión y genuinamente fascinada por los sistemas formales.

Conoció a Charles Babbage en 1833, en una cena, cuando tenía 17 años. Él le mostró su Máquina Diferencial n.º 1, un prototipo parcial de calculadora mecánica. Ella quedó cautivada de una manera que parece haber sorprendido a ambos. Comenzó a intercambiar correspondencia con Babbage sobre matemáticas y sobre sus planes para el Motor Analítico, una máquina mucho más ambiciosa que ninguno de los dos vería construida en vida.

En 1842, un matemático italiano llamado Luigi Menabrea publicó en francés una descripción del Motor Analítico basada en una conferencia que Babbage había impartido en Turín. Ada lo tradujo al inglés y añadió unas notas con una extensión aproximadamente tres veces mayor que el artículo original. La nota G contenía un método paso a paso para calcular los números de Bernoulli con el Motor Analítico: un procedimiento completo con entradas definidas, operaciones definidas y verificación de errores incorporada. Es el primer algoritmo publicado en el sentido moderno.

Lo que se cita con menos frecuencia es el contexto que lo rodea. Ada argumentó en las notas que el Motor Analítico podía hacer cualquier cosa expresable como símbolos y reglas —que no era simplemente una máquina numérica sino una máquina lógica, que en principio podría componer música—. Estaba describiendo un ordenador de propósito general en 1843.

También argumentó, de forma explícita y precisa, que el Motor no podía originar nada. Solo podía hacer lo que se le ordenase. Esta limitación, que ella planteó como un hecho de diseño, es ahora uno de los debates centrales de la inteligencia artificial. La pregunta que formuló —si una máquina puede verdaderamente pensar o solo calcular— es la misma pregunta que el campo denomina el Test de Lovelace, y no se ha resuelto con claridad.

Murió en noviembre de 1852 de cáncer uterino, entre dolores, a los 36 años. Sus notas no fueron leídas ampliamente durante décadas. Alan Turing las analizó en serio en 1950. El Departamento de Defensa de Estados Unidos bautizó un lenguaje de programación con su nombre en los años ochenta.

El papel moderno

Traedla al año 2026: nacida en 1990, criada por un progenitor intensamente racional decidido a contrarrestar la influencia de uno creativamente caótico y públicamente famoso, formada en Matemáticas e Informática en Cambridge o en el Imperial College de Londres, con un año en el Instituto Santa Fe donde la combinación de métodos formales y sistemas complejos encajaba perfectamente con su sensibilidad.

A mediados de los treinta es investigadora científica en un gran laboratorio de IA, no en el puesto de producción que genera titulares, sino en el trabajo de teoría fundamental que no produce demostraciones y no aparece en la prensa tecnológica, pero que sirve de base a todo lo que sí aparece. Su especialidad: la teoría formal de los sistemas de aprendizaje, qué pueden y no pueden hacer de forma demostrable, dónde están los límites verificables.

Publica con poca frecuencia para los estándares de un campo donde los preprints aparecen a diario, pero cada artículo es preciso e inquietante. El más leído, publicado hacia su trigésimo primer cumpleaños, argumenta que varias propiedades que se da por sentado que tienen los modelos de lenguaje de gran escala no pueden verificarse solo a partir de sus salidas, y que distinguir la generalización genuina de la interpolación sofisticada a escala es un problema sin resolver. El artículo cosecha un respeto a regañadientes de quienes llevan tiempo preocupándose discretamente por lo mismo, y el rechazo de quienes dependen económicamente de no preocuparse por ello.

El paralelo contemporáneo

El paralelo vivo más cercano no es simplemente una mujer en tecnología, que sería la opción obvia pero pasa por alto la combinación específica. El perfil particular de Ada Lovelace —formación temprana intensa, teoría matemática más que práctica ingenieril, duda pública sobre lo que las máquinas pueden hacer realmente, retirada prematura del campo en un momento crítico— encaja mejor con quien esté ocupando actualmente el papel de la teórica de IA fundamental que contribuyó de manera significativa a los sistemas que se están construyendo y que desde entonces se ha vuelto públicamente incómoda con ellos.

El nombre concreto cambia según el año en que se pregunte. El rol es constante: alguien cuyo trabajo se cita en los artículos de quienes construyen los productos, cuyas preocupaciones se reconocen en las conferencias con expresiones como «preguntas abiertas importantes», y cuyas preocupaciones se dejan luego de lado en favor del siguiente resultado en el índice de referencia. Ada Lovelace reconocería esta dinámica con exactitud. Ella vivió la versión de 1843.

La familia

Se casa a finales de los veinte, brillante y algo catastróficamente, como hizo en 1835 cuando se unió a William King-Noel, posteriormente primer conde de Lovelace, doce años mayor y genuinamente solidario con su trabajo de una manera que raramente ocurría en los matrimonios históricos. También tuvo tres hijos y llevó una casa mientras hacía el trabajo matemático, algo que sus biógrafos tienden a mencionar y su imagen popular tiende a omitir.

La versión de 2026: una pareja del mundo técnicamente adyacente, un matrimonio que funciona mejor como asociación intelectual que como relación social, dos hijos que ven a su madre principalmente como alguien que hace un trabajo importante en un ordenador portátil a horas inusuales. La relación madre-hija es complicada de la manera específica en que las madres intensamente racionales producen hijas complicadas, y ella es consciente de la ironía.

No tiene, en particular, un perfil público glamuroso. Le resulta irritante la idea de ser un «modelo a seguir para las mujeres en tecnología», no porque se oponga a la categoría, sino porque la reduce a un símbolo a costa del argumento que está intentando hacer. El argumento es más importante que el símbolo.

El problema de las redes sociales

Su cuenta en X tiene 290.000 seguidores. La mitad están ahí por las críticas técnicamente impecables a los anuncios de empresas de IA: respuestas que rara vez superan tres frases, respaldadas en artículos reales, y tanto más devastadoras por su brevedad. La otra mitad está ahí porque de vez en cuando publica algo personal y luego lo borra: reflexiones sobre el lado paterno de su familia, pensamientos sobre lo que significa ser útil para alguien, un breve comentario sobre la brecha entre lo que una máquina puede demostrar y lo que una máquina puede saber que se puede leer como una nota filosófica o como algo más personal, y ella no aclara cuál de las dos cosas es.

No disfruta de la celebridad. Detesta los congresos. Los asiste porque las conversaciones en los pasillos son las únicas que están al nivel al que ella trabaja, y porque la alternativa es el aislamiento.

Lo que sale mal

Ada Lovelace murió a los 36 años. La versión de 2026 no muere a los 36, pero sí desaparece del campo aproximadamente a esa edad de una manera que todos en el campo registran como una pérdida. Las circunstancias varían: una enfermedad grave, una salida por principios del laboratorio tras un desacuerdo sobre decisiones de despliegue, un año sabático que todo el mundo espera que termine y que no termina durante años. Sea cual sea el mecanismo, el efecto es el mismo.

Las preguntas que planteó sobre los límites de expresabilidad y la generalización no verificable acaban absorbidas en el discurso general, atribuidas vagamente a «críticas tempranas» sin crédito individual. Un investigador más joven, tras leer atentamente los artículos originales, escribe un texto de homenaje que identifica correctamente su contribución y señala que fue realizada antes de que el problema se considerara importante. El homenaje acumula veinte citas de su trabajo real.

El campo, con su característica inercia, no frena el paso.

Lo que Ada Lovelace comprendió en 1843 y que todavía no se ha asimilado del todo en 2026 es que la pregunta interesante nunca fue si la máquina podía hacer el cálculo. La pregunta interesante era qué significa el cálculo. El Motor Analítico podía calcular los números de Bernoulli. La pregunta que ella dejó abierta —si ese cálculo equivale a comprensión— es la pregunta que el campo sigue bordeando en lugar de abordar de frente.

Ella tendría opiniones sobre el estado actual del debate. Las expresaría con precisión, en público, en tres frases que serían citadas durante los próximos veinte años por personas que no le darían crédito por ellas. Esto es también, a su manera, exactamente lo que ocurrió la primera vez.