Ordinateurs : ils comprennent enfin quelque chose aux maths !

Dans le périodique : La Science et la vie (Paris), n°1294 (07/2025)
• Auteur : Charlotte Mauger
• Pages : p.102-106
  • Langues : Français
• • Nature du document : documentaire Genre : Article de périodique
  • Résumé :

    Les enjeux de l'apprentissage des théorèmes mathématiques à un ordinateur : le théorème de Fremat, étapes de l'apprentissage, la formalisation du théorème en langage informatique, intérêts de l'apprentissage de ce théorème par un ordinateur, perspectives. Encadré : les dates-clés de la formalisation mathématique.

• • Descripteurs : informatique
  • Mots-clés : apprentissage mathématique