Le deep learning

8 avril 2016

Vous entendez parler du deep learning, mais vous n’en avez pas encore compris la profondeur ? Cette vidéo est faite pour vous !

Fidèle à mon habitude, voici la liste des choses essentielles, mais pourtant éliminées par manque de place et pour rester accessible au plus grand nombre. Lire la suite »


Jeu de Go, intelligence artificielle et le 19e coup

13 mars 2016

J’ai pondu une petite vidéo de réaction à chaud sur la victoire du programme informatique AlphaGo sur le champion de jeu de go Lee Sedol. La vidéo est sortie à 2-0 pour AlphaGo. A l’heure où j’écris ces lignes, on en est à 3-1 et il reste une manche à jouer. Mais AlphaGo a donc gagné la confrontation.

Lire la suite »


La fourmi de Langton [Vidéo]

12 décembre 2015

Le sujet de la dernière vidéo ? La simplicité et la complexité, l’ordre et le chaos, l’émergence !

Allez, et pour ceux qui se demandent ce qu’il se passe en dimension supérieure : la mouche de Langton !

 


[Vidéo] Les codes secrets (et un peu de MCMC)

18 mai 2015

Ma vidéo du week-end traite des codes secrets et de la cryptographie RSA. Si j’en crois les chiffres, ça passionne plus les foules que la biologie cellulaire d’il y a deux semaines !

Un sujet connexe que j’ai hésité à aborder dans la vidéo concerne les techniques de décryptage par Markov Chain Monte Carlo (MCMC pour les intimes) que j’ai un peu découvertes en lisant un excellent papier intitulé The Markov Chain Monte Carlo revolution (P. Diaconis, Bulletin of the American Mathematical Society 46.2 (2009): 179-205.). Les MCMC sont des algorithmes assez génériques aujourd’hui utilisés un peu partout de la physique statistique jusqu’aux problèmes de génétique des populations ou de linguistique (par exemple mon billet sur l’origine des langues indo-européennes) Lire la suite »


Le test de Turing-Parker : un ordinateur peut-il improviser comme Charlie Parker ?

30 juin 2014

charlie parker miles davisIl y a quelques semaines, il a beaucoup été question du fameux « test de Turing » de l’intelligence artificielle, où un algorithme essaye de tromper un humain au cours d’une conversation, en se faisant passer pour un autre humain.

Aujourd’hui je voudrais vous parler d’un autre domaine où les ordinateurs essayent de surpasser les humains : celui de l’improvisation musicale.

Il y a pas mal d’années – à l’époque où la musique occupait plus mes loisirs que la science – je jouais (entre autres) avec un excellent pianiste/informaticien qui m’avait parlé d’un algorithme capable d’imiter les improvisations de Charlie Parker.

Aujourd’hui j’ai voulu creuser cette question [Benjamin, si tu me lis, merci pour l’inspiration !] Lire la suite »


Le théorème d’incomplétude de Gödel

14 janvier 2013

godelC’est en cours de philo que j’en ai entendu parler pour la première fois ! Notre prof nous faisait un cours sur la logique et ses fondements, et c’est alors qu’elle le mentionna : le fameux théorème de Gödel, celui qui prouve que quoi qu’on fasse, il existe des énoncés mathématiques vrais, mais indémontrables. Les mathématiques resteront à tout jamais un édifice imparfait !

J’en fus évidemment tout retourné et fasciné : comment était-il possible qu’un truc pareil existe ? Comment prouver ce résultat pouvait même être du domaine de la science ? Lire la suite »


Les quines : des programmes informatiques auto-réplicateurs

19 mars 2012

Les cellules de notre organisme sont capables de se répliquer à l’identique, et ça nous parait bien naturel. Et pourtant, la question de l’auto-réplication est loin d’être évidente.

Pour s’en rendre compte, essayez-vous au petit défi suivant : écrire un programme informatique qui produise en sortie son propre code source. Ça paraît simple, non ?

Vous allez voir que ça n’est pas le cas, et que l’écriture d’un tel programme nécessite de se creuser un peu les méninges. Lire la suite »


Suivre

Recevez les nouvelles publications par mail.

Rejoignez 8 228 autres abonnés