C. TURLE AUTOMATED GENERATION OF INTERESTING CONJECTURES Puisque nous ne pouvons pas donner à un système toute la con­ naissance du monde, les systèmes d'I.A. devront la découvrir. Ils devront aussi organiser cette connaissance afin de la rendre utile. Cette tâche n'est pas simple car ces systèmes peuvent pro­ duire trop de concepts inutiles qui à la fin les submergent. Une solution au problème de créer uniquement de bons concepts est de guider le système à l'aide de conjectures intéressantes. Mal­ heureusement, le problème est juste déplacé puisque les nouveaux concepts auront aussi besoin de conjectures. Une meilleure solu­ tion est alors de donner au système la capacité de découvrir ces conjectures. Dans cette article, nous présentons une méthode générale qui génère des conjectures intéressantes. Cette méthode est basée sur les notions de représentation espace et de procédures générer-et-tester utilisant des connaissances sur les conjectures afin de contraindre la recherche. Nous présentons des résultats dans deux domaines: la théorie élémentaire des ensem­ bles et une partie de la théorie des nombres. Ces résultats proviennent d'expériences réalisées avec SECTE qui est le suc­ cesseur d'une nouvelle implémentation du système AM de Lenat(Lenat 82) Since we can't give a system all the knowledge of the world, A.I. systems will have to discover it. They will also have to or­ ganize this knowledge in order to make it useful. This task is not easy because these systems may produce too many useless con­ cepts which at last overwhelm them. One solution to the problem of creating only good concepts is to guide the system with inter­ esting conjectures. Unfortunately, the problem is just translated since the new concepts will also need conjectures. A better solu­ tion is then to enable the system to discover these conjectures. In this paper we present a general method that generates inter­ esting conjectures. This method is based on the notions of space representation and generate-and-test procedure using knowledge on conjectures to constrain the search. We present results in two domains: the elementary set theory and a subset of the number theory. These results come from experiments realized with SECTE which is the successor of a new implementation of Lenat's AM sys­ tem(Lenat 82).