L’objectif de l’Intelligence Artificielle (IA) est de permettre à un ordinateur de (mieux) résoudre les problèmes traités par les humains. À Toulouse, le prouveur « toulbar2 », un outil de raisonnement automatique Open Source développé dans le laboratoire INRA de Mathématiques et Informatique Appliquées, a été utilisé en bioinformatique pour concevoir une protéine hyper-stable qui s’assemble seule à partir de plusieurs unités élémentaires.
