Limiti coomologici della verifica locale nel ragionamento AI agentico

Un nuovo articolo su arXiv (2608.11252) presenta una prova matematica che i metodi di verifica locale nei sistemi AI agentici sono strutturalmente incompleti. Gli autori modellano gli spazi di contesto utilizzando rivestimenti nervosi e l'evidenza come cocatene a valori reali, mostrando che il percorso di ragionamento di un agente è indipendente dal percorso solo se la cocatena è esatta. I disaccordi tra percorsi di ragionamento validi corrispondono all'olonomia di una prima classe di coomologia di Čech. La decomposizione di Hodge rivela tre componenti del conflitto di evidenza: gradiente (calibrazione), rotore (incoerenza locale) e armonica. Il teorema centrale afferma che nessuna famiglia di controlli di coerenza supportati da simplessi può distinguere tutte queste classi, implicando che i controlli locali non possono garantire la non-trasportabilità delle conclusioni attraverso contesti biologici, clinici e finanziari. L'articolo è stato annunciato come una nuova sottomissione su arXiv ed è disponibile all'URL fornito.