Bernard Parisse nous écrit :
Vous avez probablement entendu parler de l’annonce faite par Google d’une intelligence artificielle capable de résoudre des problèmes des olympiades internationales de maths (article du journal Le Monde du 17 janvier dernier par exemple
Cela m’a fortement intéressé, car Xcas permet aussi de faire des preuves en géométrie, pas de la même manière bien sûr. J’ai donc écrit un article de comparaison. Cela pourrait intéresser certains lecteurs. Je vous le propose donc pour MathémaTICE.
Voici cet article considérable, hébergé sur le site de Bernard Parisse (Université Grenoble Alpes), que nous relayons avec plaisir et intérêt.
Notons que les deux approches ont besoin pour aboutir, de coups de pouce humains préalables à leur entrée en scène.
Voyez la partie 5 Références qui permet d’accéder aux détails des démarches (cliquez sur la vignette).
