Gains :
- Capacité à utiliser l'intelligence artificielle pour trouver l'idée et la méthode de preuve (directe, contradictoire, inductive, contrapositive) et auto-vérifier la validité de chaque étape logique
- Capacité à identifier les lacunes en matière de preuves, les hypothèses implicites et les sauts injustifiés derrière des expressions telles que « clairement », « sans préjudice de la généralité »
- Capacité à faire la distinction entre maîtrise et validité en recherchant des contre-exemples avant de s'appuyer sur des preuves sans être sûr de la véracité d'une affirmation.
La preuve mathématique est la dérivation précise d'une affirmation par étapes logiques à partir d'axiomes acceptés et de théorèmes précédemment prouvés. La preuve est le produit le plus rigoureux des mathématiques : une seule transition logique invalide, une omission ou une hypothèse implicite que nous appelons un « écart », réfute la preuve entière. L’intelligence artificielle est très douée pour produire des textes convaincants à titre de preuve – et c’est exactement pourquoi elle est dangereuse. Un texte qui semble convaincant n’est pas une preuve valable. Dans cette unité, vous apprendrez comment utiliser l'IA comme partenaire de rédaction d'épreuves et comment inspecter chaque étape logique.
Deux premières définitions. Un croquis de preuve est un résumé qui donne l’idée principale et le squelette d’une preuve, mais ne fournit pas tous les détails. Une lacune de preuve est un saut dans lequel la preuve dit « ici, cela suit » mais ne la justifie pas réellement. Le plus grand risque lorsqu’on travaille avec l’IA réside dans les lacunes couvertes par des phrases convaincantes : le texte est fluide, plein de conjonctions comme « donc » et « évidemment », mais avec des sauts entre les deux qui ne sont pas réellement prouvés.
Forces et faiblesses de l’IA en preuve
L'IA fait bien deux choses dans la preuve : (1) évoquer l'idée standard de preuve d'un théorème connu, (2) suggérer quelle méthode (induction, contradiction, directe, contrapositive) pourrait être appropriée pour une preuve. Sa faiblesse est la suivante : garantir que chaque étape d’une preuve originale ou subtile est réellement valide. L’IA peut produire des « preuves fallacieuses » qui semblent vraies mais qui sont en réalité fausses – par exemple, elle peut sauter le cas de base lors d’une étape d’induction, ou elle peut dire « sans rompre avec la généralité » mais faire une hypothèse qui rompt réellement la généralité.
Donc la règle d'or en matière de preuve : utiliser l'IA pour trouver et décrire l'idée de la preuve ; Vérifiez vous-même la validité de chaque étape logique. Avant d'« accepter » une preuve, assurez-vous que chaque « donc » est réellement valide.
Pas à pas : vérifier un BAT
1. Clarifiez l’affirmation et les hypothèses. Qu’est-ce qui est prouvé ? Sous quelles hypothèses ? Si celles-ci sont vagues, la preuve est également vague.
2. Connaître la méthode de preuve. Directement, par contradiction, inductivement, contrapositivement ? Connaître les exigences structurelles de la méthode (par exemple, en induction, le cas de base + l'étape d'induction sont essentiels).
3. Remettez en question chaque « donc ». A chaque transition logique, « est-ce que cela découle vraiment des étapes précédentes ? demander. Les lacunes les plus insidieuses se cachent derrière les expressions « évidemment », « cela se voit facilement », « sans perdre en généralité ».
4. Recherchez des hypothèses implicites. La preuve repose-t-elle sur une hypothèse tacite ? Par exemple, on peut accepter silencieusement qu’un nombre est positif ou qu’une fonction est continue.
5. Essayez un contre-exemple. Si l’affirmation est fausse, un contre-exemple la démolit. Avant d'accepter la preuve, vérifiez que l'affirmation est réellement vraie dans des cas particuliers simples.
6. Consultez une autorité chargée des achats. Comparez la preuve standard des théorèmes connus avec une source fiable (manuel, source évaluée par des pairs).
Indice : l'expression « sans perte de généralité » dans la preuve est une arme à double tranchant. Parfois, c'est réellement valide (s'il y a symétrie), parfois c'est une erreur cachée. L’IA utilise beaucoup cette expression. Justifiez-vous à chaque fois que « la généralité n'est pas vraiment brisée » ; Ne croyez pas l’IA sur parole.
Méthodes de preuve et pièges
méthode de preuve
Structure
Le piège de l'IA le plus courant
direct
Hypothèse → ... → Conclusion
sauter une étape entre les deux
contradiction
Supposer le contraire → trouver une contradiction
La contradiction n'est pas réelle
induction
Cas de base + étape
Oublier la situation de base
contrapositif
¬Conclusion → ¬Hypothèse
fausse négation
Contre-exemple (réfutation)
contre-exemple unique
Le contre-exemple n'est pas valide
trois mini-cases
Cas 1 — Scénario de base incomplet. Un enseignant a demandé à l'IA de prouver la formule "1 + 2 + ... + n = n(n+1)/2" par induction. L'IA a écrit correctement l'étape d'induction mais n'a jamais vérifié le cas de base (n=1). L'enseignant demande « où est le cas de base ? il a demandé; IA ajoutée. Sans l’état fondamental, l’induction est invalide ; Une vérification de 30 secondes a sauvé la preuve.
Cas 2 — Division secrète par zéro. Un étudiant a vu une « preuve » ridicule comme « a = b pour chaque a, b » et a demandé à l’IA « où est l’erreur ici ? il a demandé. YZ a montré correctement que la preuve divise par (a − b) en une seule étape, et sous l'hypothèse a = b, il s'agit d'une division par zéro. Ici, l'IA a réussi en tant qu'auditeur ; mais l'étudiant a quand même vérifié cette étape de sa propre main.
Cas 3 — Fausse preuve convaincante. Un étudiant en ingénierie a demandé à une IA de prouver une inégalité. Le texte était fluide et convaincant, mais en prenant les racines carrées en une seule étape, il ignorait la possibilité de racines à la fois positives et négatives et ne prenait que les positives. L'étudiant a découvert cette lacune lorsqu'il a remis en question chaque étape. La preuve est devenue valide lorsqu'une condition supplémentaire (positivité des variables) a été ajoutée.
Quatre modèles copiables
1) Demander un brouillon (idée) :
Quelle MÉTHODE serait appropriée pour prouver l’affirmation suivante (directe, contradictoire, inductive, contrapositive) ? Donnez simplement l'IDÉE PRINCIPALE et le squelette de la preuve, n'écrivez pas la preuve complète. Réclamation : [ici]
2) Étape par étape, preuve argumentée :
Prouvez l'affirmation suivante avec [méthode] : [réclamation]. Notez sur quel axiome/théorème/définition vous vous appuyez pour chaque étape. N'utilisez PAS d'expressions telles que « clairement » ou « facilement » ; Justifiez pleinement chaque transition. En cas d'induction, montrez le cas de base et l'étape d'induction séparément.
3) Chasse aux failles de preuve :
Découvrez la preuve ci-dessous. Recherchez JUSTE les lacunes logiques, les hypothèses implicites et les sauts injustifiés. Vérifiez si chaque « donc » découle réellement des étapes précédentes. Notez chaque lacune que vous trouvez et à quelle étape elle se trouve. Preuve : [ici]
4) Recherchez un contre-exemple :
Je souhaite tester si l'affirmation suivante est VRAIE : [claim]. Testez-la d'abord dans des cas particuliers simples ; essayez de trouver un CONTRE-EXEMPLE. Si vous trouvez un contre-exemple, montrez-le ; Si vous ne le trouvez pas, énumérez les situations que vous avez essayées (mais ce n'est pas une preuve, c'est juste une recherche de preuve).
Invite faible/Invite forte
Faible : « Prouvez que √2 est irrationnel. »
Résultat : la preuve standard arrive, mais une étape (par exemple "alors p est pair") peut avoir été sautée sans justification et vous ne le remarquerez pas.
Strong : "Prouvez PAR CONTRADICTION que √2 est irrationnel. Notez quelle hypothèse vous avez utilisée à chaque étape ; justifiez également les affirmations intermédiaires telles que "Si p² est pair, alors p est pair". Enfin, montrez clairement où exactement la contradiction surgit.
Résultat : chaque affirmation intermédiaire est justifiée, la source de la contradiction est claire, il ne reste aucune lacune.
Erreurs courantes
- Confondre aisance et validité. Un texte convaincant n’est pas une preuve valable ; Chaque étape doit être supervisée.
- Sauter l'état fondamental lors de l'induction. L’IA oublie souvent le scénario de base ; L’étape d’induction à elle seule ne suffit pas.
- Accepter « sans perdre en généralité » sans poser de questions. Cette déclaration peut être une erreur latente ; Justifiez-le à chaque fois.
- Ne pas voir les hypothèses implicites. Des hypothèses telles que la positivité, la continuité, non nulle, etc. peuvent s'infiltrer silencieusement dans la preuve.
- Faire confiance à la preuve sans essayer un contre-exemple. Si l’affirmation est fausse, la preuve est également fausse ; Testez d’abord la véracité de l’affirmation dans des cas simples.
Attention : l’IA peut produire une « preuve » même pour une affirmation qui est en réalité fausse – parce qu’elle produit du texte, elle ne garantit pas la validité logique. Si vous n’êtes pas sûr de l’exactitude d’une affirmation, cherchez d’abord un contre-exemple. La « preuve » d’une fausse affirmation contient nécessairement une faille ; Votre travail consiste à trouver cet écart.
En résumé
La preuve est le produit mathématique le plus rigoureux, et l’IA peut produire des « preuves » convaincantes mais invalides. Utilisez l'IA pour trouver l'idée et la méthode de preuve ; Vérifiez vous-même la validité de chaque étape logique. Recherchez les cas clés, les hypothèses implicites et les failles derrière des expressions telles que « clairement » et « sans préjudice ». Si vous n'êtes pas sûr de la véracité d'une affirmation, essayez un contre-exemple avant de vous fier à la preuve. La maîtrise n'est pas la validité.
Tâche de candidature
Choisissez un théorème standard (par exemple « la somme de deux nombres pairs est paire » ou « √2 est irrationnel »). Demandez à l'IA de le prouver étape par étape avec le 2ème modèle. Donnez ensuite à nouveau la même preuve que le 3ème modèle pour la chasse aux écarts - laissez-le vérifier sa propre preuve. Ensuite, interrogez manuellement chaque « donc » : existe-t-il un cas de base, existe-t-il une hypothèse implicite, chaque transition est-elle justifiée ? Recherchez et notez au moins une lacune potentielle ou un point d’amélioration.
liste de contrôle
- [ ] J'ai clarifié l'affirmation et les hypothèses.
- [ ] J'ai appris à connaître la méthode de preuve et ses exigences structurelles.
- [ ] J'ai vérifié que chaque "donc" découle des étapes précédentes.
- [ ] J'ai fait une vérification de cas de base/d'hypothèse implicite.
- [ ] J'ai testé cette affirmation dans des cas simples et j'ai cherché des contre-exemples.
- [ ] J'ai comparé la preuve standard des théorèmes connus avec la source fiable.