Delahaye Jean-Paul.
« Quand les machines font des mathématiques »
in Pour la science, 510 (04/2020), p.72-77.
|
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 :
|
p.72-77
|
|
Note générale :
|
Bibliographie.
|
|
Langues:
|
Français
|
|
Descripteurs :
|
intelligence artificielle
|
|
Mots-clés:
|
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.
|
|
Genre :
|
Article de périodique
|
