Gains :
- Capacité à utiliser l'intelligence artificielle dans la résolution de problèmes dans trois rôles différents de consultant en stratégie, producteur de solutions et auditeur de solutions, adaptés au niveau de risque de chacun.
- Capacité à vérifier systématiquement chaque étape d'une solution par numérotation, interrogation de règles, vérification arithmétique, sommes de contrôle et liste de tous les cas.
- Être capable de vérifier à la fois le résultat et la solution avec des méthodes indépendantes, en comprenant que le résultat correct ne signifie pas le chemin correct.
La solution à un problème mathématique est une chaîne d’étapes interconnectées ; Si un maillon de la chaîne est rompu, le résultat n’est pas valide. L'IA est très efficace pour construire cette chaîne rapidement, mais c'est aux humains de surveiller la force de la chaîne. Dans cette unité, vous apprendrez à utiliser l’IA comme partenaire de résolution de problèmes et, plus important encore, à contrôler systématiquement chaque étape réalisée. Le but est de profiter de la rapidité de l’IA sans rater aucune erreur.
Tout d’abord, une définition : la vérification étape par étape consiste à vérifier si chaque étape intermédiaire d’une solution est correcte une par une. En mathématiques, « Le résultat est-il correct ? La question ne suffit pas ; « Est-ce que chaque étape intermédiaire est correcte ? La question est essentielle. Parce que parfois de mauvaises étapes conduisent par hasard au bon résultat (une solution instable), parfois une simple erreur arithmétique dans une stratégie correcte gâche le résultat.
Trois rôles différents de l'IA dans la résolution de problèmes
Vous pouvez utiliser l’IA pour résoudre des problèmes de trois manières différentes, et chacune nécessite une validation différente :
- Consultant en stratégie : « Comment résoudre ce problème ? Ici, l’IA suggère une méthode. Le risque est faible car vous faites les calculs vous-même.
- Générateur de solutions : "Résoudre ce problème." Le risque est élevé car la stratégie et le calcul proviennent de l’IA ; Chaque étape doit être supervisée.
- Vérificateur de solution : "Vérifier ma solution." Il s'agit d'un risque moyen ; L'IA peut trouver des bugs, mais elle peut également inventer des bugs qui n'existent pas ou manquer le vrai bug.
L'approche la plus sûre est généralement de combiner 1 et 3 : obtenez la stratégie de l'IA, faites le calcul vous-même ou avec SymPy, puis faites vérifier et recouper l'IA.
Étape par étape : comment vérifier une solution
1. Numérotez chaque étape. Demander à l'IA la solution par étapes numérotées permet ensuite de dire : « Il y a une erreur à l'étape 3 ».
2. A chaque étape « quelle règle ? Monsieur. Demandez à l'IA d'écrire quelle règle algébrique, théorème ou identité est utilisée dans chaque passe. Si le nom de la règle est erroné, la démarche est également discutable.
3. Vérifiez l'arithmétique séparément. Même si la logique algébrique est correcte, les erreurs numériques sont courantes. Passez en revue chaque addition, multiplication et changement de signe.
4. Essayez les limites et les exceptions. Testez le résultat à des valeurs simples comme x=0, x=1. Si la formule n’a pas de sens à ces valeurs, il y a une erreur.
5. Revenez en arrière. Vérifiez le résultat de la dérivée en intégrant, en substituant la racine de l'équation, en multipliant la factorisation.
6. Recherchez la cohérence taille/unité. Si les unités ne s'additionnent pas dans les problèmes appliqués (par exemple, addition de mètres et de secondes), la formule est incorrecte.
Astuce : "Vérification par opération inverse" est l'outil de vérification le plus puissant en mathématiques et est quasiment gratuit. Si vous avez trouvé la racine d’une équation, remplacez-la ; Si vous avez pris une intégrale, prenez sa dérivée ; Si vous avez fait une factorisation, multipliez à nouveau. Ce contrôle de 30 secondes évite des heures de mauvaise direction.
La puissance du provisionnement vient de son indépendance vis-à-vis de l’IA. Lorsque vous remplacez une racine, vous effectuez une vérification déterministe qui est totalement indépendante de ce que fait l'IA dans le processus de résolution : soit l'équation est satisfaite, soit elle ne l'est pas, il n'y a pas d'intermédiaire. C'est pourquoi la vérification est bien plus précieuse que l'IA qui dit « bien sûr, c'est vrai » ; car l'IA peut répéter la même erreur lors de la validation de sa propre solution, mais la vérification indépendante est en dehors de cette boucle. Lorsque vous pouvez fournir un résultat critique de deux manières indépendantes différentes (par exemple, à la fois par substitution et par SymPy), votre confiance augmente de façon exponentielle.
Une classification des erreurs
Le tableau ci-dessous résume les types d’erreurs que vous voyez le plus souvent dans les solutions d’IA et la manière de les détecter.
Type d'erreur
exemple
chemin de capture
erreur de signe
Écriture −(a−b) = −a−b
Ouvrir et vérifier mon nom manuellement
erreur arithmétique
7×8 = 54
Confirmation avec calculatrice/SymPy
mauvaise règle
oublie la règle de la chaîne
"Quelle règle ?" demander
Erreur de champ/définition
obtenir le journal (négatif)
Vérification du domaine
Statut ignoré
Ignorer le discriminant < 0
Lister tous les statuts
Théorème inventé
nom du théorème inexistant
Confirmation de la source
trois mini-cases
Cas 1 — Bon résultat, mauvais chemin. Un étudiant a posé une question limite à l’IA. L'IA a trouvé que le résultat était 3 — ce qui était correct — mais dans l'étape intermédiaire, elle a utilisé la règle de L'Hôpital là où elle ne pouvait pas être appliquée (sans l'incertitude 0/0). L'élève demande « quelle règle s'applique et pourquoi ? » Lorsqu'on lui a demandé, l'IA a accepté l'erreur et a de nouveau atteint 3 de la bonne manière. Le résultat était le même, mais le chemin n’était pas solide ; Le voyage a également été noté à l’examen.
Cas 2 — Cas omis. Un ingénieur, |2x − 4| = 6 L'équation en valeur absolue a été résolue par YZ. YZ n'a résolu que 2x − 4 = 6 et a donné x = 5 ; Il a sauté l'état 2x − 4 = −6 (x = −1). L'ingénieur demande "combien y a-t-il d'états en valeur absolue ?" Quand j’ai demandé, la deuxième racine est apparue. L’exactitude des deux racines a été confirmée par substitution.
Cas 3 — La vérification croisée a révélé 3 erreurs. Un enseignant a demandé à l'IA de faire une preuve d'identité trigonométrique en 10 étapes. Ensuite, il a comparé la même preuve étape par étape avec la fonction simplifier de SymPy. Il a constaté que l’IA appliquait incorrectement l’identité dans 3 étapes sur 10. Durée totale du contrôle 12 minutes ; La confiance acquise n’a pas de prix.
Quatre modèles copiables
1) Solution numérotée et basée sur des règles :
Résolvez ce problème : [problème]. Écrivez la solution en étapes NUMÉROTÉES. À chaque étape, indiquez le nom de la règle/du théorème que vous avez utilisé entre parenthèses. Ne sautez aucune étape en disant « évidemment » ; montrer chaque transition.
2) Ne forcez pas tous les états :
Résolvez ce problème : [problème]. Énumérez TOUS les cas POSSIBLES lors de la résolution (par exemple, valeur absolue, quadratique, contraintes de domaine). Ne sautez aucun cas ; Si vous l'avez ignoré, justifiez pourquoi vous l'avez ignoré.
3) Demande de prestation :
Vous avez trouvé : [résultat]. VÉRIFIEZ maintenant ce résultat par l'opération inverse : [différencier / remplacer / multiplier en arrière]. Affichez le résultat de la somme de contrôle et indiquez si elle est cohérente avec le problème d'origine.
4) Contrôle orienté erreur :
Recherchez JUSTE les erreurs dans la solution ci-dessous. Vérifiez chaque étape dans l'ordre ; lorsque vous trouvez la première erreur, notez quelle étape, quel type d'erreur (signe/arithmétique/règle) et quelle est la bonne. Création d'une nouvelle solution.Solution : [ici]
Invite faible/Invite forte
Faible : "Résoudre x² − 5x + 6 = 0."
Résultat : "x = 2 et x = 3" — peut être vrai, mais vous ne remarquerez pas si le cas impair est manqué ou si la factorisation est erronée.
Strong : "Résolvez l'équation x² − 5x + 6 = 0 par la factorisation et la formule discriminante ; montrez que les deux méthodes donnent les mêmes racines. Ensuite, fournissez chaque racine en la substituant dans l'équation."
Résultat : deux méthodes indépendantes se vérifient mutuellement, garantissant ainsi l'exactitude du résultat. S'il y a une erreur, les deux méthodes entreront en conflit et vous le verrez immédiatement.
Erreurs courantes
- Il suffit de regarder le résultat. Le bon résultat ne signifie pas un chemin solide. Vérifiez également la route.
- Ignorer le provisionnement. Une vérification de substitution/dérivation inverse de 30 secondes détecte la plupart des erreurs ; Ne le négligez pas.
- Ne pas énumérer les situations. Les omissions en valeur absolue, les contraintes quadratiques, racine et de domaine sont les erreurs les plus courantes.
- Faire confiance à l'IA pour dire "pas de bugs". L’IA dans le rôle d’auditeur peut rater la véritable erreur ; L’œil humain est essentiel dans un travail critique.
- Se contenter d'une seule méthode. Si possible, résolvez et comparez en utilisant deux méthodes indépendantes.
Attention : Lorsque l'IA vérifie votre solution, elle peut parfois inventer un "bug" inexistant et vous dissuader de votre bonne solution. Ainsi, lorsque l’IA affiche une erreur, vous vérifiez également si cette erreur est réellement une erreur. L'auditeur peut également se tromper.
En résumé
Dans la résolution de problèmes, l’IA joue trois rôles : conseiller stratégique, générateur de solutions, auditeur de solutions. L’approche la plus sûre consiste à prendre la stratégie de l’IA, à effectuer les calculs avec des outils indépendants et à auditer systématiquement chaque étape. Étapes numérotées, "quelle règle ?" la question, la somme de contrôle (opération inverse), les cas limites et la liste de tous les cas sont les outils de base pour détecter les erreurs. Le bon résultat ne signifie pas un chemin solide ; Vérifiez à la fois le résultat et le chemin.
Tâche de candidature
Choisissez une équation quadratique ou une équation en valeur absolue. Résolvez YZ avec les modèles 1 et 2. Ensuite : (a) vérifiez que tous les cas ont été couverts, (b) assurez chaque racine en la remplaçant, (c) résolvez et comparez à nouveau par une deuxième méthode, si possible. Si vous trouvez une erreur, notez de quel type il s'agit (signe/arithmétique/règle/condition ignorée).
liste de contrôle
- [ ] J'ai pris la solution en étapes numérotées.
- [ ] J'ai confirmé la règle utilisée à chaque étape.
- [ ] J'ai vérifié que toutes les éventualités ont été traitées.
- [ ] J'ai vérifié le résultat par opération inverse (vérification).
- [ ] Si possible, je l'ai comparé avec une deuxième méthode.
- [ ] J'ai également vérifié de manière indépendante les "erreurs" affichées par l'IA.