[article]
| Titre : |
Quand les machines font des mathématiques |
| Type de document : |
texte imprimé |
| Auteurs : |
Jean-Paul Delahaye, Auteur |
| Editeur : |
Pour la Science, 2020 |
| Article : |
p.72-77 |
| Note générale : |
Bibliographie. |
| Langues : |
Français (fre) |
in Pour la science > 510 (04/2020)
| 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. |
| Nature du document : |
documentaire |
| Genre : |
Article de périodique |
[article]
|
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.
|
| |
Quand les machines font des mathématiques / Pour la Science (2020) in Pour la science, 510 (04/2020)