

















Le programme informatique a vérifié différents modèles pour voir lequel prédisait avec précision si l'étudiant réussirait le cours en fonction de ses notes de devoirs.

Un problème de mathématiques et sa solution forment un ensemble de phrases ; la bonne réponse fournit les modèles de ce problème, rendant les phrases mathématiques vraies.












