Machine de Ramanujan : les chercheurs du Technion ont mis au point un générateur de conjectures mathématiques
[:fr] En utilisant l’IA et l’automatisation informatique, les chercheurs du Technion ont mis au point un « générateur de conjectures » qui crée des conjectures mathématiques, considérées comme le point de départ de l’élaboration de théorèmes mathématiques. Ils l’ont utilisé pour générer…