Pour mieux percevoir les liens existant entre l'intelligence artificielle et l'informatique théorique, les principaux résultats obtenus sont présentés, ainsi que leurs éventuelles répercussions.