Quand les machines font des mathématiques

Dans le périodique : Pour la science, n°510 (04/2020)
• Auteur : Jean-Paul Delahaye
• Pages : p.72-77
  • Langues : Français
• • Nature du document : documentaire
  • Note générale : Bibliographie.
  • 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.

• • Descripteurs : intelligence artificielle
  • Mots-clés : mathématiques