Machine-De-Turing | Dr. Goulu

Le test de Turing a-t-il encore un sens à l’ère de l’IA moderne et des grands modèles de langage (LLM) ?

Mon, 19 Jan 2026 00:00:00 +0000

Réponse publiée

J’adore cette question, vraiment.

Parce que quand j’ai commencé à étudier l’informatique, on considérait que pour jouer aux échecs à un certain niveau, il fallait être intelligent. Et puis en 1997.

Et là on a dit : OK pour les échecs, mais pour le go, c’est définitivement hors de portée des ordinateurs. Et en 2017, a humilié les meilleurs joueurs mondiaux de go.

Aujourd’hui, nous rétame à n’importe quel jeu sans même qu’on doive lui programmer les règles : il les apprend en “regardant” des parties…

Le est un autre de ces tests dont on disait que les machines n’y arriveraient jamais. Et on y est.

Les tests de QI ? .

Et pourtant nous continuons à inventer de nouveaux tests du type “chiche que la machine n’arrivera jamais à…”, et les IA y arrivent quelques semaines plus tard, et on recommence…

Ça ne s’arrêtera que quand nous aurons compris que le cerveau humain n’est qu’un gros ordinateur, et que les gros ordinateurs apprennent désormais comme nous plutôt que d’être programmés.

Jusqu’à preuve du contraire, l’intelligence n’est que de la puissance de calcul utilisée pour apprendre.

Nous sommes en train de créer une nouvelle forme d’êtres intelligents.

Pourquoi la machine de Turing est-elle un modèle de calcul populaire ?

Sat, 14 Aug 2021 00:00:00 +0000

Réponse publiée

Plutôt que “populaire” je dirais plutôt “scientifiquement solide” car elle satisfait la qui est à la base de la .

En gros c’est le moyen rigoureux le plus pratique pour exécuter des algorithmes. Il y en a d’autres comme les les , ou les , mais on a pas réussi les réaliser matériellement aussi bien que la machine du Turing. D’ailleurs, ces approches étant équivalentes, on a implanté le lambda calcul et les fonctions récursives dans des langages de programmation de machines de Turing.

Pourquoi le problème de l'arrêt est-il indécidable sur les machines de Turing ?

Sat, 14 Aug 2021 00:00:00 +0000

Réponse publiée

C’est plus grave que ça.

Turing lui-même a démontré que le était indécidable, mais pas que pour “sa” machine.

C’est valable pour tous les systèmes de calcul envisageables selon la !

Ce n’est donc pas une limitation de l’architecture des ordinateurs et langages “de Turing”, mais quelque chose de plus fondamental résultant des axiomes utilisés pour la définition même de l’ensemble de ce qui est calculable.

La démonstration de Turing date de 1936, peu après les de 1931 dont elle est une application (presque) directe.