| 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 : | |
| 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 |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 19714 | PER | Périodique | Archives périodiques | Périodique | Disponible |
