Infaïbilité de Géogébra ?

Bonsoir,
Réf. : https://les-mathematiques.net/vanilla/index.php?p=/discussion/2198684/faire-mentir-geogebra
Je découvre ce sujet.
J'avoue que je suis assez étonné. Un logiciel aussi puissant soit-il, même Coq, n'est pas capable de "résoudre" des problèmes mathématiques, il est juste capable de faire rapidement des calculs qu'on lui a appris à faire.
Je dois avouer que les différents échanges m'étonnent un peu. En aucun cas il ne s'agit de bug mais de limitation fondamentale de tout système informatique.
J'ai l'impression qu'avec l'arrivée imminente de l'IA on va de plus en plus être confronté à ce type de problème si on ne domine pas la question.

Bonjour Dlzlogic,

tu parles du logiciel Coq : tu connais le type de "calculs" traités par ce logiciel ?

Bonjour Chris,
"Connaitre" est un bien grand mot, mais j'ai lu suffisamment pour savoir ce dont il s'agit.
Et toi, tu connais le type de traitement qu'il exécute ?

Moi je ne connais pas vraiment Coq, même si j'ai vu des gens l'utiliser et m'expliquer un peu son intérêt.

Tu as lu suffisamment pour savoir ce dont il s'agit. Et tu as conclu qu'il ne peut pas résoudre des problèmes de maths...

Oh, mais j'ai rien conclu du tout.

ben si ! dans ton premier message :

Un logiciel aussi puissant soit-il, même Coq, n'est pas capable de "résoudre" des problèmes mathématiques,

Oui, Coq ne fait que ce qu'on lui a appris à faire.
Tout le sens est celui que tu donnes à "résoudre". Coq travaille sur la logique comme les logiciels de calcul travaillent sur les chiffres. Coq ne va rien inventer, il ne fa faire que répéter des actions qu'on lui a appris à faire.

Dlzlogic a écrit:Oui, Coq ne fait que ce qu'on lui a appris à faire.

Je ne m'en doutais pas.

Tout le sens est celui que tu donnes à "résoudre". Coq travaille sur la logique comme les logiciels de calcul travaillent sur les chiffres. Coq ne va rien inventer, il ne fa faire que répéter des actions qu'on lui a appris à faire.

donc pour toi, résoudre un problème implique une invention.  
Ainsi la plupart des gens de résolvent rien dans leur vie, ils ne font que répéter ce qu'ils ont appris, car peu sont des inventeurs.
C'est une vision assez dérangeante à mes yeux.

Pour moi, résoudre, c'est exhiber une/la/les solutions .
Et on n'a pas besoin d'inventer pour cela. On utilise des techniques plus ou moins standards, une cheminement,  de résolution.
En revanche, exhiber pour une première fois un cheminement, peut être considéré comme une invention. Et l'ordi peut le faire de nos jours !