Câștiguri:
- Capacitatea de a folosi inteligența artificială pentru a găsi ideea și metoda de probă (directă, contradictorie, inductivă, contrapozitivă) și pentru a autoverifica validitatea fiecărui pas logic
- Abilitatea de a identifica lacune probatorii, ipoteze implicite și salturi nejustificate în spatele expresiilor precum „clar”, „fără a aduce atingere generalității”
- Abilitatea de a distinge între fluență și validitate căutând contraexemple înainte de a se baza pe dovezi, fără a fi sigur de adevărul unei afirmații.
Dovada matematică este derivarea precisă a unei afirmații în pași logici din axiome acceptate și teoreme demonstrate anterior. Dovada este cel mai riguros produs al matematicii: o singură tranziție logică invalidă, o omisiune sau presupunere implicită pe care o numim „decalaj”, infirmă întreaga demonstrație. Inteligența artificială este foarte pricepută să producă text cu aspect convingător pentru dovadă - și tocmai de aceea este periculoasă. Un text care pare convingător nu este o dovadă valabilă. În această unitate veți învăța cum să utilizați AI ca partener de redactare a probelor și cum să inspectați fiecare pas logic.
Primele două definiții. O schiță de probă este un rezumat care oferă ideea principală și scheletul unei dovezi, dar nu completează fiecare detaliu. Un decalaj de dovezi este un salt în care proba spune „aici urmează”, dar nu o justifică de fapt. Cel mai mare risc atunci când lucrați cu AI îl reprezintă golurile acoperite de propoziții persuasive: textul este fluid, plin de conjuncții precum „prin urmare” și „evident”, dar cu salturi între ele care nu sunt de fapt dovedite.
Punctele forte și punctele slabe ale AI în dovadă
AI face bine două lucruri în demonstrație: (1) evocă ideea standard de demonstrație a unei teoreme cunoscute, (2) sugerează ce metodă (inducție, contradicție, directă, contrapozitivă) ar putea fi potrivită pentru o demonstrație. Punctul său slab este următorul: asigurarea faptului că fiecare pas al unei dovezi originale sau subtile este de fapt valabil. AI poate produce „dovezi false” care par adevărate, dar sunt de fapt false – de exemplu, poate sări peste cazul de bază într-un pas de inducție sau poate spune „fără a încălca generalitatea”, dar face o presupunere care încalcă de fapt generalitatea.
Deci regula de aur în dovezi: folosește AI pentru a găsi și a contura ideea dovezii; Verificați singur validitatea fiecărui pas logic. Înainte de a „accepta” o dovadă, asigurați-vă că fiecare „prin urmare” este de fapt valabil.
Pas cu pas: verificarea unei dovezi
1. Clarificați afirmația și ipotezele. Ce se dovedește? Sub ce presupuneri? Dacă acestea sunt vagi, dovada este și vagă.
2. Cunoașteți metoda demonstrației. Direct, prin contradicție, inductiv, contrapozitiv? Cunoașteți cerințele structurale ale metodei (de exemplu, în inducție, caz de bază + etapa de inducție este esențială).
3. Întrebați fiecare „prin urmare”. La fiecare tranziție logică, „devine acest lucru cu adevărat din pașii anteriori?” intreaba. Cele mai insidioase lacune se ascund în spatele expresiilor „evident”, „se vede ușor”, „fără a pierde generalitatea”.
4. Căutați presupuneri implicite. Dovada se bazează pe o presupunere nespusă? De exemplu, se poate accepta în tăcere că un număr este pozitiv sau o funcție este continuă.
5. Încercați un contraexemplu. Dacă afirmația este falsă, un contraexemplu o demolează. Înainte de a accepta dovada, verificați dacă afirmația este de fapt adevărată în cazuri speciale simple.
6. Consultați o autoritate de achiziții. Comparați demonstrația standard pentru teoreme cunoscute cu o sursă de încredere (manual, sursă evaluată de colegi).
Sugestie: Expresia „fără pierderea generalității” din dovadă este o sabie cu două tăișuri. Uneori este de fapt valabil (dacă există simetrie), alteori este o eroare ascunsă. AI folosește foarte mult această expresie. Justifică-te de fiecare dată că „generalitatea nu este cu adevărat spartă”; Nu crede AI-ul pe cuvânt.
Metode de demonstrare și capcane
metoda probei
Structura
Cea mai comună capcană AI
directă
Presupune → ... → Concluzie
sarind peste un pas intre ele
contradictie
Să presupunem contrariul → găsiți contradicția
Contradicția nu este reală
inducție
Caz de bază + pas
Uitând situația de bază
contrapozitiv
¬Concluzie → ¬Prezure
falsă negație
Contraexemplu (refutare)
un singur contraexemplu
Contraexemplul este invalid
trei mini cutii
Cazul 1 — Caz de bază incomplet. Un profesor a avut AI să demonstreze formula „1 + 2 + ... + n = n(n+1)/2” prin inducție. AI a scris corect pasul de inducție, dar nu a verificat niciodată cazul de bază (n=1). Profesorul întreabă „unde este cazul de bază?” a întrebat el; AI adăugat. Fără starea fundamentală, inducția este invalidă; O verificare de 30 de secunde a salvat dovada.
Cazul 2 – Împărțirea secretă la zero. Un student a văzut o „dovadă” ridicolă precum „a = b pentru fiecare a, b” și a întrebat AI „unde este greșeala aici?” întrebă el. YZ a arătat corect că demonstrația se împarte la (a - b) într-o singură etapă, iar în ipoteza a = b, aceasta este împărțirea la zero. Aici AI a avut succes ca auditor; dar studentul a verificat în continuare acest pas cu propria sa mână.
Cazul 3 – Dovezi false convingătoare. Un student la inginerie a avut un AI care dovedește o inegalitate. Textul a fost fluent și convingător, dar atunci când a luat rădăcini pătrate într-un singur pas, a ignorat posibilitatea atât a rădăcinilor pozitive, cât și a celor negative și a luat doar rădăcinile pozitive. Studentul a găsit acest decalaj atunci când a pus la îndoială fiecare pas. Dovada a devenit valabilă atunci când a fost adăugată o condiție suplimentară (pozitivitatea variabilelor).
Patru șabloane copiabile
1) Solicitarea unui proiect de probă (idee):
Care METODĂ ar fi potrivită pentru a demonstra următoarea afirmație (directă, contradictorie, inductivă, contrapozitivă)? Doar dă IDEA PRINCIPALĂ și scheletul dovezii, nu scrie dovada completă. Revendicare: [aici]
2) Pas cu pas, dovada motivată:
Demonstrați următoarea afirmație cu [metoda]: [revendicare]. Scrieți pe ce axiomă/teoremă/definiție vă bazați pentru fiecare pas. NU folosiți expresii precum „clar” sau „cu ușurință”; Justificați pe deplin fiecare tranziție. Dacă este inducție, afișați separat cazul de bază și etapa de inducție.
3) Vânătoare de lacune pentru dovada:
Verificați dovada de mai jos. Căutați DOAR lacune logice, presupuneri implicite și salturi nejustificate. Verificați dacă fiecare „prin urmare” decurge de fapt din pașii anteriori. Notați fiecare decalaj pe care îl găsiți cu ce pas se află. Dovada: [aici]
4) Căutați contraexemplu:
Vreau să testez dacă următoarea afirmație este ADEVĂRATĂ: [revendicare]. Testați-o mai întâi în cazuri speciale simple; încercați să găsiți un CONTRAEXEMPLUL. Dacă găsești un contraexemplu, arată-l; Dacă nu îl găsiți, enumerați situațiile pe care le-ați încercat (dar aceasta nu este o dovadă, doar căutați dovezi).
Prompt slab / Prompt puternic
Slab: „Demonstrați că √2 este irațional”.
Rezultat: vine dovada standard, dar este posibil ca un pas (de exemplu, „atunci p este par”) să fi fost sărit fără justificare și nu veți observa.
Puternic: „Demonstrați PRIN CONTRADICȚIE că √2 este irațional. Scrieți ce ipoteză ați folosit la fiecare pas; de asemenea, justificați afirmațiile intermediare precum „Dacă p² este par, atunci p este par”. În cele din urmă, arată clar unde apare exact contradicția.”
Rezultat: Fiecare revendicare intermediară este justificată, sursa contradicției este clară, nu rămân lacune.
Greșeli comune
- Confundând fluența cu validitatea. Un text persuasiv nu este o dovadă validă; Fiecare pas trebuie supravegheat.
- Omiterea stării fundamentale în inducție. AI uită adesea cazul de bază; Numai etapa de inducție nu este suficientă.
- A accepta „fără a pierde generalitatea” fără îndoială. Această afirmație poate fi o eroare latentă; Justificați-l de fiecare dată.
- Nu văd ipoteze implicite. Ipoteze precum pozitivitatea, continuitatea, non-zero etc. se pot scurge în tăcere în dovadă.
- A avea încredere în dovadă fără a încerca un contraexemplu. Dacă cererea este falsă, este și dovada falsă; Testați mai întâi adevărul afirmației în cazuri simple.
Atenție: AI poate produce „dovadă” chiar și pentru o afirmație care este de fapt falsă - deoarece produce text, nu garantează validitatea logică. Dacă nu sunteți sigur de exactitatea unei afirmații, căutați mai întâi un contraexemplu. „Dovada” unei afirmații false conține în mod necesar o lacună; Treaba ta este să găsești acel gol.
În concluzie
Dovada este cel mai riguros produs al matematicii, iar AI poate produce „dovezi” convingătoare, dar invalide. Folosiți AI pentru a găsi ideea și metoda dovezii; Verificați singur validitatea fiecărui pas logic. Căutați cazuri cheie, presupuneri implicite și lacune din spatele expresiilor precum „în mod clar” și „fără prejudecăți”. Dacă nu sunteți sigur de adevărul unei afirmații, încercați un contraexemplu înainte de a avea încredere în dovadă. Fluența nu este valabilitate.
Sarcina de aplicare
Alegeți o teoremă standard (de exemplu, „suma a două numere pare este pară” sau „√2 este irațională”). Puneți-le AI să demonstreze pas cu pas cu al doilea șablon. Apoi, dă din nou aceeași dovadă ca al treilea șablon pentru vânătoarea de goluri - lasă-l să-și verifice propria dovadă. Apoi interogați manual fiecare „prin urmare”: există un caz de bază, există o presupunere implicită, este justificată fiecare tranziție? Găsiți și notați cel puțin un potențial decalaj sau punct de îmbunătățire.
lista de verificare
- [ ] Am clarificat afirmația și ipotezele.
- [ ] Am cunoscut metoda de demonstrare și cerințele sale structurale.
- [ ] Am verificat că fiecare „prin urmare” decurge din pașii anteriori.
- [ ] Am făcut o verificare a cazului de bază / a ipotezelor implicite.
- [ ] Am testat afirmația în cazuri simple și am căutat contraexemple.
- [ ] Am comparat demonstrația standard pentru teoreme cunoscute cu sursa de încredere.