Alan Turing (1912-1954) était un mathématicien, logicien et informaticien britannique. Son article de 1936 sur les nombres calculables a introduit le modèle théorique désormais connu sous le nom de machine de Turing, posant les fondements théoriques de l'intelligence artificielle et de l'informatique moderne. Pendant la Seconde Guerre mondiale, il a dirigé les efforts de décryptage à Bletchley Park, où son travail sur la machine Bombe a contribué à percer le chiffre de la machine Enigma allemande, apportant une contribution significative à l'effort de guerre des Alliés.
Jeunesse et travaux théoriques
Formé à Cambridge et à Princeton, Turing a prouvé en 1936 qu'aucun algorithme unique ne pouvait décider, pour chaque programme possible, s'il s'arrêterait, un résultat connu sous le nom de problème de l'arrêt. La « machine de Turing » abstraite qu'il a conçue pour prouver cela est devenue le modèle théorique standard du calcul, dont on a ensuite démontré l'équivalence de puissance avec le lambda-calcul et d'autres formalismes élaborés par Alonzo Church.
Bletchley Park
À partir de 1939, Turing a travaillé à l'École de codage et de chiffrement du gouvernement britannique à Bletchley Park. Il a conçu la Bombe électromécanique, qui automatisait la recherche des réglages quotidiens de la machine Enigma allemande, et son travail cryptanalytique est largement crédité d'avoir raccourci la guerre. L'ampleur de sa contribution en temps de guerre est restée classifiée pendant des décennies après sa mort.
L'informatique d'après-guerre et « Les Machines à calculer et l'intelligence »
Après la guerre, Turing a travaillé sur les premiers ordinateurs à programme enregistré au National Physical Laboratory et à l'Université de Manchester, contribuant à la conception du moteur de calcul automatique. En 1950, il a publié « Computing Machinery and Intelligence » dans la revue Mind, proposant ce qui est devenu connu sous le nom de test de Turing : plutôt que de se demander si une machine peut « penser », un terme vague et contesté, Turing proposait de juger les machines sur le fait que leur conversation soit indiscernable de celle d'un humain. L'article anticipait des objections qui allaient refaire surface pendant des décennies, notamment les arguments liés à la conscience, aux limites mathématiques et à « l'objection de Lovelace » attribuée à Ada Lovelace, et reste une référence dans les débats sur l'intelligence artificielle générale et ce qui constitue la compréhension machine.
Persécution et mort
En 1952, Turing a été poursuivi en vertu de la loi britannique pour actes homosexuels, alors une infraction pénale, et a accepté la castration chimique comme alternative à la prison. Il est décédé en 1954 d'un empoisonnement au cyanure, que l'enquête a jugé comme un suicide, bien que les circonstances aient été débattues par les biographes. Il a reçu une grâce royale à titre posthume en 2013, et la « loi Alan Turing » de 2017 a gracié rétroactivement d'autres hommes condamnés en vertu de la même loi.
Héritage
Turing est largement considéré comme une figure fondatrice de l'informatique et du domaine qui sera plus tard nommé intelligence artificielle lors du atelier de Dartmouth de 1956, bien qu'il n'ait pas vécu pour le voir. Le prix Turing, la plus haute distinction en informatique, porte son nom, et le test de Turing reste une référence culturelle invoquée, souvent de manière approximative, chaque fois qu'un agent conversationnel ou un grand modèle de langage produit un texte d'apparence humaine convaincant, une comparaison que de nombreux chercheurs considèrent comme un mauvais test de l'intelligence artificielle authentique ou de la compétence en traitement du langage naturel.