Verifica e revisione di dimostrazioni con ChatGPT

L’impiego di strumenti di intelligenza artificiale generativa (come ChatGPT) può assumere un valore didattico significativo quando è orientato a competenze propriamente matematiche: controllo della correttezza logica, esplicitazione delle ipotesi, precisione del linguaggio, capacità di revisione. In questa prospettiva, l’IA non viene utilizzata per “produrre soluzioni”, ma come generatore di testi argomentativi da sottoporre a valutazione critica.

L’attività proposta consiste nell’analizzare e revisionare una dimostrazione prodotta da ChatGPT, individuandone eventuali ambiguità, omissioni o errori e riscrivendola in forma rigorosa. L’impostazione è coerente con un approccio per competenze: lo studente non è valutato solo sul risultato, ma sul processo di validazione e sulla qualità dell’argomentazione.

Finalità formative

L’attività mira a consolidare alcune abilità centrali nella competenza matematica, spesso difficili da esercitare con esercizi standardizzati. In particolare, favorisce:

• la distinzione tra un’affermazione vera e una dimostrazione valida;

• l’identificazione di passaggi non giustificati, ipotesi implicite, casi mancanti e uso improprio di proprietà;

• la capacità di riformulare un testo matematico in forma corretta, sintetica e comunicabile;

• l’uso consapevole di uno strumento digitale come supporto alla revisione, non come sostituzione del lavoro cognitivo.

Destinatari, prerequisiti e tempi

L’attività è adatta soprattutto al triennio della scuola secondaria di secondo grado, ma può essere adattata al biennio scegliendo enunciati elementari (divisibilità, disuguaglianze semplici, proprietà delle potenze). È utile che gli studenti abbiano già incontrato almeno una forma di dimostrazione (diretta, per casi, per assurdo o induzione). La durata consigliata è una lezione (50–60 minuti), con eventuale completamento a casa mediante consegna scritta.

Scelta dell’enunciato

La selezione del contenuto incide in modo decisivo sulla qualità dell’attività. È preferibile scegliere enunciati che consentano una dimostrazione breve ma non banale, in cui sia naturale esplicitare ipotesi e passaggi. Alcuni esempi tipicamente efficaci sono:

• $1+3+\cdots +(2n-1)=n^2$

   (dimostrazione per induzione o con argomento strutturale);

• “Se un numero è divisibile per 6 allora è divisibile per 2 e per 3” (con discussione del viceversa);

• “Se a > b > 0  allora

  $\frac{1}{a}<\frac{1}{b}$” (attenzione alle condizioni);

• proprietà delle potenze e dei logaritmi, con indicazione esplicita del dominio.

È consigliabile mantenere l’enunciato unico per tutta la classe, almeno nella prima implementazione, per facilitare la discussione comune.

Produzione del testo da analizzare (ruolo dell’IA)

Il docente può generare in anticipo la dimostrazione con ChatGPT e distribuirla agli studenti, oppure farla generare in classe (in plenaria o a gruppi), in modo controllato. La prima opzione è preferibile se si vuole evitare dispersione e mantenere l’attenzione sull’analisi.

Il prompt deve richiedere esplicitamente rigore, definizioni e uso chiaro delle ipotesi. Ad esempio:

“Dimostra in modo rigoroso l’affermazione: [enunciato]. Esplicita le ipotesi, giustifica ogni passaggio e indica quali proprietà stai utilizzando. Evita salti logici.”

Può essere utile ottenere anche una versione “sintetica”, perché la sintesi spesso fa emergere omissioni o impliciti:

“Riscrivi la dimostrazione in forma più breve mantenendo il rigore.”

Il testo prodotto non viene assunto come “corretto per definizione”: è un oggetto da verificare.

Fase centrale: analisi e validazione della dimostrazione

Agli studenti viene richiesto di svolgere una revisione strutturata, assumendo il compito di “validare” il testo. È importante che la consegna sia formulata in termini di controllo e non di semplice comprensione: l’obiettivo è stabilire se la dimostrazione sia completa e corretta.

In pratica, gli studenti devono:

1. individuare e segnalare i passaggi pienamente giustificati;

2. evidenziare punti ambigui o passaggi non motivati (ad esempio: “è evidente che…”, “si ha subito…”, cambi di dominio non dichiarati, equivalenze non lecite);

3. annotare ciò che manca (ipotesi, definizioni, casi particolari, condizioni sul dominio, passaggi algebrici, teoremi richiamati senza enunciazione).

ChatGPT può essere consultato dagli studenti solo per chiarimenti mirati e verificabili, con domande del tipo: “Quale proprietà giustifica questo passaggio?” oppure “Serve una condizione aggiuntiva perché questo sia valido?”. L’uso deve rimanere subordinato al giudizio critico: le risposte dell’IA sono ipotesi da valutare, non soluzioni da accettare.

Riscrittura: dalla revisione alla versione corretta

Ogni gruppo (o singolo studente) produce una versione finale della dimostrazione che soddisfi criteri minimi di rigore: ipotesi dichiarate, passaggi essenziali giustificati, struttura logica riconoscibile. La riscrittura non è un esercizio di “bella copia”, ma un compito di ristrutturazione argomentativa: si deve intervenire sui punti critici, non solo sulla forma.

Una consegna efficace prevede anche una breve nota conclusiva in cui lo studente dichiara quali problemi ha riscontrato nel testo iniziale e come li ha risolti. Questa sezione rende valutabile la competenza di controllo.

Documentazione e valutazione

La consegna finale può essere composta da tre parti: testo iniziale, revisione annotata, dimostrazione riscritta. In termini valutativi, è opportuno separare almeno quattro dimensioni: correttezza logica, completezza (assenza di casi mancanti e ipotesi implicite), precisione del linguaggio matematico, qualità della diagnosi (capacità di individuare criticità reali).

Se si intende integrare un elemento di educazione digitale, si può richiedere una dichiarazione sintetica sull’uso dell’IA: in quali passaggi è stata consultata e con quali domande, specificando quali risposte sono state accolte o scartate e perché. Questo aumenta trasparenza e responsabilità senza appesantire l’attività.

Indicazioni per un uso didatticamente corretto di ChatGPT

Per evitare che l’IA diventi uno strumento di delega del compito, è utile fissare alcune regole operative. In particolare: non si richiedono a ChatGPT “soluzioni finali da consegnare”; si usano domande localizzate su singoli passaggi; si confrontano le risposte con definizioni e proprietà note; non si inseriscono dati personali o informazioni sensibili nelle chat. Tali indicazioni possono essere richiamate in apertura e riprese in chiusura, come parte integrante dell’attività.

Esempio pronto per la classe (60 minuti)

Classe: terza/quarta (triennio)
Tema: dimostrazione per induzione, controllo di correttezza, revisione di un testo argomentativo
Obiettivo: validare una dimostrazione, individuare criticità, riscriverla in forma rigorosa

Enunciato

Per ogni $n\in \mathbb{N }$con $n\ge 0$,

$$1+2+4+\cdots +2^n=2^{n+1}-1$$

Scheda da consegnare agli studenti (testo “da verificare”)

Dimostrazione proposta (da controllare e, se necessario, correggere).
Procediamo per induzione su n.
Base: per n = 0, il primo membro vale 1. Il secondo membro vale

$2^{0+1}-1=2-1=1$Quindi la formula è vera per n = 0.
Passo induttivo: supponiamo vera la formula per un certo n, cioè

$$1+2+4+\cdots +2^n=2^{n+1}-1$$

Allora per n + 1 si ha

$$1+2+4+\cdots +2^n+2^{n+1}=(2^{n+1}-1)+2^{n+1}=2^{n+2}\mathrm{}$$

Poiché

$2^{n+2}=2^{(n+1)+1}-\mathrm{1<span\; style="font-family:\; Georgia,\; \text{'}Times\; New\; Roman\text{'},\; \text{'}Bitstream\; Charter\text{'},\; Times,\; serif;">,\; la\; formula\; è\; vera\; anche\; per </span>}$$n+\mathrm{1<span\; style="font-family:\; Georgia,\; \text{'}Times\; New\; Roman\text{'},\; \text{'}Bitstream\; Charter\text{'},\; Times,\; serif;">.</span>}$Per induzione la formula è vera per ogni n ≥ 0.

Consegna (cosa devono fare gli studenti)

1. Validazione logica: individuare con precisione dove (e perché) la dimostrazione non è corretta o non è giustificata.

2. Correzione: riscrivere il passaggio critico in modo corretto, mantenendo la struttura per induzione.

3. Versione finale: produrre una dimostrazione completa e rigorosa, con notazione coerente.

È importante che nella consegna sia esplicito che non basta dire “manca qualcosa”: bisogna indicare il punto, spiegare l’errore e sostituirlo con un passaggio corretto.

Come usare ChatGPT durante l’attività (in modo controllato)

Dopo che i gruppi hanno già provato a individuare il problema, possono interrogare ChatGPT solo su passaggi specifici. Ad esempio:

• “Nel passaggio

  $(2^{n+1}-1)+2^{n+1}=2^{n+2}$ manca qualcosa? Mostra il calcolo riga per riga.”

• “La frase ‘Poiché

  $2^{n+2}=2^{(n+1)+1}-1$’ è vera? Se no, correggila.”

Richiedi che nella consegna compaia anche una breve nota: quale domanda hanno fatto a ChatGPT e se hanno accettato o rifiutato la risposta (con motivazione).

Soluzione per il docente (correzione e dimostrazione rigorosa)

Il problema è in due punti:

1. Il calcolo

$$(2^{n+1}-1)+2^{n+1}=2^{n+2}$$

è incompleto, perché in realtà

$$(2^{n+1}-1)+2^{n+1}=2^{n+1}+2^{n+1}-1=2\cdot 2^{n+1}-1=2^{n+2}-1$$

2. La frase

$$2^{n+2}=2^{(n+1)+1}-1$$

è falsa (manca “-1” a sinistra).

Dimostrazione corretta (versione essenziale ma rigorosa):

Procediamo per induzione su $n\ge 0$.

Base $n=0$.
Il primo membro vale $1$. Il secondo vale $2^1-1=1$. Quindi l’uguaglianza è vera per $n=\; <span\; style="font-family:\; Georgia,\; \text{'}Times\; New\; Roman\text{'},\; \text{'}Bitstream\; Charter\text{'},\; Times,\; serif;">0</span><span\; style="font-family:\; Georgia,\; \text{'}Times\; New\; Roman\text{'},\; \text{'}Bitstream\; Charter\text{'},\; Times,\; serif;">.</span>$

Passo induttivo.
Supponiamo che per un certo $n\ge \mathrm{0 }$valga

$$1+2+4+\cdots +2^n=2^{n+1}-1$$

Allora, aggiungendo $2^{n+\mathrm{1 }}$a entrambi i membri,

$$1+2+4+\cdots +2^n+2^{n+1}=(2^{n+1}-1)+2^{n+1}\mathrm{}$$

Semplificando:

$$(2^{n+1}-1)+2^{n+1}=2^{n+1}+2^{n+1}-1=2\cdot 2^{n+1}-1=2^{n+2}-1$$

Quindi

$$1+2+4+\cdots +2^{n+1}=2^{(n+1)+1}-1$$

La proprietà vale dunque per $n+1$. Per induzione vale per ogni $n\ge 0.\mathrm{}$