« Aux sources de l'intelligence artificielle : la formule du savoir et l'outil qui prédit (presque) tout »

Comment une machine peut-elle deviner le prochain mot de votre phrase, battre les champions du jeu de Go ou dessiner la carte de l'Univers ? Tout repose sur deux idées mathématiques bien plus vieilles que les ordinateurs : une formule du XVIIIe siècle qui dit comment changer d'avis quand on apprend quelque chose de nouveau, et un outil né d'une dispute entre deux mathématiciens russes sur le libre arbitre. Ces idées prédisent et expliquent aujourd'hui (presque) tout : vos résultats Google, le texte des IA, la matière invisible qui remplit le cosmos. En remontant aux sources de l'intelligence artificielle, nous verrons ce que « savoir » veut vraiment dire pour une machine, et nous nous poserons la question qui agite les laboratoires : une machine pourra-t-elle bientôt faire des découvertes toute seule ?