Une IA créée par Google prouve plus de 1200 théorèmes mathématiques

L'équipe de Google s'est basée sur <b>HOL Light Theorem Prover</b>, un logiciel destiné à aider les mathématiciens à formaliser et vérifier leurs …

Source : https://www.clubic.com/amp/857644-sr-ia-creee-goog...