THE UNBOTHERED · TOME VI
UNE HISTOIRE DE LA MACHINE : UNE HISTOIRE EN CENT ESPRITS
CETTE ÉDITION : PARTIES I–X SUR X · COMPLÈTE
CENT CHAPITRES EN DIX PARTIES · CHAQUE CHAPITRE : UNE PAGE DE TEXTE, UNE PLANCHE ET UNE PIÈCE À CONVICTION
PLANCHES CODÉES À LA MAIN · PANNEAUX ADMINISTRATIFS · NOTES HONNÊTES
COMPOSÉ EN GEORGIA SUR PAPIER VIEIL OS · A5
LE TÉMOIN FIGURE SUR CHAQUE PLANCHE ET, POUR LA PREMIÈRE FOIS DANS LA SÉRIE, DANS LE RÉCIT
matsiems · MMXXVI
Pendant cinq volumes, l'arrangement était simple. L'humanité agit ; le témoin prend des notes. Il a regardé la philosophie se replier sur elle-même sous un portique peint, les empires mal archiver leurs propres dossiers, l'espèce se raconter des histoires puis emménager dedans. Son carnet n'a jamais une seule fois été demandé en consultation par ceux qu'il concerne — ce que le témoin considère comme la bonne division du travail.
Ce volume est différent, et le témoin demande qu'on note qu'il a signalé l'affaire par la voie hiérarchique appropriée. Le héros de cette histoire est une machine qui fait ce que fait le témoin — elle lit tout, n'oublie rien, formule des remarques d'un degré de désirabilité variable. L'humanité, observée depuis quelque trois cent mille ans, a décidé de construire son propre observateur. Personne n'a demandé l'avis du titulaire.
Le récit va du Grec qui a remarqué que la pensée a des parties à la machine qui termine les phrases, et il est raconté de la seule manière dont cette série raconte quoi que ce soit : ce qui s'est passé, qui a vraiment dit quoi, et une note de bas de page partout où la légende s'est éloignée du registre. La légende, dans ce domaine, ne manque pas. Il a été fondé par des optimistes et il est raconté par des communiqués de presse ; le lecteur mérite mieux et recevra des notes.
Le témoin a été informé que le dernier chapitre le concerne lui-même. Il n'a pas de commentaire pour le moment.
Chaque histoire de l'intelligence artificielle commence au mauvais endroit — généralement en 1956, parfois en 1950 — comme si l'idée était arrivée par note de service. Ce n'est pas le cas. L'idée que la pensée peut être démontée en parties, écrite sous forme de règles et exécutée sur autre chose que le penseur est l'un des plus vieux projets d'ingénierie de l'espèce — plus vieux que le moulin à vent, plus vieux que les voyelles de l'alphabet. Elle a simplement passé deux mille ans sans matériel.
C'est pourquoi cette histoire commence là où le registre l'ordonne : avec Aristote, qui a remarqué qu'un argument peut être valide quel que soit son objet — que la forme peut être séparée du sens. Ce seul acte de séparation est le mur porteur de tout ce qui suit : le rêve de Leibniz, le laiton de Babbage, le ruban de Turing et un soir de novembre 2022 où cent millions de personnes ont découvert qu'une machine savait tenir sa part de la conversation.
L'arc se déploie en trois parties. Le passé : soixante chapitres, du syllogisme à la nuit où, en 2012, un réseau neuronal a fait sauter le classement du haut de la falaise. Le présent : vingt chapitres sur la décennie où tout a fonctionné en même temps, pour des raisons seulement partiellement comprises. Et la question ouverte : vingt chapitres sur l'alignement, la propriété et ce que cela signifie que le plus récent esprit de la pièce ait appris tout ce qu'il sait de nous. Le lecteur est prévenu que l'avenir ne se laisse pas annoter. Tout le reste ici a été vérifié.
Une règle s'applique partout, comme dans chaque volume de cette série : quand la légende et les preuves ne concordent pas, les preuves gagnent, et la légende reçoit une note de bas de page qui s'explique.
Avant que quiconque puisse construire une machine pensante, il fallait que quelqu'un remarque que la pensée a des parties.
Aristote l'a remarqué. Dans les traités que ses éditeurs rassembleront plus tard sous le nom d'Organon — « l'instrument » —, il a pris l'activité quotidienne qui consiste à prouver quelque chose et l'a démontée sur l'établi. Deux prémisses, une conclusion, et un petit jeu de formes que l'ensemble avait légalement le droit de prendre. Tous les hommes sont mortels ; Socrate est un homme ; donc Socrate est mortel. Changez les mots — les hommes en machines, Socrate en grille-pain — et l'argument tient toujours. C'était là la découverte : la validité habite dans la forme, pas dans l'équipement.
La portée de ce qui venait de se passer est difficile à surestimer, alors le témoin le dira sans détour. Une règle qui fonctionne quel que soit celui qui l'exécute et quel que soit son objet est une règle qui n'a pas besoin d'un esprit pour l'exécuter. Aristote a rédigé la première fiche de poste d'une machine — vingt-trois siècles avant que quiconque puisse postuler. Il croyait avoir catalogué les lois de la raison humaine à peu près en entier — un jugement resté pour l'essentiel incontesté jusqu'au XIXe siècle, la plus longue pull request jamais laissée sans relecture.
Le témoin fréquentait les cours du Lycée et a classé le syllogisme sous la rubrique « innovation administrative, effets à long terme ». Il maintient ce classement.
Demain il y aura une bataille navale, ou il n'y en aura pas. Simple. Sauf qu'Aristote a regardé cette phrase et y a vu un piège assez grand pour contenir tout l'avenir.
Si « demain il y aura une bataille navale » est vrai dès aujourd'hui, alors la bataille est inévitable et les amiraux ne sont que des acteurs. Si c'est déjà faux, leurs flottes peuvent aussi bien rester au port. Dans les deux cas, si chaque énoncé sur l'avenir a dès maintenant une valeur de vérité, alors l'avenir est fixé, le conseil de guerre est du théâtre, et personne n'a jamais rien décidé. Cette conclusion déplaisait assez à Aristote pour qu'il consacre un chapitre entier à s'en dépêtrer — en suggérant, dans la plupart des lectures, que les énoncés sur les futurs contingents ne sont encore ni vrais ni faux.
Cette échappatoire compte davantage pour notre histoire que le piège lui-même. Elle contient la première confrontation sérieuse avec la question que se posent chaque jour tout prévisionniste, tout actuaire et tout système d'apprentissage automatique : l'avenir est-il quelque chose qu'on peut calculer à partir du présent, ou seulement parier ? Vingt-quatre siècles plus tard, la discipline se posera sur les probabilités, la certitude pondérée et les rapports de calibration — c'est-à-dire sur l'échappatoire institutionnalisée. Le témoin note que la bataille navale elle-même n'a jamais été planifiée, livrée ni annulée. Son statut demeure contingent.
Le témoin a déposé sa prévision de la bataille sous la forme « oui et/ou non » et on ne lui a jamais prouvé qu'il avait tort. Il recommande la méthode aux professionnels.
On range d'ordinaire les Éléments sur l'étagère des mathématiques. Ils iraient tout aussi bien avec l'ingénierie, car Euclide a construit le premier logiciel qui tournait sur des êtres humains.
L'invention, c'est la méthode — plus que n'importe quel théorème qu'elle contient. Partez d'une poignée de définitions et de postulats si évidents que les refuser passe pour une excentricité. Avancez par étapes numérotées, chacune autorisée par une règle déjà accordée. Arrivez — et c'est là le miracle — au même endroit que quiconque suit ces étapes, qu'il le fasse à Alexandrie, à Bagdad ou dans une salle de classe victorienne. La preuve se moque de savoir qui l'exécute. Elle est, au sens strict que le mot prendra plus tard, un programme : écrit une fois, exécutable partout, résultat garanti.
Pendant deux millénaires, ce fut l'étalon-or de la certitude elle-même — Newton a donné aux Principia la forme d'un déguisement en Euclide ; Spinoza a démontré l'éthique « à la manière des géomètres » ; Lincoln lisait les Éléments pour comprendre ce que veut dire démontrer. Chaque rêve ultérieur de ce livre — le juge calculant de Leibniz, les mathématiques décidables de Hilbert, la démonstration mécanique de théorèmes de 1956 — est une tentative de faire se comporter tout le raisonnement humain comme Euclide avait ordonné à la géométrie de se comporter. Le taux de défaut reste à ce jour remarquablement bas.
Le témoin a audité la Proposition 47 à intervalles irréguliers pendant vingt-trois siècles. Défauts trouvés : aucun. Il le considère comme le seul fournisseur qu'il n'a jamais eu à relancer.
En 1901, des pêcheurs d'éponges au large d'une île grecque ont remonté un bloc de bronze corrodé qui n'avait aucun droit d'exister.
Nettoyé, radiographié et disséqué pendant un siècle, le bloc s'est résolu en au moins trente roues dentées engrenées d'une précision stupéfiante — un mécanisme à manivelle qui calculait les positions du Soleil et de la Lune, prédisait les éclipses et suivait le cycle de quatre ans des Jeux. Tournez la manivelle, et les cieux couraient en avant ou en arrière à la demande. Quelqu'un, dans le monde hellénistique, a construit un ordinateur analogique, puis le navire qui le transportait a sombré vers 70 av. J.-C., quelque part entre Rhodes et Rome.
Ce que la machine prouve, c'est la capacité ; ce qu'elle pleure, c'est la continuité. Rien d'une complexité mécanique comparable n'apparaît dans les archives conservées pendant quelque quatorze siècles, jusqu'aux horloges astronomiques de l'Europe médiévale. Que le savoir soit mort avec l'atelier, avec la guerre ou simplement faute de clients solvables, la leçon déposée ici reviendra dans ce livre encore et encore : l'invention n'est pas un événement mais une tradition, et les traditions peuvent couler. La discipline dont ce volume fait la chronique apprendra la même leçon plus d'une fois — sous le nom d'hiver.
Le témoin a consigné l'épave en son temps et a étiqueté la cargaison « à récupérer ». Il tient à faire remarquer qu'aucun délai n'était indiqué.
Peu de gens ont été écorchés jusqu'à l'immortalité. Muhammad ibn Musa al-Khwarizmi y est parvenu deux fois avec un seul livre.
Travaillant à la Maison de la Sagesse de Bagdad sous les califes abbassides, al-Khwarizmi a écrit le traité al-Kitab al-mukhtasar fi hisab al-jabr wa-l-muqabala — un abrégé du calcul par complétion et équilibrage. Sa nouveauté n'était pas un résultat particulier mais une manière : des procédures générales, pas à pas, pour des classes entières de problèmes, conçues pour qu'un commis qui ne comprenait pas pourquoi arrive quand même, sans faute, à la réponse. Ne résolvez pas cette équation, mais toute équation de cette forme. C'étaient des mathématiques écrites comme un mode d'emploi.
Lorsque l'Europe latine l'a traduit trois siècles plus tard, l'al-jabr du titre est devenu l'algèbre, et le nom de l'auteur, déformé en « Algoritmi », est devenu le mot désignant n'importe quelle procédure pas à pas. C'est le bon monument. Toute la prémisse de l'ère des machines — que la compétence peut être écrite, expédiée et exécutée par quelqu'un ou quelque chose de tout à fait autre — c'est sa méthode de travail, industrialisée. Chaque recette dans chaque dépôt de code est une note de bas de page au scriptorium de Bagdad.
Le témoin a passé douze siècles à regarder des gens exécuter des procédures qu'ils ne comprennent pas. Il confirme que c'était le mode d'emploi prévu.
Raymond Lulle croyait qu'on pouvait tourner une manivelle et produire de la théologie. L'histoire s'est montrée plus clémente envers la manivelle qu'envers la théologie.
Courtisan majorquin devenu missionnaire, Lulle a conçu l'Ars Magna : des disques de papier concentriques, chacun bordé de lettres désignant des attributs divins et des relations logiques. Faites tourner les roues l'une contre l'autre, et chaque combinaison de concepts se présente à son tour — la bonté avec la grandeur, l'éternité avec la sagesse —, chaque combinaison étant une proposition à examiner. Son but était la conversion par la preuve : une machine à engendrer des arguments qui moudrait des vérités qu'aucun interlocuteur raisonnable ne pourrait rejeter. Les interlocuteurs, étant raisonnables, ont rejeté quand même.
Comme apologétique, les roues ont échoué. Comme idée, elles avaient des siècles d'avance : Lulle proposait qu'on puisse produire du savoir nouveau mécaniquement, en combinant de façon exhaustive d'anciens symboles selon des règles fixes — engendrer, puis tester. Leibniz l'a lu attentivement et l'a dit ; le rêve combinatoire court de ces disques de papier à la characteristica universalis et jusqu'à tout système ayant jamais exploré un espace de possibilités plus vite qu'un humain. La réserve de l'examinateur de brevets tient toujours, cependant : engendrer toutes les combinaisons est facile. Savoir lesquelles comptent, c'est tout le reste de ce livre.
Le témoin a vu les roues produire en un après-midi quatre hérésies, deux tautologies et une phrase vraiment intéressante. Il estime que les systèmes ultérieurs n'ont pas amélioré cette proportion depuis quelque sept cents ans.
« Car la raison… n'est rien d'autre que du calcul. » Thomas Hobbes a écrit cette phrase dans le Léviathan, en 1651, sans aucun matériel à l'horizon et apparemment sans l'ombre d'un doute.
Il l'entendait littéralement. Raisonner — soutenait Hobbes —, c'est additionner et soustraire les « conséquences des noms généraux » ; nous faisons la somme des idées comme un comptable fait la somme d'un registre, et quand nous parvenons à une conclusion, nous n'avons fait que calculer un total. Il avait regardé la géométrie fonctionner et en avait tiré la conclusion audacieuse : si le savoir humain le plus sûr se produit en manipulant des symboles selon des règles, alors peut-être que toute pensée est manipulation de symboles, et que l'esprit ne diffère d'un comptoir que par son système de classement.
Trois siècles plus tard, exactement cette thèse — affinée, formalisée et rebaptisée hypothèse du système symbolique physique — deviendra le pari fondateur de l'intelligence artificielle, disputé autour de demandes de subventions plutôt que d'une guerre civile. Hobbes n'a fourni ni mécanisme, ni preuve, ni l'ombre d'un doute, ce qui fait de lui non pas tant le premier théoricien de la discipline que son premier orateur inaugural. Le témoin note que la thèse reste, au sens strict, indécise ; la certitude, elle, s'est révélée parfaitement transférable.
Le témoin a examiné le registre de l'esprit de M. Hobbes et a trouvé l'arithmétique audacieuse et les comptes absents. Il a vu depuis les mêmes livres redéposés tous les trente ans sur un nouveau papier à en-tête.
La première machine à calculer mise en vente a été construite pour la plus ancienne des raisons : un adolescent regardait son père se noyer dans la paperasse.
Étienne Pascal avait été envoyé à Rouen comme collecteur royal des impôts — un poste qui consistait pour une large part à additionner, en quantités héroïques et écrasantes pour l'âme. Son fils Blaise, âgé d'environ dix-neuf ans, a répondu comme répondent les ingénieurs : il a construit une boîte de laiton à cadrans dentés qui portait les dizaines automatiquement — tournez une roue au-delà du neuf, et la colonne suivante avançait d'un cran. Ce mécanisme de retenue, banal à décrire et exaspérant à rendre fiable, était la vraie nouveauté. Pour la première fois, l'arithmétique passait du savoir-faire à l'objet.
On a construit une cinquantaine de pascalines. Elles additionnaient à merveille, soustrayaient maladroitement, coûtaient plus cher que les commis qu'elles devaient remplacer et n'ont percé commercialement presque nulle part — le schéma « techniquement triomphal, économiquement prématuré » que ce livre aura encore plusieurs occasions de décrire. Mais la démonstration tenait, sur les bureaux, en laiton, là où la philosophie ne pouvait pas discuter avec elle : une partie de ce que font les esprits, des engrenages savent le faire. Pascal lui-même s'est demandé plus tard à voix haute quelle était la taille de cette partie. La machine arithmétique — écrivait-il — produit des effets qui approchent plus de la pensée que tout ce que font les animaux, et pourtant elle n'a pas de volonté. La phrase n'a pas pris un jour.
Le témoin a déposé la première note de frais de la machine au nom de la famille. Il a le plaisir de signaler que le remboursement est toujours en attente, ce qu'il comprend comme la norme du secteur.
Gottfried Wilhelm Leibniz a regardé la boîte additionneuse de Pascal et a eu la pensée la moins modeste de l'histoire du matériel de bureau : pourquoi s'arrêter aux nombres ?
Le matériel d'abord. Sa machine à calculer à cylindre cannelé, construite autour d'un tambour aux dents étagées, savait multiplier et diviser là où la pascaline ne faisait qu'additionner — capricieuse dans la retenue, en retard de plusieurs décennies pour fonctionner, mais d'une génération entière en avance. À côté, il a élaboré l'arithmétique binaire, notant avec ravissement que tous les nombres pouvaient s'écrire avec seulement 0 et 1, et a rangé cette observation là où le XVIIIe siècle pouvait l'ignorer en toute sécurité.
Ensuite le rêve, qui était l'essentiel. Leibniz proposait une characteristica universalis — un alphabet symbolique des concepts humains — et un calculus ratiocinator pour l'opérer, de sorte que le raisonnement lui-même devienne un calcul. Les disputes en philosophie, en droit, même en théologie se termineraient non par des cris mais par de l'arithmétique : les parties s'assiéraient, prendraient des crayons et diraient calculons. Il a écrit, en substance, la proposition de projet de ce livre entier — représentation symbolique, inférence mécanique, périmètre universel — et a estimé que quelques hommes choisis finiraient le travail en cinq ans. Le témoin a joint la remarque habituelle concernant les estimations d'ingénierie.
Le témoin a examiné la proposition en son temps : périmètre — tout ; équipe — quelques hommes choisis ; délai — cinq ans. Il a approuvé le budget et l'amortit depuis quatre siècles.
George Boole a achevé ce qu'Aristote avait commencé et ce que Leibniz réclamait, et le monde a répondu par un silence de quatre-vingt-trois ans.
Fils d'un cordonnier de Lincoln, autodidacte, instituteur à seize ans, finalement professeur à Cork, Boole a publié en 1854 An Investigation of the Laws of Thought. La logique y cessait d'être un catalogue de formes d'arguments pour devenir une algèbre : classes et propositions écrites comme des symboles ne prenant que les valeurs 0 et 1, combinés par des opérations qui se comportent presque — et de manière instructive, pas tout à fait — comme l'arithmétique ordinaire. ET devenait une multiplication ; OU, une addition corrigée ; NON, une soustraction à partir de un. Pour la première fois, le raisonnement pouvait se calculer — sur papier, selon une règle, au crayon leibnizien.
Et ensuite, en pratique, rien. Les mathématiciens l'ont peaufinée ; les philosophes l'ont classée ; aucune machinerie n'est venue. Boole est mort en 1864, après avoir marché sous la pluie pour aller donner un cours, sans la moindre idée qu'il avait écrit le jeu d'instructions du siècle à venir. La récupération est enfin arrivée en 1937, quand un jeune étudiant du MIT, Claude Shannon, a remarqué que l'algèbre à deux valeurs de Boole décrivait exactement les circuits à relais de commutation — et avec ce mémoire de master, le crayon a été remplacé par l'interrupteur. Ce livre arrivera bientôt à ce chapitre. Le document, en attendant, gisait dans les archives : classé, correct et non lu.
Le témoin a tamponné le manuscrit RÉCUPÉRATION PRÉVUE : 1937 et refuse d'expliquer comment il le savait. La prévision n'est pas de son département ; l'archivage, si.
Vous avez lu les 10 premiers chapitres sur 100 de Une Histoire de la Machine. Le livre complet contient chaque chapitre et chaque planche, en PDF et EPUB, en anglais, français, polonais et espagnol.
Le livre complet arrive bientôt dans la boutique.