DÉMONSTRATION AUTOMATIQUE

Article

• INFORMATIQUE ET VÉRITÉ MATHÉMATIQUE

  • Écrit par Jean-Paul DELAHAYE
  • 1 990 mots
  Certaines techniques de démonstration automatique produisent des démonstrations qu'aucun humain n'avait découvertes sans aide informatique, mais qui, une fois trouvées par la machine, se révèlent relativement simples et contrôlables par un mathématicien sans ordinateur. C'est ce qui s'est passé pour...