human
Veuillez expliquer ce qui est "Prover de théorème automatisé"
gpt
Le théorème automatisé prouvant (également connu sous le nom d'ATP ou déduction automatisée) est une sous-champ de raisonnement automatisé et de logique mathématique traitant de la prouvance des théorèmes mathématiques par les programmes informatiques.Le raisonnement automatisé par rapport à la preuve mathématique était un élan majeur pour le développement de l'informatique.