|
Titre :
|
Quand les machines font des mathématiques (2020)
|
|
Auteurs :
|
Jean-Paul Delahaye, Auteur
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
Pour la science (510, 04/2020)
|
|
Article en page(s) :
|
p.72-77
|
|
Note générale :
|
Bibliographie.
|
|
Langues:
|
Français
|
|
Catégories :
|
Intelligence artificielle
/
Mathématiques
|
|
Résumé :
|
Le point sur l'utilisation de l'intelligence artificielle pour découvrir de nouveaux théorèmes mathématiques intéressants : les premiers programmes visant à produire des découvertes mathématiques ; le projet Cyc et son évolution ; le programme HR de Simon Colton ; le succès du programme Graffiti portant sur les graphes ; la mise au point de programmes utilisant l'apprentissage profond pour rechercher des formules, trouver des démonstrations ou calculer des primitives, exemples.
|
|
Nature du document :
|
Documentaire
|
|
Genre :
|
Article de périodique
|
Accueil
