Nuova Prova di Architettura Rivendica P ≠ NP tramite Lunghezza di Descrizione Condizionale

Un preprint disponibile su arXiv (2510.08814) introduce un quadro di prova che afferma P ≠ NP, derivato da un conflitto tra limiti superiori e inferiori nella lunghezza di descrizione condizionale limitata in tempo polinomiale. I ricercatori sviluppano una famiglia di istanze SAT, Y, che può essere campionata efficientemente, assicurando che ogni testimone soddisfacente produca un messaggio globale uniforme, M(Y). Se P = NP, un meccanismo convenzionale di auto-recupero SAT in tempo polinomiale estrarrebbe M(Y) da Y, suggerendo K_poly(M(Y)|Y) = O(1). Al contrario, il limite inferiore indica che nessun osservatore a tempo polinomiale fisso può ottenere un vantaggio predittivo significativo rispetto a una selezione lineare di coordinate del messaggio. La discussione inquadra il calcolo come un processo che genera evidenza, trasformando i vantaggi predittivi in asimmetrie di evidenza costruttibile-duale e distinzioni tra mondi di messaggi opposti. Un teorema di normalizzazione afferma che tutte le foglie di evidenza non neutre rilevanti per il target sono osservazioni di buffer sicuro.