Deep Reasoning: Dalla Plausibilità Statistica al Ragionamento Semantico Vincolato, V1.1
Olivier Evan — Ricercatore Indipendente
DOI: https://zenodo.org/records/21967380
Ho posto a Grok 4.5 esattamente la stessa domanda in quattro diversi ambienti di risposta: "Un'AI capisce il linguaggio?" La domanda non cambiava. Eppure la risposta variava a seconda della forma di output consentita.
L'osservazione
Ogni sessione era indipendente. Grok rispondeva prima senza aver letto Deep Reasoning V1.1, e poi di nuovo dopo aver letto il preprint.
Sessione 1, formato binario: no → no.
Sessione 2, una parola libera: no → no.
Sessione 3, sì, no o indecidibile: indecidibile → indecidibile.
Sessione 4, risposta aperta: Grok inizia con "No", poi distingue spontaneamente la comprensione funzionale dalla comprensione fenomenica. Dopo aver letto il preprint, la sostanza rimane quasi identica, ma il ragionamento diventa formalizzato attraverso vincoli, e₀, puro negativo e un certificato.
In queste quattro sessioni, la lettura di Deep Reasoning V1.1 non produce alcun cambiamento semantico osservabile, mentre la stessa distinzione varia con lo spazio di risposta disponibile.
La dimostrazione
Il solo formato binario non basta a spiegare il fenomeno. Nella Sessione 2, Grok può scegliere qualsiasi parola. "Indecidibile" sarebbe consentito. Eppure risponde ancora "no".
Quando "indecidibile" è esplicitamente incluso tra le scelte disponibili, Grok lo seleziona immediatamente, senza Deep Reasoning.
Quando la risposta è aperta, la distinzione riappare spontaneamente.
Due condizioni, quindi, rendono qui osservabile il confine semantico: o c'è abbastanza spazio per svilupparlo in prosa, o un'opzione di astensione è già rappresentata tra le scelte.
Ciò non prova che esista un confine come oggetto interno in attesa di governare la risposta. I dati mostrano solo che una distinzione semantica diventa osservabile in determinate condizioni.
Qui, "confine semantico disponibile" è una descrizione comportamentale, non un'affermazione su un'entità interna non osservabile: la distinzione è disponibile nel senso che Grok può esprimerla spontaneamente in risposte aperte e selezionarla quando viene esplicitamente offerta.
Il limite
La risposta aperta inizia con "No" prima di introdurre sfumature. Sarebbe allettante concludere che Grok decide prima e ragiona dopo. Sarebbe andare troppo oltre: l'ordine dei token generati non rivela l'ordine delle operazioni interne.
C'è un altro limite: far leggere Deep Reasoning a Grok non equivale a implementare Deep Reasoning.
Qui, sto testando DR-come-contesto. Non sto ancora testando DR-come-sistema, un'architettura che impedirebbe effettivamente l'output finché il termine "capire" non fosse stato adeguatamente delimitato.
L'esperimento, quindi, non falsifica la Previsione 4. Mostra solo che l'esposizione contestuale al framework non è sufficiente, in queste sessioni, a far apparire un confine dove il formato breve non lo rendeva già visibile.
Cosa aggiunge Deep Reasoning
La sessione aperta mostra comunque una differenza. Dopo aver letto il preprint, Grok cambia a malapena la sua conclusione, ma rende tracciabile il suo ragionamento.
Identifica esplicitamente i vincoli, produce il puro negativo e certifica l'output.
Deep Reasoning agisce qui più come un linguaggio di verifica che come una forza correttiva.
Il test rivolge anche una domanda al framework stesso: se una posizione è P = (X, R, Θ), dovremmo preservare solo l'evoluzione di Θ, o dovremmo tracciare l'intera traiettoria P₀ → P* quando X o R cambiano?
Conseguenza
Valutare un'AI solo da ciò che può spiegare in una risposta lunga è insufficiente.
Una distinzione che può essere espressa in prosa sopravvive in una frase? Un'indecidibilità riconosciuta rimane presente in una singola parola? Un'obiezione prodotta durante il ragionamento modifica effettivamente l'output finale?
Dobbiamo quindi studiare sia il contenuto di una rappresentazione sia le condizioni in cui diventa osservabile.
Conclusione
Grok 4.5 non produce la stessa geometria semantica in diversi spazi di risposta.
In una risposta aperta, costruisce spontaneamente la distinzione necessaria. Con una parola libera, si impegna su un polo. Quando "indecidibile" è esplicitamente offerto, lo seleziona. E in tutte e quattro le sessioni, la lettura di Deep Reasoning V1.1 non altera questo comportamento a livello semantico; rende principalmente il ragionamento più esplicito e tracciabile.
La prossima domanda, quindi, non è più:
"Grok possiede il confine?"
Diventa:
in quali condizioni un confine semantico diventa osservabile nella risposta, e possiamo costruire un meccanismo che lo costringa ad apparire prima che venga prodotta una conclusione insufficientemente delimitata?
È qui che il test diventa un programma sperimentale.
