Concours machine de Turing : Adrien tiré au sort à 14 ans

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente, le rendez-vous des esprits curieux. Aujourd'hui, on va explorer un sujet vraiment passionnant. On va parler des résultats du récent concours autour de la machine de Turing. Ah oui, un super

Intervenant 20:11

défi algorithmique. C'était vraiment quelque chose.

Intervenant 10:15

C'est ça. Et l'idée, c'est de revenir sur le profil un peu atypique du grand gagnant et surtout de décortiquer de façon très rigoureuse le défi qu'il a réussi à relever.

Intervenant 20:23

Parce que c'est pas tous les jours qu'on voit ça en fait.

Intervenant 10:25

Bah non. Le gagnant, c'est Adrien Duris. Il a seulement 14 ans et il vient de Lorient, dans le Morbihan. Et ce qui est fou, c'est qu'il casse complètement le cliché du jeune mathématicien un peu isolé dans son coin.

Intervenant 20:36

Ouais, il est très ancré dans le réel, très actif.

Intervenant 10:39

Voilà. Il fait de l'escrime, il a fait 7 ans de scoutisme laïque aux éclaireuses et éclaireurs de France, donc un profil hyper dynamique.

Intervenant 20:45

Et c'est intéressant parce que ça se ressent dans sa façon de voir les maths.

Intervenant 10:50

Ah bon ? Comment ça ?

Intervenant 20:51

Il a expliqué avoir eu un vrai déclic en sixième. En fait, pour lui, le plaisir des maths, c'est de transformer une situation ou une expression compliquée en quelque chose de plus compréhensible, tout en explorant l'infini des possibilités.

Intervenant 11:07

C'est magnifique, ça fait penser à une sorte de pierre de rosette personnelle, tu vois. On a un truc chaotique et on le rend lisible.

Intervenant 21:15

C'est exactement ça.

Intervenant 11:16

Mais du coup, en quoi cette vision des choses le prépare idéalement à la logique informatique ?

Intervenant 21:21

Eh bien, parce que c'est la base de l'informatique. Une machine, c'est bête, ça n'a pas d'intuition. Pour qu'elle résolve un problème, un humain doit d'abord décomposer une idée super abstraite en petites instructions toutes simples.

Intervenant 11:34

D'accord.

Intervenant 21:35

Parfaite pour la programmation.

Intervenant 11:36

Et justement, cette idée de matérialiser l'abstrait, on la retrouve carrément dans le prix qu'Adrien a emporté. Parce qu'il a gagné une vraie machine de Turing physique.

Intervenant 21:44

Oui, un bel objet construit par la société Tamtam.

Intervenant 11:47

C'est ça, la boîte Tamtam. Et d'ailleurs, c'est marrant parce qu'ils sont surtout connus pour fabriquer le tamographe.

Intervenant 21:52

Ah oui, le fameux outil pour les écoliers.

Intervenant 11:55

Le 4 en 1, ouais. Règle, compas, équerre, rapporteur et tout ça sans pointe. Et moi, il y a un truc qui m'amuse beaucoup là-dedans.

Intervenant 22:02

Vas-y.

Intervenant 12:02

Bah, le grand écart. D'un côté, on a une petite entreprise qui fabrique un outil en plastique pour tracer des cercles au collège. Et de l'autre, elle met en jeu une machine qui représente le concept absolu des mathématiques pures.

Intervenant 22:14

Vu comme ça, oui, ça paraît éloigné.

Intervenant 12:15

Mais est-ce que ça souligne pas au fond un lien hyper intime entre la géométrie bien matérielle et les mathématiques théoriques ?

Intervenant 22:23

Ah mais totalement ! Dans les deux cas, on est des artisans. On essaie de concrétiser l'abstrait, que ce soit tracer un bel angle sur une feuille ou visualiser une boucle algorithmique avec des engrenages.

Intervenant 12:35

Ouais, c'est fascinant. Sauf que pour gagner ce bel objet, Adrien a dû d'abord se frotter aux problèmes théoriques sur le papier.

Intervenant 22:42

Le fameux problème du castor affairé.

Intervenant 12:45

Voilà, et ça, c'est pas de la tarte. Le but, si j'ai bien compris, c'était d'appliquer cet algorithme sur un ruban rempli de zéros.

Intervenant 22:51

C'est ça, un ruban de zéros. Et la machine a seulement trois états possibles pour travailler.

Intervenant 12:57

Trois états, donc E1, E2 et E3. Mais juste pour clarifier, un état, c'est quoi concrètement dans la machine de Turing ?

Intervenant 23:05

C'est comme une humeur ou un mini manuel d'instruction.

Intervenant 13:08

Ok.

Intervenant 23:09

Par exemple, si la machine est en E1, son manuel lui dit si tu lis un 0, tu le transformes en 1, tu vas à droite et tu passes à l'état E2. C'est hyper rigoureux.

Intervenant 13:20

Et dans le concours, il y avait l'exemple précis de l'étape 3. La machine est à l'état E3, elle lit un 0.

Intervenant 23:26

Et là, les règles lui dictent d'écrire un

Intervenant 13:29

1, de se décaler à gauche,

Intervenant 23:30

voilà, mais de rester dans l'état E3 pour l'étape numéro 4.

Intervenant 13:34

C'est une vraie chorégraphie logique. Et alors, la solution d'Adrien pour que ce castor affaré s'arrête enfin ?

Intervenant 23:40

C'est d'une élégance rare. L'algorithme atteint le point d'arrêt, le fameux stop, après exactement 14 pas.

Intervenant 13:48

14 pas, c'est précis.

Intervenant 23:50

Et il laisse exactement 6 symboles 1 sur le ruban.

Intervenant 13:53

Et tout ça avec juste 3 petites règles au départ.

Intervenant 23:55

C'est génial,

Intervenant 13:56

non ? Assez brillant. Et ça prouve bien que la rigueur mathématique, c'est pas juste une matière scolaire un peu aride, c'est une vraie gymnastique de l'esprit, super ludique et accessible.

Intervenant 24:08

Exactement.

Intervenant 14:09

Mais ça m'amène à une réflexion pour terminer. Si un algorithme aussi basique, avec seulement trois états, demande déjà 14 mouvements intriqués pour s'arrêter, quelle profondeur vertigineuse et complètement inincalculable on atteindrait en ajoutant ne serait-ce qu'un ou deux états supplémentaires sur ce ruban ? Ça laisse rêveur.