∴Gödel

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ödel

In 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 →