0100011

Tout a dérapé quand je leur ai parlé de la hiérarchie arithmétique dans les trois derniers cours J'avais aussi fait un cours sur les implications philosophiques de la calculabilité (sur les nombres incompressibles de Chaitin et les propositions mathématiques vraies "par hasard").

T'as des stagiaires trans hormonés ?

Kasparov vient de sortir un livre sur sa rencontre avec DeepBlue. Une grande partie de sa thèse prend un coup dans l'aile avec Alphazero. En effet dans son livre il avance, avec raison, que la recherche en IA était du point de vue des échecs assez décevante car c'était principalement une histoire de puissance de calcul. C'était vrai jusqu'à ce qu'Alphazero sorte car clairement ce dernier joue d'une toute autre manière. En gros Shannon avait imaginé dès les années 50 deux stratégies différentes pour programmer un moteur d'échecs : soit beaucoup calculer sans être trop malin, soit être plus intelligent (ne considérer que des coups intéressants) quitte à moins calculer. Depuis les années 50 la première approche a toujours largement dominé la seconde (et c'est en cela que la remarque de Kasparov faisait sens). Alphazero vient de changer 60 ans d'histoire en 4h d'apprentissage !

Ils ont joué des centaines de parties ! Les 4 heures c'est le temps qu'Alphazero à passé à s'entraîner tout seul !! Pendant ces 4 heures il a joué des milliers de parties contre lui même pour s'auto-améliorer. À l'issue de cet entraînement il a rétamé Stockfish sur des centaines de parties.

Les deux : il était très fort et les autres très nul (mais pour de vrai j'ai fait les rattrapages à l'oral : grands moments de solitude).

En fait oui c'était bien ça (et c'est logique) https://mobile.twitter.com/AugustAmesxxx/status/937423574301794304?ref_src=twsrc^tfw&ref_url=http%3A%2F%2Fwww.newsweek.com%2Faugust-ames-death-porn-star-740979

Ben dit c'est bien. L'an dernier sur toute la promo en calculabilité j'en ai eu qu'un seul au dessus de 4... qui a eu 17,5 comme quoi c'était faisable. OK ils étaient 12 en tout....

Best comment of the day !

Là où pour l'instant les IA excellent c'est dans des mondes fermés. Typiquement les échecs, le shogi, le go etc. Cette nouvelle expérience montre que pour de tels jeux l'IA peut apprendre d'elle même en jouant comme un autiste. Elle crée des joueurs avec différents styles les faits s'affronter garde les meilleurs, secoue un peu et recommence. Cette expérience montre que ce type d'auto apprentissage est plus efficace en quelques heures que 60 ans de recherches sur comment bien programmer les échecs (avec tout plein de savoir humain accumulé). La version précédente, AlphaGo Lee, avait appris le Go en "regardant" des parties de maitres. Ensuite les chercheurs ont implanté cette technique d'auto apprentissage dans Alphago Zero qui apprenait toute seule mais utilisait des spécificité du Go (symétries du jeu, et le fait qu'il n'y ait pas de nulles notamment) mais sans regarder les parties de maitres. Alphago Zero a vite mis la misère à Alphago Lee. Là ils ont encore franchis une étape de généralisation : AlphaZero est complétement générique (aucune connaissance d'aucun jeu) ils rentrent juste les règles et la machine se débrouille toute seule pour apprendre. Alphazero est arrivé à bout de Stockfish 8 (champion TCEC 2016, ie champion du monde des programmes d'échecs) en... 4 heures. En seulement 4 putains d'heures il a défoncé le top des moteurs d'échecs actuels !!! En plus AlphaZero évalue 80k positions par secondes (Stockfish lui en évalue 70 Millions par seconde). C'est stupéfiant car c'est qualitativement qu'Alphazero fait la différence quasiment comme l'humain. Franchement ça casse le slip et ça ressemble beaucoup à une singularité (la machine décolle en intelligence et va loin loin de l'humanité toute seule). Le truc est que ça marche quand les règles sont claires et biens établies. Il est difficile d'imaginer d'entraîner une telle IA pour spéculer en bourse (il n'y a pas de règles colle aux échecs et faire apprendre à une machine en suivant les cours historiques pourrait mener à une catastrophe : les crachs boursiers pouvant effacer 25 ans de hausse en une demi journée). Mais si on pouvait y arriver on aurait un Terminator qui dégommerait tout spéculateur humain voir tout robot d'une génération précédente. Ça ferait un aspirateur à plus value dont je n'arrive pas à imaginer ce que deviendrait le marché avec un tel super héro de la spéculation qui gagne contre tous ses concurrents. Par contre la singularité en tant que telle serait que la machine prenne conscience de ce qu'est l'intelligence et le soit suffisamment pour créer une machine plus intelligente qu'elle même...à l'infini. Ça reste un peu trop SF pour moi.

En plus on ne sait pas s'il ne s'agissait pas de limiter les risques (maladies contagieuses etc.)... Mais ça aussi on peut le mettre sur le compte de l'homophobie masculine ?

Pas de quoi faire une équipe de foot.

Oui mais. En France c'est lui qui a tracé la route !

Si au début il était vu comme un extra terrestre mauvais genre. Avec le temps il a infusé ce type de lifestyle de manière mainstream. Que vont devenir les participants de "Tellement vrai" sans lui ?

Luchini et Jonnhy courent après la reconnaissance (enfance malheureuse toussa). La différence que je verrai est que Luchini à fait en sorte de rentrer dans le moule bourgeois alors que Johnny à transformé le moule pour qu'il lui convienne. C'est beaucoup plus difficile.

Dans la famille Petrosian, il y a le vieux Tigran , champion du monde d'échecs et le jeune Giorgio, la classe incarnée en boxe thai (il n'a pas la brutalité d'un Buakaw ni l'aisance technique de Senchai mais un coup d'oeil, une précision et une défense halucinantes) :

Sur le sujet ça me fait penser à la tentative de Maduro de baser une crypto sur du Pétrole. Je trouve que l'idée est très bizarre : par construction les monnaies cryptos sont sans contrepartie autre que l'agrément pair-à-pair décentralisé. Vouloir l'ancrer dans le monde réel est très paradoxal et me semble bien représentatif de ce déni de réalité typique du Chavisme.

T-1000 dans la salle de marché. Pour le coup là il pourrait y avoir une vraie singularité. Alors que je ne vois pas de manière générale une telle singularité se produire : du style la machine prend conscience d'elle même de l'intelligence et bootstrap le tout.

Ce qui devait arriver arriva : l'équipe d'Alpha Go s'est mise aux échecs. Avec des résultats ... étonnants : https://en.chessbase.com/post/the-future-is-here-alphazero-learns-chess On à la un bel exemple de machine qui défonce tout après quelques jours d'auto apprentissage (plus besoin de l'input humain). C'est cette capacité à dépasser les aspects big data qui est frappante. En fait le principal truc est de trouver comment présenter des règles pour qu'Alpha Zero cherche et trouve comment les exploiter à fond. Je ne vois pas encore comment l'adapter pour un environnement ouvert (type marché) mais si/quand on y arrivera ça va swinguer. Le papier : https://arxiv.org/pdf/1712.01815.pdf

Star Wars 8 sort la semaine prochaine. Ce sera sans doute moins bien que : Toujours dans le Rap français, un morceau qui m'a toujours plu avec de très bonne punchlines (les jeunes ne pourront pas saisir toutes les références ne serait ce que dans le titre) :

Je pensais aux Big Boss de fin de niveau avec des théorèmes / réalisation qui roxxent.

En France on a la même mécanique à l'œuvre dans la lutte contre le fascisme et les heures les plus sombres et qui s'approprient le mythe de la Résistance : il est plus facile de combattre dans ses rêves que de vivre la réalité. C'est une qualité que j'ai toujours reconnue à Macron : il ne joue pas le jeu de la contrition comme 99,9% de la classe politique. Ça se voyait clairement pendant la campagne (il s'est payé quelques journalistes qui s'attendaient au discours politiquement correct misérabiliste convenu). Pour le coup ça change pour le mieux.

À part Ada Lovelace et Julia Robinson je n'ai pas d'autres grands noms de femmes ayant joué un rôle important dans l'histoire de l'informatique qui me viennent spontanément.

Avec Halliday et d'Ormesson c'est la génération de mes parents qui se prend le mur de la mort en pleine face. Merde c'est la mienne la prochaine sur la liste.

Sanksion back from the valley of death ?