Come verifica Gödel un'affermazione?
Ciò che distingue Gödel non è generare testo, ma rendere il testo difendibile. Tutti gli strumenti seguenti seguono la stessa regola: se l'informazione manca, non viene inventata — si dice «non verificabile». Indichiamo anche ciò che ogni strumento NON fa: una descrizione di metodo senza i suoi limiti è incompleta.
Affermazione–Prova
- Che cosa fa
- Per le frasi CON CITAZIONE valuta se la fonte citata la sostenga davvero: sostenuta, parziale, incerta, non sostenuta, contraddetta o nessuna prova.
- Come verifica
- Il testo di prova proviene dal testo integrale del PDF caricato oppure, in mancanza, dall'abstract della fonte; quale sia stato usato («testo integrale» o «abstract») viene mostrato, perché un abstract può non rappresentare il testo integrale. La valutazione si basa SOLO su quel testo. Ogni citazione mostrata viene cercata alla lettera nella fonte; se non si trova, viene scartata — così una frase assente dalla fonte non può comparire tra virgolette.
- Che cosa non fa
- Se non abbiamo né testo integrale né abstract, il risultato è «nessuna prova»; nulla viene indovinato. Le frasi senza citazione non sono valutate, perché manca una fonte con cui confrontarle. Esiste un tetto di budget: sono valutate al più le 8 fonti più citate e al più 4 frasi per fonte; nei lavori più ampi le restanti frasi citate non rientrano in quella esecuzione. È un orientamento, non il giudizio di un revisore.
- Esempio
- «Il metodo X riduce il tasso di errore del 40% [3]» viene segnalata come non sostenuta se la fonte 3 riporta solo il 12%, e viene mostrata la frase pertinente della fonte.
Posizione della prova
- Che cosa fa
- Individua in quale punto della fonte si trovi il passaggio che sostiene l'affermazione.
- Come verifica
- Il testo integrale viene suddiviso in frammenti e vettorializzato; il frammento più vicino all'affermazione è scelto con un calcolo di similarità deterministico. La posizione non viene chiesta a un modello linguistico — un modello può inventare un numero di paragrafo, un confronto vettoriale no.
- Che cosa non fa
- Funziona solo con fonti il cui testo integrale sia stato caricato e indicizzato. In mancanza, viene dichiarato onestamente «nessun frammento»; nessuna posizione viene indicata a partire da un abstract.
- Esempio
- Se l'affermazione corrisponde a un paragrafo della sezione 4, vengono mostrati quel paragrafo e il valore di similarità: puoi leggerlo di persona.
Percorso digitale del lavoro
- Che cosa fa
- Mostra su un unico asse gli eventi con marca temporale: aggiunta di fonti, versioni, commenti, generazione, verifiche delle prove, esportazioni.
- Come verifica
- Entrano nella cronologia solo gli eventi con una marca temporale reale; un evento la cui marca non sia risolvibile non viene prodotto affatto. Poiché una parte dei dati di misura non ha alcuna marca temporale, si usano due livelli: eventi e fasi.
- Che cosa non fa
- La cronologia è strutturalmente INCOMPLETA e lo dichiara a schermo: le versioni automatiche vengono potate e alcuni passaggi non sono registrati. La completezza non viene quindi mai affermata. Soprattutto: «non registrato» e «non avvenuto» sono cose diverse e sono mostrate in modo diverso.
- Esempio
- Se per un passaggio non abbiamo alcuna registrazione, lo schermo dice «non registrato» — non «passaggio saltato», perché questo non lo sappiamo.
Traccia di generazione
- Che cosa fa
- Misura quanta parte del testo da noi generato resti invariata nel testo finale.
- Come verifica
- Se una sezione è stata generata da noi, conserviamo un'impronta del testo generato (hash di 5-grammi) e poi contiamo quanta parte sia rimasta. Il testo in chiaro non viene conservato.
- Che cosa non fa
- Chi abbia scritto una determinata frase NON è misurabile e non viene mai affermato. Non viene prodotta alcuna percentuale di paternità. L'unica cosa misurata è la conservazione del testo; non è un rilevamento di IA.
- Esempio
- Se hai generato una sezione e poi l'hai riscritta, la conservazione cala. Non è una prova della tua paternità, ma una misura di quanto poco resti del nostro testo.
Conformità alle linee guida dell'ateneo
- Che cosa fa
- Verifica le regole del modello universitario scelto che riguardano il TESTO: stile di citazione non conforme, numerazione dei titoli, sezioni vuote.
- Come verifica
- Interamente basato su regole; non viene usata alcuna IA. Una linea guida è già una regola esplicita; farla interpretare a un modello aggiungerebbe solo rischio. I modelli derivano dalle guide pubblicate dagli atenei e sono conservati con il link alla fonte.
- Che cosa non fa
- Margini, carattere e interlinea NON sono verificati qui — vengono applicati in esportazione. Le regole non presenti nei dati del modello (limite di pagine, ordine delle pagine preliminari, regole per le appendici) non sono verificabili e vengono elencate una per una.
- Esempio
- Se la guida richiede APA 7 e il tuo lavoro è impostato su IEEE, questo compare come rilievo ad alta priorità.
Analisi dello stato dell'arte
- Che cosa fa
- Confronta elemento per elemento il contributo dichiarato nel tuo lavoro con brevetti pubblicati.
- Come verifica
- Dal contributo vengono estratti elementi tecnici, confrontati con gli 8 documenti trovati più pertinenti. Quando un elemento è indicato come «esplicitamente divulgato», è richiesta una citazione TESTUALE dal documento; questa viene cercata automaticamente nella fonte e la cella è contrassegnata se non si trova.
- Che cosa non fa
- NON è un parere di brevettabilità e la tecnica esaminata è limitata. Soprattutto: l'assenza di risultati NON DIMOSTRA la novità del tuo contributo — mostra solo che questa analisi non ha trovato corrispondenze. La valutazione finale spetta a un consulente in brevetti.
- Esempio
- Se un componente del tuo metodo è descritto esplicitamente in un brevetto del 2019, la cella è contrassegnata «divulgato» e accanto è riportata la frase dal testo del brevetto.
Regola comune: ciò che non è misurabile non viene affermato
Nessuno di questi strumenti emette un verdetto e nessuno considera la fiducia di un modello linguistico come una verifica. Se un registro non è raggiungibile, il risultato è «non verificabile», non «non valido». Se una misura non è possibile, non viene prodotto alcun numero. La decisione finale spetta sempre all'autore.
Provalo sul tuo lavoro.
Apri GödelIn quali modi esattamente falliscono le fonti suggerite dall’IA? Dodici classi di errore sono raccolte in una pagina dedicata, con ciò che rileviamo e ciò che non rileviamo.
Tipologia degli errori →