Chain of News Digest

Chain of News 24/07/2026

24/07/2026
**Top Story** La vulnerabilità dei grandi modelli linguistici a prompt dannosi incompleti è stata una preoccupazione significativa, e uno studio recente ha formalizzato questo fenomeno come jailbreak di prompt incompleti. Ciò è cruciale perché evidenzia i limiti delle attuali misure di sicurezza contro le richieste dannose, che sono spesso basate sul completamento di frasi. Le implicazioni di questo studio sono ampie, poiché suggeriscono che gli sviluppatori devono rivedere il loro approccio per garantire la sicurezza e l'affidabilità dei grandi modelli linguistici. Inoltre, i risultati dello studio hanno implicazioni significative per lo sviluppo di modelli linguistici più robusti e sicuri, che sono essenziali per una vasta gamma di applicazioni. Il fatto che il completamento di frasi rimanga vulnerabile a prompt dannosi incompleti nonostante l'uso di modelli con pesi aperti e misure di sicurezza è un campanello d'allarme per gli sviluppatori per dare priorità allo sviluppo di misure di sicurezza più efficaci. Poiché l'uso dei grandi modelli linguistici diventa sempre più diffuso, la necessità di affrontare questa vulnerabilità diventa più urgente. SOURCES: [1] **AI Models & Research** Lo sviluppo di DC-Leap, un metodo di accelerazione senza addestramento per Diffusion Large Language Models, è una scoperta significativa nel campo della ricerca sull'intelligenza artificiale. DC-Leap consente la decodifica efficiente dei modelli linguistici sfruttando la decodifica a salti continui guidata da bozza, che supera i limiti delle strategie attuali che sono spesso ostacolate da soglie di confidenza eccessivamente conservative. Questa innovazione ha il potenziale di migliorare significativamente le prestazioni dei modelli linguistici, rendendoli più efficienti ed efficaci. Un'altra importante scoperta è l'introduzione di NEXUS, un monitor di sicurezza di runtime strutturato per agenti LLM che utilizzano strumenti, che applica una politica di intervento formale per selezionare azioni sicure e affidabili. Ciò è un progresso critico nel campo della sicurezza dell'intelligenza artificiale, poiché fornisce un framework robusto per garantire l'esecuzione sicura di azioni ad alto impatto. Inoltre, la proposta di Spectral-LSH, un metodo di compressione di prompt senza addestramento, è una scoperta nota che ha il potenziale di ridurre significativamente il costo computazionale dell'inferenza con prompt lunghi. SOURCES: [3], [4], [6] **Developer Tools & Frameworks** La release di JAXBench, una suite di benchmark native TPU per l'ottimizzazione del kernel generato da AI, è uno sviluppo significativo per gli sviluppatori che lavorano con TPU. JAXBench fornisce un framework di benchmarking rigoroso che consente agli sviluppatori di ottimizzare le prestazioni del kernel, che è essenziale per raggiungere applicazioni AI ad alte prestazioni. Con JAXBench, gli sviluppatori possono ora stabilire un obiettivo condiviso per migliorare le prestazioni, guidando il progresso nell'ottimizzazione autonoma del kernel TPU. Un'altra release nota è GraphContainer, una piattaforma unificata per confrontare e debuggere metodi RAG di grafici. GraphContainer fornisce un framework comprensivo per mitigare le allucinazioni e la conoscenza stagnante in LLM, in particolare per la risposta a domande a più salti. Questa piattaforma ha il potenziale di migliorare significativamente lo sviluppo di applicazioni AI basate su grafici. Inoltre, lo sviluppo dell'apprendimento di vincoli guidato dalla geometria per la classificazione della sicurezza LLM è un progresso notevole che fornisce un framework robusto per l'apprendimento di vincoli di mezzo spazio lineare nello spazio nascosto LLM. SOURCES: [2], [7], [8] **Industry & Business** Un articolo recente su la Repubblica evidenzia il potenziale dell'intelligenza artificiale per migliorare la potenza di Crispr, una tecnologia di editing genetico. L'articolo suggerisce che l'intelligenza artificiale può essere utilizzata per migliorare la precisione e l'efficienza di Crispr, che ha implicazioni significative per il campo della terapia genetica. Questo sviluppo ha il potenziale di rivoluzionare il trattamento delle malattie genetiche, e sottolinea l'importanza della ricerca interdisciplinare nel guidare l'innovazione. Il fatto che l'intelligenza artificiale sia utilizzata per migliorare la potenza di Crispr è una testimonianza della crescente consapevolezza del potenziale dell'intelligenza artificiale per trasformare una vasta gamma di campi, dalla biotecnologia alla sanità. SOURCES: [10] **Worth Watching** Lo studio sulla riconsiderazione della valutazione dell'incertezza nei grandi modelli linguistici è uno sviluppo stimolante che sfida la saggezza convenzionale sulla valutazione della confidenza LLM. La proposta di Logic-Guided Data Extraction con Answer Set Programming e Large Language Models è un'altra scoperta interessante che ha il potenziale di migliorare significativamente l'affidabilità dell'estrazione di dati da testi non strutturati. Inoltre, lo sviluppo della riconsiderazione della valutazione dell'incertezza nei grandi modelli linguistici è un progresso notevole che evidenzia i limiti degli approcci attuali per la valutazione della confidenza LLM e propone un framework più robusto per la valutazione dell'incertezza. SOURCES: [5], [9]

Notizie del giorno

Contenuti del giorno

GNews: AI Italia

Terapia genica, Crispr diventa ancora più potente grazie all’Ai - la Repubblica

Terapia genica, Crispr diventa ancora più potente grazie all’Ai la Repubblica

24/07/2026
ArXiv cs.AI

JAXBench: benchmarking dell'ottimizzazione del kernel TPU autonomo

Benchmark rigorosi hanno guidato i progressi nell'ottimizzazione delle prestazioni del kernel della GPU autonoma stabilendo un obiettivo condiviso su cui scalare, ma non esiste un equivalente per i TPU. Presentiamo JAXBench, una suite di benchmark nativa per TPU per l'ottimizzazione del kernel generata dall'intelligenza artificiale su Google Cloud TPU. JAXBench comprende 50 carichi di lavoro JAX che sono rilevanti e offrono margine per l'ottimizzazione.

24/07/2026
ArXiv cs.AI

DC-Leap: accelerazione senza formazione di dLLM tramite decodifica di salti contigui guidata da bozze

Sebbene la decodifica parallela sia fondamentale per l’efficienza dei Diffusion Large Language Models (dLLM), le strategie attuali sono spesso ostacolate da soglie di confidenza eccessivamente conservatrici. Queste soglie, rese necessarie dal Joint Probability Dependence Error (JPDE), determinano iterazioni di denoising ridondanti e velocità di inferenza non ottimali. Per superare questo problema, proponiamo DC-Leap, un framework esente da formazione che consente un'accelerazione affidabile dei dLLM nel regime di confidenza moderata.

24/07/2026
ArXiv cs.AI

Jailbreak rapidi incompleti in modelli linguistici di grandi dimensioni

I modelli linguistici di grandi dimensioni (LLM) vengono sempre più rilasciati come modelli a peso aperto con garanzie contro richieste dannose. Tuttavia, il completamento della frase rimane vulnerabile a suggerimenti dannosi incompleti. In questo lavoro, formalizziamo questo fenomeno come incomplete prompt jailbreak (IPJ) e forniamo una caratterizzazione empirica sistematica di quando e come i prompt incompleti suscitano continuazioni dannose.

24/07/2026
ArXiv cs.AI

GraphContainer: una piattaforma unificata per il confronto e il debug dei metodi Graph RAG

Graph RAG mitiga le allucinazioni e le conoscenze obsolete nei LLM, in particolare per la risposta a domande multi-hop. Tuttavia, gli approcci esistenti rimangono altamente frammentati e incompatibili. L'eterogeneità strutturale dei formati grafici nei diversi framework e la mancanza di strumenti di visualizzazione granulari rendono estremamente difficile valutare e confrontare i comportamenti di recupero.

23/07/2026
ArXiv cs.AI

Spectral-LSH: compressione rapida subquadratica tramite hashing sensibile alla località proiettato da Krylov

L'inferenza con prompt lungo rimane costosa perché l'attenzione precompilata scala quadraticamente con la lunghezza della sequenza. Proponiamo Spectral-LSH, un metodo di compressione del prompt senza formazione che opera prima che il prompt entri nel modello linguistico. Spectral-LSH approssima le componenti dominanti di un operatore implicito del kernel di attenzione utilizzando un metodo del sottospazio di Krylov insieme a caratteristiche casuali, evitando la materializzazione esplicita del kernel di attenzione $O(N^2)$.

23/07/2026
ArXiv cs.AI

NEXUS: sicurezza runtime strutturata per agenti LLM che utilizzano strumenti

Gli agenti LLM che utilizzano strumenti eseguono sempre più azioni ad alto impatto, rendendo essenziale il monitoraggio della sicurezza in fase di esecuzione. Presentiamo NEXUS (Neural EXecution Utility and Safety), un monitor di sicurezza a piano strutturato che applica una politica di intervento formale per selezionare tra quattro azioni: consentire, bloccare, richiedere conferma o richiedere revisione. NEXUS combina regole di sicurezza deterministiche, ispezione a livello di argomento e un punteggio di rischio di regressione logistica calibrato per un'escalation graduale.

23/07/2026
ArXiv cs.AI

Ripensare la valutazione dell'incertezza in modelli linguistici di grandi dimensioni

La calibrazione è il criterio principale per valutare la confidenza LLM, ma è insufficiente: ammette stimatori banalmente incoerenti, dipende dalla distribuzione della valutazione e non verifica la misura in cui la stima può essere interpretata come una funzione di probabilità sottostante coerente. Ciò di cui abbiamo effettivamente bisogno è che le stime di confidenza LLM soddisfino le condizioni richieste per credenze probabilistiche coerenti.

23/07/2026
ArXiv cs.AI

Apprendimento dei vincoli guidato dalla geometria per la classificazione di sicurezza LLM

Safety as Polytope (SaP) apprende i vincoli lineari di semispazio nello spazio nascosto LLM ma richiede l'ottimizzazione per categoria del conteggio dei vincoli K. Mostriamo che l'estrazione delle funzionalità di sparse autoencoder (SAE) risolve questo problema: K=2 diventa ottimale per 12/14 categorie su Qwen3.5-9B, ottenendo una precisione del 96-99% per categoria sul nostro benchmark di classificazione BeaverTails, eliminando in gran parte la necessità di scansioni esaustive (K=4-25 con random inizializzazione).

23/07/2026
ArXiv cs.AI

Estrazione dati guidata dalla logica con programmazione di set di risposte e modelli linguistici di grandi dimensioni

Quando i Large Language Models (LLM) vengono utilizzati per l'estrazione di dati semantici da testo non strutturato, producendo fatti relazionali candidati dal linguaggio naturale, possono rimanere inaffidabili per compiti che richiedono ragionamenti combinatori complessi e coerenza globale. Questo articolo propone un quadro di estrazione dei dati guidato dalla logica che combina l'estrazione basata su LLM con la programmazione di set di risposte (ASP). LLM produce fatti candidati, mentre ASP esegue validazione, inferenza, verifica di coerenza e controllo.

23/07/2026