S’il est un résultat récent de l’Intelligence Artificielle qui a de quoi faire rêver – sans préjudice d’un éventuel cauchemar –, c’est bien le logiciel AlphaGo Zero de Google. Il s’agit du dernier né d’une impressionnante et toute nouvelle dynastie de programmes champions dans un jeu, le Go, que la plupart des spécialistes considéraient encore il y a peu comme inaccessible aux ordinateurs, tant est grande la combinatoire de ses positions possibles : comparés au Go, les échecs font presque mine de morpion. (Lire l'article)

Au regard des mouvements sociaux en cours et des réponses qu’y apporte le gouvernement, une formule étrange me vient à l’esprit : nous faisons face à une crise axiomatique. Un axiome, en logique, c’est une assertion supposée vraie et dont on pourra déduire d’autres énoncés appelés théorèmes. Une fois défini un jeu d’axiomes et les règles de déduction que nous entendons lui appliquer, n’importe qui, en théorie, doit en déduire le même ensemble de théorèmes ; et un ordinateur bien programmé pourra vérifier que ce que nous présentons comme un théorème en est bien un. Or, si l'on écoute les politiques de tout bord, on sera frappé de la prégnance le plus souvent inconsciente du système d’axiomes qui nourrit leur discours. (Lire l'article)