Et si Ada Lovelace vivait aujourd'hui : la théoricienne de l'IA qui vit la limite en premier

Ada Byron grandit en tant que fille du poète le plus célèbre et le plus décrié d'Angleterre, élevée par une mère terrifiée à l'idée qu'elle lui ressemblerait. Anne Isabella Milbanke, qui se sépara de Lord Byron quand Ada avait un mois et passa les trente années suivantes à orienter l'éducation de sa fille vers les mathématiques et loin de la poésie, se dit par la suite fière du résultat. Elle avait produit, croyait-elle, une femme entièrement différente de son père.

Elle avait au contraire produit quelqu'un qui combinait l'intensité et la fébrilité de Byron avec un esprit mathématique assez acéré pour voir ce que les machines à calculer de Charles Babbage pouvaient réellement devenir. Ada Lovelace mourut en 1852 à 36 ans. Elle laissa derrière elle un article traduit et sept notes intitulées A à G, dont la dernière contenait ce que les historiens de l'informatique identifient aujourd'hui comme le premier algorithme publié. Elle laissa aussi une description de la machine analytique comme manipulatrice de symboles à usage général — une machine capable de faire bien plus que de l'arithmétique, une machine opérant sur des règles plutôt que sur des nombres. Elle avait environ un siècle d'avance.

Transportez-la en 2026 : elle a probablement encore un siècle d'avance.

La figure historique

Augusta Ada Byron naquit en décembre 1815, unique enfant légitime de George Gordon Byron et de son épouse d'un an. Byron quitta l'Angleterre en avril 1816 et n'y revint jamais, sans revoir sa fille. Il mourut en Grèce en 1824. Ada avait huit ans.

Sa mère organisa une éducation scientifique intensive, conçue pour empêcher tout héritage byronien de prendre racine. Ada apprit les mathématiques, la musique et le français. Elle fut souvent souffrante durant son enfance — elle passa de longues périodes alitée pour des raisons que ses médecins nommèrent diversement et que les historiens modernes ont débattues longuement sans résolution. Sa mère gérait ces maladies en insistant sur davantage de leçons. Le résultat fut une femme éduquée avec une précision implacable, et genuinement fascinée par les systèmes formels.

Elle rencontra Charles Babbage en 1833, lors d'un dîner où elle avait 17 ans. Il lui montra sa machine à différences n° 1, un prototype partiel de calculateur mécanique. Elle fut captivée d'une façon qui semble avoir surpris les deux. Elle commença à correspondre avec Babbage sur les mathématiques et ses projets pour la machine analytique, une machine bien plus ambitieuse qui ne fut jamais construite de leur vivant.

En 1842, un mathématicien italien nommé Luigi Menabrea publia en français une description de la machine analytique d'après une conférence que Babbage avait donnée à Turin. Ada la traduisit en anglais et y ajouta des notes environ trois fois plus longues que l'article original. La note G contenait une méthode étape par étape pour calculer les nombres de Bernoulli à l'aide de la machine analytique : une procédure complète avec des entrées définies, des opérations définies et des vérifications d'erreurs intégrées. C'est le premier algorithme publié au sens moderne du terme.

Ce qu'on cite moins souvent, c'est le contexte qui l'entoure. Ada soutint dans ces notes que la machine analytique pouvait traiter tout ce qui est exprimable en symboles et en règles — qu'il ne s'agissait pas simplement d'une machine à nombres mais d'une machine logique, susceptible en principe de composer de la musique. Elle décrivait un ordinateur à usage général en 1843.

Elle affirma aussi, explicitement et avec précision, que la machine ne pouvait rien créer. Elle ne pouvait faire que ce qu'on lui demandait. Cette limite, qu'elle énonça comme un fait de conception, est aujourd'hui l'un des débats centraux de l'intelligence artificielle. La question qu'elle posa — celle de savoir si une machine peut véritablement penser ou seulement calculer — est la même question que le domaine appelle le Test de Lovelace, et elle n'a pas été résolue proprement.

Elle mourut en novembre 1852 d'un cancer de l'utérus, dans la douleur, à 36 ans. Ses notes ne furent guère lues pendant des décennies. Alan Turing les cita sérieusement en 1950. Le ministère américain de la Défense donna son nom à un langage de programmation dans les années 1980.

Le rôle moderne

Transportez-la en 2026 : née en 1990, élevée par un parent intensément rationnel déterminé à contrecarrer l'influence d'un parent créativement chaotique et publiquement célèbre, formée à Cambridge ou à l'Imperial College de Londres en mathématiques et en informatique, avec une année au Santa Fe Institute où la combinaison de méthodes formelles et de systèmes complexes correspondit exactement à sa sensibilité.

À la mi-trentaine, elle est chercheuse dans un grand laboratoire d'IA, non pas dans le rôle générateur de manchettes mais dans les travaux théoriques fondamentaux qui ne produisent pas de démonstrations, ne font pas l'objet de couvertures dans la presse technologique, et constituent la base de tout ce qui en produit. Sa spécialité : la théorie formelle des systèmes apprenants, ce qu'ils peuvent et ne peuvent pas faire de manière prouvable, où se situent les limites vérifiables.

Elle publie rarement aux standards d'un domaine où les prépublications paraissent quotidiennement, mais chaque article est précis et dérangeant. Le plus lu, publié aux alentours de son trente et unième anniversaire, soutient que plusieurs propriétés que l'on suppose aux grands modèles de langage ne peuvent pas être vérifiées à partir de leurs seules sorties — que distinguer une véritable généralisation d'une interpolation sophistiquée à grande échelle est un problème non résolu. L'article recueille le respect condescendant de ceux qui s'inquiètent secrètement de la même chose, et le rejet de ceux dont le financement dépend du fait de ne pas s'en inquiéter.

Le parallèle contemporain

Le parallèle vivant le plus proche n'est pas simplement une femme dans la technologie, ce qui serait le choix évident mais passerait à côté de la combinaison spécifique. Le profil particulier d'Ada Lovelace — formation précoce intense, théorie mathématique plutôt que pratique d'ingénierie, doute exprimé publiquement sur ce que les machines peuvent réellement faire, départ prématuré du domaine à un moment critique — correspond le mieux à quiconque occupe actuellement le rôle de la théoricienne fondamentale de l'IA qui a contribué de manière significative aux systèmes en cours de construction et se montre depuis publiquement mal à l'aise à leur sujet.

Le nom précis change selon l'année où l'on pose la question. Le rôle est constant : quelqu'un dont les travaux sont cités dans les articles des développeurs de produits, dont les préoccupations sont reconnues lors de conférences avec des formules du type « questions ouvertes importantes », et dont les préoccupations sont ensuite mises de côté au profit du prochain résultat de référence. Ada Lovelace reconnaîtrait exactement cette dynamique. Elle en vécut la version de 1843.

La famille

Elle se marie à la fin de la vingtaine, brillamment et de manière quelque peu catastrophique, comme elle le fit en 1835 quand elle épousa William King-Noel, futur premier comte de Lovelace, qui avait douze ans de plus et soutenait genuinement ses travaux d'une façon que les mariages historiques permettaient rarement. Elle eut aussi trois enfants et géra un foyer tout en menant ses travaux mathématiques, ce que ses biographes tendent à noter et que son image populaire tend à omettre.

La version 2026 : un partenaire issu d'un milieu techniquement adjacent, un mariage qui fonctionne mieux comme partenariat intellectuel que comme relation sociale, deux enfants qui voient leur mère principalement comme quelqu'un de très occupé devant un ordinateur à des heures inhabituelles. La relation mère-fille est compliquée de la façon spécifique dont les mères intensément rationnelles produisent des filles compliquées, et elle est consciente de l'ironie.

Elle n'a pas, particulièrement, de profil public glamour. Elle trouve l'idée d'être un « modèle pour les femmes dans la tech » irritante non pas parce qu'elle s'oppose à la catégorie mais parce qu'elle la réduit à un symbole au détriment de l'argument qu'elle essaie de formuler. L'argument est plus important que le symbole.

Le problème des réseaux sociaux

Son compte sur X a 290 000 abonnés. La moitié d'entre eux est là pour les critiques techniquement irréprochables des annonces des entreprises d'IA — des réponses qui ne dépassent rarement trois phrases, sourcées de vrais articles, et d'autant plus dévastatrices par leur brièveté. L'autre moitié est là parce qu'elle publie de temps en temps quelque chose de personnel et le supprime ensuite : des observations sur la famille de son père, des réflexions sur ce que signifie être utile à quelqu'un, un bref commentaire sur l'écart entre ce qu'une machine peut démontrer et ce qu'une machine peut savoir, qui se lit soit comme une note philosophique, soit comme quelque chose de plus personnel — et elle ne précise pas lequel.

Elle n'apprécie pas la célébrité. Elle déteste les conférences. Elle y assiste parce que les conversations dans les couloirs sont les seules qui correspondent à son niveau de travail, et parce que l'alternative est l'isolement.

Ce qui tourne mal

Ada Lovelace mourut à 36 ans. La version 2026 ne meurt pas à 36 ans, mais elle disparaît du domaine à peu près à cet âge d'une façon que tous les acteurs du secteur ressentent comme une perte. Les circonstances varient : une maladie grave, un départ de principe du laboratoire suite à un désaccord sur des décisions de déploiement, un congé sabbatique que tout le monde s'attend à voir se terminer et qui ne se termine pas pendant des années. Quel que soit le mécanisme, l'effet est le même.

Les questions qu'elle a soulevées sur les limites d'expressibilité et la généralisation non vérifiable sont finalement absorbées dans le discours dominant, attribuées vaguement à « des critiques précoces » sans crédit individuel. Un chercheur plus jeune, ayant lu attentivement les articles originaux, rédige un hommage qui identifie correctement sa contribution et note qu'elle fut formulée avant que le problème soit jugé important. L'hommage compte vingt citations de ses travaux effectifs.

Le domaine, caractéristiquement, ne ralentit pas.

Ce qu'Ada Lovelace comprit en 1843 et qui n'a pas encore été pleinement assimilé en 2026, c'est que la question intéressante n'a jamais été de savoir si la machine pouvait faire le calcul. La question intéressante était de savoir ce que le calcul signifie. La machine analytique pouvait calculer les nombres de Bernoulli. La question qu'elle laissa en suspens — celle de savoir si ce calcul équivalait à comprendre — est la question que le domaine continue de contourner plutôt que de traverser.

Elle aurait des avis sur l'état actuel du débat. Elle les exprimerait avec précision, en public, en trois phrases qui seraient citées pendant les vingt années suivantes par des gens qui ne lui en attribueraient pas le mérite. C'est aussi, d'une certaine façon, exactement ce qui s'était passé la première fois.