| 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 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. |
| Nature du document : | Article de périodique |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 52793 | Presse scientifique | Périodique | CDI 1 | Presse scientifique | Disponible |