Tout comme la nature, les mathématiciens ont horreur du vide, du trou, de la pièce manquante. L’esthétique, la morale presque, commandent une théorie complète, sans surprise, sans hiatus. Si un formalisme mathématique permet de poser une question, elle devrait avoir une réponse ; toute opération devrait fournir un résultat. Sinon il manque quelque chose, et ce manque vous gratte jusqu’au sang ; il faut absolument compléter la théorie pour le combler. Il ne s’agit pas ici d’un principe ni d’une vérité : simplement d’un réflexe, d’un tropisme, d’une compulsion. (Lire l'article)

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)