| 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) |
| Langues de la publication : | Français |
| Descripteurs |
[UNESCO] Intelligence artificielle [UNESCO] 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. |
| Note de contenu | Bibliographie. |
| Genre : | article de périodique |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 2358 | PER | Périodique | CDI | CDI- rdc | Disponible |