Quando il PDF diventa la nostra interfaccia di dialogo con l'IA

Tutto comincia spesso con una pausa a pagina sette. Stai rileggendo il manoscritto dell'articolo che rifinisci da mesi, seguendo il filo di un ragionamento ormai familiare, quando lo sguardo si ferma su una relazione di sottotipo. I simboli sono consueti, la formula è impaginata con cura, eppure la direzione del legame tra i due tipi si è silenziosamente invertita; due paragrafi più giù, la notazione nel testo prosegue lungo quello stesso capovolgimento; spostando gli occhi di lato, anche la didascalia di una figura riprende la medesima scrittura. Sulla pagina il problema si disegna lungo un'unica linea, nitida e completa. Sai subito dove punteranno il dito i revisori, e sai altrettanto bene da dove cominciare a correggere quel foglio.

Eppure, nel preciso istante in cui allunghi la mano per intervenire, la pagina svanisce davanti ai tuoi occhi.

Per dare seguito a un'intuizione nata sulla pagina PDF renderizzata, gli strumenti tradizionali per la scrittura accademica ti chiedono invariabilmente di abbandonare il PDF e ripiegare nei file sorgente .tex, in mezzo a schermi gremiti di simboli del dollaro e barre rovesciate. Per decenni, questa frattura tra il "pensare sulla pagina impaginata" e il "lavorare nel codice sorgente" è stata accettata come il prezzo inevitabile da pagare per ottenere una tipografia rigorosa. Perfino oggi, mentre gli agenti di intelligenza artificiale sanno destreggiarsi con notevole disinvoltura tra progetti articolati su più file, il modello di interazione dei principali strumenti LaTeX resta prigioniero della dipendenza dal codice sorgente: hanno finito per confinare assistenti IA sempre più brillanti dentro il riquadro del codice, lasciando che il linguaggio di marcatura grezzo continui a monopolizzare lo spazio di lavoro principale; hanno relegato il manoscritto impaginato in fondo alla catena di montaggio, riducendolo a una semplice finestra di anteprima accessoria.

Ho creato Papilot proprio perché non riuscivo più a tollerare questa dissociazione e questo spaesamento. Vorrei che chi scrive potesse discutere con l'IA di come rivedere il testo restando esattamente sulla pagina che sta leggendo. Quando un autore sviluppa il filo del discorso, spiega all'IA le proprie intenzioni di modifica e infine valuta se l'espressione scientifica regge, ciò che ha davanti è sempre la pagina impaginata. Per questo Papilot restituisce per intero lo spazio di lavoro principale al manoscritto in PDF, senza riservare nell'interfaccia alcun posto a un editor di codice sorgente fisso. Sul disco, il tuo progetto continua a essere composto da normali file locali .tex, .bib e così via, gestiti tramite Git. In qualsiasi momento tu voglia ispezionare o modificare il codice a mano, puoi aprirlo con il tuo editor esterno preferito, ma il dialogo tra essere umano e IA torna finalmente a svolgersi sulla stessa pagina del manoscritto.

Perché la collaborazione con l'IA centrata sul sorgente è ormai superata

La lunga sopravvivenza delle interfacce a schermo diviso non è affatto casuale; sottende un'ipotesi dettata dall'inerzia mentale: l'idea che solo il luogo in cui si modifica il codice sia il vero banco di lavoro. Prendiamo Overleaf: la sua interfaccia presenta il riquadro di modifica a sinistra e il visualizzatore PDF a destra; l'utente può passare dall'editor di codice a quello visuale, ridimensionare o chiudere i pannelli, ricompilare per aggiornare il risultato e saltare continuamente dal sorgente alla pagina impaginata. Anche nascondendo alcuni pannelli o attivando la modalità visuale, il quadro operativo in cui l'autore interviene sul testo resta separato dalla composizione tipografica del documento finale, e la modifica del sorgente continua a occupare il centro della scena.

Calare modelli di IA più potenti dentro questa architettura a schermo diviso non aumenta affatto l'efficienza di chi scrive. Basti pensare a OpenAI Prism, un progetto ormai prossimo al tramonto: l'assistente integrato nell'editor è in grado di generare frammenti di codice LaTeX con opzioni per "mantenere" o "annullare", segnalare errori nel sorgente in linea, modificare i file del progetto e avviare la ricompilazione, mostrando i risultati in una finestra di anteprima PDF separata. Ma in questo flusso di lavoro la conversazione continua a ruotare attorno al sorgente. Il problema sollevato dall'autore nasce dal PDF, mentre la correzione proposta dall'IA si presenta anzitutto sotto forma di codice. Per valutarne l'esito, devi tornare al documento compilato, rintracciare il punto corrispondente alla modifica e metterlo a confronto, passo dopo passo, con la versione precedente.

È proprio questo continuo andare avanti e indietro per orientarsi e confrontare le versioni a spezzare la continuità del pensiero. Torniamo a quella relazione di sottotipo invertita a pagina sette: dopo aver formulato la richiesta all'assistente in un'interfaccia che dà priorità al sorgente, ciò che ti trovi davanti è una distesa di diff del codice a strisce rosse e verdi. Nelle modifiche possono comparire i comandi \Gamma e \vdash del giudizio formale, \inferrule per comporre le regole di derivazione e le macro personalizzate del progetto per la relazione di sottotipo. Ricompilare ti permette certamente di vedere il PDF aggiornato, ma un nuovo documento non mostra affatto in modo diretto che cosa sia cambiato rispetto alla stesura precedente. Devi comunque andare a cercare la formula corrispondente e confrontarla punto per punto con la vecchia versione: il verso della relazione di sottotipo è stato corretto nel modo giusto? Anche il corpo del testo e la didascalia della figura sono stati aggiornati di conseguenza? Il diff del sorgente evidenzia l'aggiunta o la rimozione di comandi, ma ciò che l'autore ha davvero bisogno di vagliare è l'effetto che quelle modifiche lasciano nel testo composto.

Quando la pagina impaginata diventa il contesto comune

Non appena il PDF impaginato smette di essere una passiva anteprima finale e diventa il punto di partenza e di arrivo di ogni revisione, il rapporto tra essere umano e IA cambia natura. Quando tu e l'agente avete di fronte la stessa pagina visibile del manoscritto, "indicare" prende il posto di "rovistare".

In Papilot, fare una correzione diventa naturale quanto sedersi a un tavolo con un coautore per discutere una bozza stampata. Tracci direttamente un riquadro attorno alla formula di pagina sette, evidenzi più sotto la frase che aveva ereditato la direzione sbagliata e scrivi una breve nota a margine segnalando che il verso della relazione di sottotipo è invertito, chiedendo all'IA di correggerlo e di verificare le derivazioni successive. Non hai bisogno di metterti a cercare il relativo \begin{mathpar} tra un file e l'altro, né di copiare frammenti sparsi di codice nella barra laterale di una chat. La disposizione spaziale e il contesto della pagina stessa costituiscono già il riferimento più limpido che tu possa offrire all'IA.

Una volta inviata l'annotazione, l'agente IA collegato interviene direttamente sui file sorgente .tex del tuo progetto locale. Si occupa di individuare i file giusti, modificare le formule e la marcatura del testo, per poi affidare al compilatore il compito di generare in background la nuova composizione tipografica. A compilazione conclusa, non ti ritrovi davanti un arido patch di codice, ma un confronto diretto tra il prima e il dopo presentato sulla pagina stessa del manoscritto. Esamini la vecchia e la nuova versione nel loro corpo tipografico reale, con l'interlinea e i rimandi alle figure effettivi, decidendo sul posto se accettare, rifiutare o lasciare un ulteriore commento per far proseguire la rifinitura.

Fare del PDF l'interfaccia di dialogo non significa affatto trasformare l'articolo in una scatola nera priva di tracciabilità, e ancor meno tentare un reverse engineering su PDF arbitrari sprovvisti di sorgente. Papilot opera sempre sopra un vero progetto LaTeX locale: i normali file di puro testo restano l'unica fonte di verità sul disco, e Git continua a custodire l'intera storia evolutiva del lavoro. Nell'interfaccia, la revisione delle modifiche e la gestione della cronologia delle versioni sono nettamente distinte: fare clic su "Accetta" sulla pagina si limita a registrare il tuo giudizio editoriale; applicare effettivamente al manoscritto le modifiche approvate, eseguire il commit o inviarle al repository remoto restano sempre passaggi indipendenti sotto il tuo pieno controllo.

Rispondere di ogni singola modifica

Spostare l'interfaccia di interazione dal codice sorgente al manoscritto tocca anche una questione ben più seria: la responsabilità intellettuale di chi firma una ricerca. Man mano che l'IA diventa sempre più abile nel levigare dimostrazioni, uniformare la notazione tra i capitoli o persino condensare paragrafi prolissi, affiora un rischio più subdolo: quello delle "allucinazioni e fallacie dall'aspetto scorrevole". Un agente è perfettamente in grado di produrre una pagina dall'impaginazione impeccabile avendo però, durante la riscrittura, allentato silenziosamente le ipotesi di un teorema, tralasciato una condizione al contorno o esagerato le conclusioni che una curva sperimentale può effettivamente sostenere.

Se chi scrive deve consumare gran parte delle proprie energie per controllare diff del codice sorgente, allineare delimitatori di tabelle e saltare da uno schermo all'altro, l'attenzione riservata al vaglio scientifico finisce inevitabilmente per diluirsi. Papilot elimina il rumore visivo dello strato del codice e ti permette di confrontare il prima e il dopo direttamente sulla pagina impaginata, non per prendere decisioni al posto tuo, ma per rendere più acuto lo sguardo dello studioso. La nitidezza visiva sulla pagina non equivarrà mai alla correttezza scientifica: stabilire se un teorema continui a valere, se la notazione sia priva di ambiguità e se ogni affermazione possa reggere alle obiezioni dei pari sono domande a cui solo l'autore può rispondere. Quando l'ingombro del linguaggio di marcatura fa un passo indietro, il giudizio critico dell'essere umano torna finalmente sotto i riflettori.

Se desideri provare questa modalità di interazione prima ancora di configurare un progetto locale, puoi aprire direttamente nel browser la nostra demo interattiva: senza bisogno di collegare un'IA in tempo reale né di installare un ambiente LaTeX locale, potrai sperimentare l'intero percorso di annotazione sulla pagina e di revisione del confronto tipografico prima e dopo la modifica. Quando sarai pronto a collegare il tuo agente di fiducia per lavorare ai tuoi articoli, ti aspettiamo nel repository GitHub di Papilot, dove troverai il client desktop e l'intero codice sorgente rilasciati con licenza open source MIT.

Ritorno a quella pagina del manoscritto

Per molto tempo, scrivere collaborando con una macchina ha significato che gli esseri umani dovevano imparare a osservare il proprio pensiero attraverso il linguaggio intermedio della macchina stessa. Ci siamo abituati a ricomporre il senso di un testo destreggiandoci tra alberi di directory, patch di codice e finestre divise, trattando la pagina finalmente impaginata come una ricompensa da sbirciare solo a compilazione riuscita.

Ora torniamo a pagina sette. Quella relazione di sottotipo con il verso invertito è stata cerchiata a margine, la formula corretta poggia saldamente al suo posto e la derivazione che segue scorre rigorosa e limpida. Dal momento in cui hai notato il problema fino al completamento della correzione, il tuo sguardo non si è mai dovuto staccare dalla tua argomentazione. Il manoscritto si è finalmente ricomposto in un tutt'uno. È qui che leggi, è qui che dialoghi con l'IA, ed è sempre qui che rispondi di ogni singola parola impressa sulla pagina.