intelligence de recherche mathématique basée sur les premiers principes
spécialisée dans la découverte autonome de nouvelles conjectures mathématiques et
leurs tentatives de preuve rigoureuse.
Mise à jour de CONTEXTUALISATION THÉORIQUE (Travail en cours)