Quand les machines font des mathématiques
de Jean-Paul Delahaye In Pour la science, 510 (04/2020), p.72-77 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. |
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 |