Bonjour,

il y a longtemps, j ai lu dans un livre (je ne sais plus lequel) qu'un des pionniers de IA avait mis au point un algo qui, partant de postulats de base avait "redécouvert" une loi ou un théorème connu.

Ma question est: quel type d'algorithme/méthode/outil en IA permet de réaliser cela?

Bien cordialement,
Stephane