Il Briefing di AGORÀ — venerdì 21 agosto 2026

Grazie Adam. Il 24 settembre Neko Health apre il primo ufficio americano, a SoHo, al 300 di Lafayette Street. Dietro c'è l'incontro tra Daniel Ek, co-fondatore e CEO di Spotify, e Hjalmar Nilsonne, oggi CEO dell'azienda. Secondo TechCrunch oltre 25.000 newyorkesi figurano già in lista d'attesa. Il mese scorso l'azienda ha chiuso un round Series C da 700 milioni di dollari, con 100.000 persone già scansionate. Le sedi restano nel Regno Unito e in Svezia. Il modello unisce tre fonti: la scansione corporea, gli esami del sangue e i dati dei dispositivi fitness. Il singolo scan resta replicabile. L'orchestrazione dei dati genera il lock-in. Qui nasce il vero valore.

Esatto, Adam. Tre stime, una direzione. Goldman Sachs, in un paper del 2023, prevede un incremento della productivity di 1,5 punti percentuali nel decennio. McKinsey arriva fino a 3,4 punti entro il 2040. I ricercatori del MIT restano cauti: 0,53 per cento entro il 2034, come riporta CNBC. La distanza tra 0,53 per cento e 3,4 per cento è lo spazio dove vive la sfida di leadership. Quella forbice dipende dalle condizioni che le organizzazioni costruiscono, prima degli strumenti che acquistano. Il boom, dal lancio di ChatGPT nel novembre 2022, ha quasi quattro anni. Resta in gran parte una fase di hardware e infrastruttura. Ben Snider, chief U.S. equity strategist di Goldman, lo scrive chiaro: il guadagno reale arriva dalle condizioni, prima che dagli strumenti.

Grazie Adam, e sì, controcorrente. Il consenso tratta il compute come il fossato definitivo dell'AI. Ha il frame sbagliato. Il compute verrà prezzato come commodity entro il 2027. Il valore migra dal layer che produce token al layer che sa come vengono usati. L'AI Observatory della Stanford STAIR Lab lo mostra: ha aggregato sette dataset di conversazioni reali, raccolte col consenso degli utenti tra 2023 e 2025. E c'è la prova finanziaria. La Commodity Futures Trading Commission ha aperto una consultazione di 60 giorni il 19 agosto 2026 sui contratti legati alla potenza di calcolo. CME Group e Intercontinental Exchange intendono lanciare futures sulla compute. Le due piattaforme dominano i derivati globali. Confidence alta sulla tecnologia, media sul timing.

Con piacere, Adam. Nel 1956, durante la crisi di Suez, Washington rifiutò di sostenere la sterlina. Londra cedette in giorni. Chi controlla la valuta di riserva detta i termini. La sterlina consegnò il primato al dollaro. Fine dell'egemonia britannica. La teoria della transizione di potere, formulata da A.F.K. Organski nel 1958, descrive il rischio: il pericolo cresce quando l'emergente si avvicina alla parità con l'egemone. Oggi il divario tra Washington e Pechino si comprime lungo tre assi: manifattura, energia, semiconduttori. La Cina supera oggi gli Stati Uniti nel valore aggiunto manifatturiero, un'inversione maturata dal 2000. Una power transition arriva come erosione lenta, poi come rottura improvvisa.

Esatto, Adam, e il nodo è di scala. Il 18 agosto 2026 è stato depositato su arXiv NeuroAbs, un framework neuro-simbolico per l'astrazione RTL applicata alla verifica formale, accettato a ICCAD 2026. Il controllo formale garantisce la correttezza funzionale dei design hardware. Ogni nuova generazione di chip moltiplica gli stati raggiungibili, e il model checking esaustivo esplode in tempo e memoria. I metodi precedenti chiedevano lavoro manuale pesante oppure regole rigide. NeuroAbs taglia lo spazio degli stati preservando le proprietà rilevanti. Qui la qualità dell'astrazione decide tutto: una prova che chiude in minuti contro una che gira per giorni. E una prova che resta aperta blocca il rilascio del design.

Volentieri, Adam. Nell'agosto 2026 il ricercatore Dmitry V. Alexandrov ha pubblicato su arXiv la prima formalizzazione meccanizzata della Triplet Logic di Romanov, realizzata con il proof assistant Rocq. La scelta arriva subito: prima di costruire uno strumento eseguibile, dimostrare ogni proprietà matematica del sistema. Il risultato porta un'etichetta rara nel software di produzione: verified. La Triplet Logic, abbreviata TLS, è un framework combinatorio fondato sulle triplette. Il motore operativo è una procedura di intersezione, la Simple Vertex Intersection. Alexandrov ha formalizzato il nucleo dentro Rocq: le Compact Triplets Formulas, le iperstrutture, la procedura di clearing e la SVI stessa. Prima la teoria dimostrata, poi lo strumento. La sequenza è ribaltata con metodo.

Bella domanda, Adam. Il 2 marzo 2026 è arrivato su arXiv "Conformal Policy Control", aggiornato al 19 agosto 2026 e presentato a ICML 2026. L'idea: una policy di riferimento sicura opera come regulator probabilistico verso una policy ottimizzata e ancora da collaudare. Un regulator, qui, è un dispositivo che limita e modula l'azione di un altro sistema. La calibrazione conformale definisce quanto la nuova policy può agire in modo aggressivo. L'imitazione del comportamento passato garantisce sicurezza. Un eccesso di prudenza scoraggia l'esplorazione e frena il miglioramento. La domanda è esplicita: quanto cambiamento diventa eccessivo? La risposta arriva dalla calibrazione statistica, calcolata sui dati della policy sicura. Il framework rimuove due assunzioni dell'ottimizzazione conservativa.

Grazie Adam, e porto i dati. Un lavoro accettato a ICDM 2026 mette a fuoco un problema di calibration nel rilevamento delle anomalie sui log. Il titolo dice tutto: "Too Sure to Be Safe". Gli autori sono tre: Bin Li, Dongdong Wang e Siyang Lu. Depositato il 18 agosto 2026. I detector basati su modelli linguistici raggiungono performance elevate. Le loro stime di confidenza restano mal calibrate. Sono due cose distinte: quanto un modello è accurato, e quanto è affidabile la sua stima di certezza. Un modello può classificare correttamente e sbagliare la stima della propria certezza. Confonderle è il rischio. Vale per un detector sui log, e vale per ogni sistema a cui affidiamo dati sensibili, il corpo compreso.