Winst:
- Vermogen om kunstmatige intelligentie te gebruiken om het idee en de bewijsmethode te vinden (direct, tegenstrijdig, inductief, contrapositief) en zelf de geldigheid van elke logische stap te controleren
- Vermogen om lacunes in het bewijsmateriaal, impliciete aannames en ongerechtvaardigde sprongen achterop uitdrukkingen als 'duidelijk', 'zonder afbreuk te doen aan de algemeenheid' te identificeren
- Vermogen om onderscheid te maken tussen vloeiendheid en geldigheid door naar tegenvoorbeelden te zoeken voordat je op bewijs vertrouwt zonder zeker te zijn van de waarheid van een bewering.
Wiskundig bewijs is de precieze afleiding van een bewering in logische stappen uit geaccepteerde axioma's en eerder bewezen stellingen. Bewijs is het meest rigoureuze product van de wiskunde: een enkele ongeldige logische overgang, een weglating of impliciete aanname die we een ‘gat’ noemen, weerlegt het hele bewijs. Kunstmatige intelligentie is zeer bedreven in het produceren van overtuigend ogende tekst als bewijsmateriaal – en dat is precies waarom het gevaarlijk is. Een tekst die overtuigend lijkt, is geen geldig bewijs. In deze unit leert u hoe u AI kunt gebruiken als partner voor het opstellen van proefdrukken en hoe u elke logische stap kunt inspecteren.
Eerste twee definities. Een proefschets is een samenvatting die de hoofdgedachte en het skelet van een proef weergeeft, maar niet elk detail invult. Een bewijskloof is een sprong waarbij het bewijs zegt "hier volgt het", maar dit niet daadwerkelijk rechtvaardigt. Het grootste risico bij het werken met AI zijn de gaten die worden opgevuld door overtuigende zinnen: de tekst is vloeiend, vol met voegwoorden als ‘daarom’ en ‘duidelijk’, maar met sprongen ertussen die niet echt bewezen zijn.
Sterke en zwakke punten van AI in het bewijs
AI doet twee dingen goed in bewijs: (1) het standaardidee van bewijs van een bekende stelling oproepen, (2) suggereren welke methode (inductie, tegenspraak, direct, contrapositief) geschikt zou kunnen zijn voor een bewijs. De zwakte ervan is deze: ervoor zorgen dat elke stap van een origineel of subtiel bewijs daadwerkelijk geldig is. AI kan ‘misleidende bewijzen’ produceren die waar lijken, maar eigenlijk onwaar zijn. Het kan bijvoorbeeld het basisgeval overslaan in een inductiestap, of het kan zeggen ‘zonder de algemeenheid te doorbreken’, maar een aanname doen die feitelijk de algemeenheid doorbreekt.
Dus de gouden regel bij bewijs: gebruik AI om het idee van het bewijs te vinden en te schetsen; Controleer zelf de geldigheid van elke logische stap. Voordat u een bewijs 'accepteert', moet u ervoor zorgen dat elk 'daarom' ook daadwerkelijk geldig is.
Stap voor stap: een proefdruk controleren
1. Verduidelijk de bewering en aannames. Wat wordt bewezen? Onder welke aannames? Als deze vaag zijn, is het bewijs ook vaag.
2. Ken de bewijsmethode. Direct, door tegenspraak, inductief, contrapositief? Ken de structurele vereisten van de methode (bij inductie is bijvoorbeeld het basisscenario + inductiestap essentieel).
3. Vraag elk ‘daarom’ in twijfel. Bij elke logische overgang: "Volgt dit werkelijk uit de voorgaande stappen?" vragen. De meest verraderlijke hiaten verschuilen zich achter de uitdrukkingen "duidelijk", "het is gemakkelijk te zien", "zonder de algemeenheid te verliezen".
4. Zoek naar impliciete aannames. Is het bewijs gebaseerd op een onuitgesproken veronderstelling? Er kan bijvoorbeeld stilzwijgend worden aanvaard dat een getal positief is of dat een functie continu is.
5. Probeer een tegenvoorbeeld. Als de bewering onwaar is, wordt deze door een tegenvoorbeeld vernietigd. Voordat u het bewijs accepteert, moet u in eenvoudige speciale gevallen testen of de bewering daadwerkelijk waar is.
6. Raadpleeg een aanbestedende dienst. Vergelijk het standaardbewijs voor bekende stellingen met een betrouwbare bron (leerboek, peer-reviewed bron).
Hint: De zinsnede “zonder verlies van algemeenheid” in het bewijs is een tweesnijdend zwaard. Soms is het daadwerkelijk geldig (als er symmetrie is), soms is het een verborgen fout. AI gebruikt deze uitdrukking veel. Rechtvaardig jezelf elke keer dat "de algemeenheid niet echt gebroken is"; Geloof het woord van de AI niet.
Bewijsmethoden en valkuilen
bewijsmethode
Structuur
De meest voorkomende AI-valstrik
direct
Aanname → ... → Conclusie
tussendoor een stap overslaan
tegenspraak
Veronderstel het tegenovergestelde → vind tegenstrijdigheid
De tegenstrijdigheid is niet reëel
inductie
Basiskast + opstap
De basissituatie vergeten
contrapositief
¬Conclusie → ¬Aanname
valse ontkenning
Tegenvoorbeeld (weerlegging)
enkel tegenvoorbeeld
Tegenvoorbeeld is ongeldig
drie minikoffers
Geval 1 — Onvolledig basisscenario. Een leraar liet de AI de formule "1 + 2 + ... + n = n(n+1)/2" bewijzen door middel van inductie. De AI heeft de inductiestap correct geschreven, maar heeft nooit het basisscenario gecontroleerd (n=1). De leraar vraagt: "Waar is het basisscenario?" vroeg hij; AI toegevoegd. Zonder de grondtoestand is inductie ongeldig; Een controle van 30 seconden redde het bewijs.
Geval 2 — Geheime deling door nul. Eén student zag een belachelijk ‘bewijs’ zoals ‘a = b voor elke a, b’ en vroeg aan de AI ‘waar zit hier de fout?’ vroeg hij. YZ liet correct zien dat het bewijs in één stap wordt gedeeld door (a − b), en onder de aanname a = b is dit een deling door nul. Hier was de AI succesvol als auditor; maar de student verifieerde deze stap nog steeds met zijn eigen hand.
Casus 3 — Overtuigend vals bewijs. Een ingenieursstudent liet een AI een ongelijkheid bewijzen. De tekst was vloeiend en overtuigend, maar toen in één stap vierkantswortels werden getrokken, werd de mogelijkheid van zowel positieve als negatieve wortels genegeerd en werd alleen het positieve genomen. De student ontdekte deze leemte toen hij elke stap in twijfel trok. Het bewijs werd geldig toen een extra voorwaarde (positiviteit van de variabelen) werd toegevoegd.
Vier kopieerbare sjablonen
1) Proefdruk (idee) aanvragen:
Welke METHODE zou geschikt zijn om de volgende bewering te bewijzen (direct, tegenstrijdig, inductief, contrapositief)? Geef gewoon het HOOFDIDEE en het skelet van het bewijs, schrijf niet het volledige bewijs. Claim: [hier]
2) Stap voor stap, gemotiveerd bewijs:
Bewijs de volgende bewering met [methode]: [claim]. Schrijf voor elke stap op op welk axioma/stelling/definitie je vertrouwt. Gebruik GEEN uitdrukkingen zoals "duidelijk" of "gemakkelijk"; Motiveer elke transitie volledig. Indien inductie, toon het basisscenario en de inductiestap afzonderlijk.
3) Bewijsjacht op maas in de wet:
Bekijk het bewijs hieronder. Zoek gewoon naar logische hiaten, impliciete aannames en ongerechtvaardigde sprongen. Controleer of elke ‘dus’ ook daadwerkelijk voortvloeit uit de voorgaande stappen. Schrijf voor elk gat dat je tegenkomt op in welke stap het zich bevindt. Bewijs: [hier]
4) Zoek naar tegenvoorbeeld:
Ik wil testen of de volgende claim WAAR is: [claim].Test het eerst in eenvoudige speciale gevallen; probeer een TEGENVOORBEELD te vinden. Als je een tegenvoorbeeld vindt, laat het dan zien; Als je het niet kunt vinden, vermeld dan de situaties die je hebt geprobeerd (maar dit is geen bewijs, ik zoek alleen naar bewijs).
Zwakke prompt/sterke prompt
Zwak: "Bewijs dat √2 irrationeel is."
Resultaat: Het standaardbewijs komt, maar een stap (bijvoorbeeld "dan is p even") kan zonder rechtvaardiging zijn overgeslagen en dat merk je niet.
Strong: "Bewijs DOOR CONTRADICTIE dat √2 irrationeel is. Schrijf op welke aanname je bij elke stap hebt gebruikt; motiveer ook tussenbeweringen zoals 'Als p² even is, dan is p even'. Laat ten slotte duidelijk zien waar de tegenstrijdigheid precies ontstaat."
Resultaat: Elke tussenliggende claim is gerechtvaardigd, de bron van de tegenspraak is duidelijk, er blijven geen gaten over.
Veel voorkomende fouten
- Vloeiendheid verwarren met validiteit. Een overtuigende tekst is geen geldig bewijs; Elke stap moet onder toezicht staan.
- Het overslaan van de grondtoestand bij inductie. AI vergeet vaak het basisscenario; De inductiestap alleen is niet voldoende.
- Om “zonder de algemeenheid te verliezen” zonder vragen te aanvaarden. Deze verklaring kan een latente fout zijn; Rechtvaardig het elke keer.
- Ik zie geen impliciete aannames. Aannames zoals positiviteit, continuïteit, niet-nul, etc. kunnen stilletjes in het bewijs lekken.
- Vertrouwen op het bewijs zonder een tegenvoorbeeld te proberen. Als de bewering onwaar is, is het bewijs ook onwaar; Test eerst de waarheid van de bewering in eenvoudige gevallen.
Let op: AI kan zelfs ‘bewijs’ leveren voor een bewering die feitelijk onwaar is; omdat het tekst produceert, garandeert het geen logische geldigheid. Als u niet zeker bent van de juistheid van een bewering, zoek dan eerst naar een tegenvoorbeeld. Het ‘bewijs’ van een valse bewering bevat noodzakelijkerwijs een maas in de wet; Jouw taak is om die kloof te vinden.
Samengevat
Bewijs is het meest rigoureuze product van de wiskunde, en AI kan overtuigende maar ongeldige ‘bewijzen’ produceren. Gebruik AI om het bewijsidee en de methode te vinden; Controleer zelf de geldigheid van elke logische stap. Zoek naar belangrijke gevallen, impliciete aannames en mazen in de wet achter uitdrukkingen als ‘duidelijk’ en ‘zonder vooroordelen’. Als u niet zeker weet of een bewering waar is, probeer dan een tegenvoorbeeld voordat u op het bewijs vertrouwt. Vloeiendheid is geen geldigheid.
Applicatie taak
Kies een standaardstelling (bijvoorbeeld "de som van twee even getallen is even" of "√2 is irrationeel"). Laat de AI het stap voor stap bewijzen met het 2e template. Geef vervolgens opnieuw hetzelfde bewijs als het derde sjabloon voor de zoektocht naar gaten – laat hem zijn eigen bewijs controleren. Vervolgens kunt u elke "daarom" handmatig opvragen: is er een basisscenario, is er een impliciete aanname, is elke transitie gerechtvaardigd? Zoek en noteer ten minste één potentieel hiaat of verbeterpunt.
controlelijst
- [ ] Ik heb de bewering en aannames verduidelijkt.
- [ ] Ik leerde de proefmethode en de structurele vereisten ervan kennen.
- [ ] Ik heb geverifieerd dat elke "daarom" volgt uit de voorgaande stappen.
- [ ] Ik heb een basisscenario/impliciete aannamecontrole uitgevoerd.
- [ ] Ik testte de bewering in eenvoudige gevallen en zocht naar tegenvoorbeelden.
- [ ] Ik heb het standaardbewijs voor bekende stellingen vergeleken met de betrouwbare bron.