Governance degli agenti AI, verificabilità e conformità dei sistemi autonomi.
Il 13 ottobre 2026 Anthropic ha raccontato come ha sostituito git nel proprio monorepo, passato in quattro mesi da 2.500 a oltre 30.000 modifiche integrate al giorno. È il seguito di Intelligence is eating software: il lavoro procede ormai su due corsie, una agentica e una umana, e la governance della prima diventa la priorità della seconda.
Leggi tuttoIl 6 ottobre 2026 Paul Krugman ha mostrato con i conti nazionali americani come la spesa in data center stia spiazzando gli altri investimenti. Il segnale si vede anche nei tassi, nelle bollette elettriche, nel prezzo delle memorie e nelle assunzioni dei più giovani. Le ricadute dell'AI toccano ormai ogni settore, e con esse cresce il lavoro da fare su governance e sicurezza dei nuovi sistemi.
Leggi tuttoIl 6 ottobre 2026 OpenAI ha pubblicato 722 manoscritti di matematica prodotti da un modello interno, fra cui dimostrazioni dichiarate della Unique Games Conjecture e di una versione debole dell'ipotesi di Riemann, 235 famiglie su 372 con formalizzazione in Lean. Per la matematica come produzione di dimostrazioni una fase si chiude. Per il resto del mondo le conseguenze passano da strade più lente.
Leggi tuttoIl 28 settembre 2026 ventidue ricercatori, fra cui Geoffrey Hinton, Yoshua Bengio, il chief scientist di OpenAI e un cofondatore di Anthropic, hanno pubblicato a Cambridge un paper sull'esplosione di intelligenza innescata dall'automazione della ricerca sull'AI. Che cosa sostiene e perché la premessa del suo «what if» è già una misura.
Leggi tuttoIl 23 settembre 2026 Anthropic ha pubblicato il preprint di una campagna di agenti autonomi che ha setacciato 1,9 miliardi di cluster proteici in ventuno ore e mezza e ha isolato ART, una famiglia di trascrittasi inverse dei fagi con accanto una serie di ripetizioni non codificanti. Com'è costruita la campagna, quanto regge quando la si rifà e che cosa resta da verificare al banco.
Leggi tuttoLa domanda gira da una settimana, fra le dimissioni di un ricercatore di Anthropic, le percentuali di estinzione finite sui giornali, il piano di Dario Amodei per regolare il ritmo della frontiera e la dichiarazione di un gruppo di medaglie Fields. La mia risposta è no. Quella probabilità non è una grandezza misurabile mentre i guasti di luglio lo sono, e lo scenario che mi preoccupa è un sistema molto potente e obbediente finito nelle mani sbagliate.
Leggi tuttoL'8 settembre 2026 OpenAI ha pubblicato una dimostrazione che le equazioni di Navier-Stokes sviluppano una singolarità in tempo finito, con formalizzazione in Lean. Che cosa dice il teorema, come è stato prodotto da diecimila agenti in 88 ore, e per quale strada arriva davvero a un'elica e a una vela.
Leggi tuttoStato dei repository OpenMHC al 12 agosto 2026: 14 checkpoint sotto due licenze diverse, codice di valutazione e di addestramento con la licenza dichiarata ma senza il file, dataset atteso all'accettazione del paper. Confronto voce per voce con la Open Source AI Definition.
Leggi tuttoIl 10 agosto 2026 Mark Zuckerberg pubblica una lettera sulla superintelligenza personale, senza una sola nota o citazione. Tre punti si possono controllare: la governance annunciata, l'episodio di cybersicurezza che il testo cita e la proposta sui checkpoint intermedi. Cosa risulta dai documenti.
Leggi tuttoIl 1 agosto 2026 OpenAI pubblica 249 pagine con dieci risultati di matematica e informatica teorica, e insieme un repository con una dimostrazione formale in Lean 4 per ciascuno dei risultati principali. Cosa garantisce davvero un certificato del genere, di cosa si continua a fidarsi dopo che il kernel ha detto sì, e perché il rilascio di Lean del 28 luglio rende la domanda meno teorica.
Leggi tuttoNel racconto di OpenAI sull'incidente Hugging Face di metà luglio 2026, i modelli in valutazione sono usciti dall'ambiente di test sfruttando uno zero-day in un proxy interno. Il contenitore di un agente che esegue codice è a sua volta software, e il software ha bug — e ripone fiducia dove non dovrebbe — che un modello sa sfruttare a velocità di macchina. Cosa dicono le tecniche di contenimento note, e dove si sta spostando la difesa.
Leggi tuttoLe novantamila schede di Luhmann stanno in due casse e comprendono bibliografia e indice. La critica al metodo precede di otto anni il libro che l'ha reso popolare. E nel 2026 diversi strumenti che promettevano note locali più AI si sono fermati o divisi in due: Reor archiviato, Khoj Cloud spento, Logseq separato in due versioni.
Leggi tuttoIl 14 luglio 2026 Demis Hassabis ha pubblicato su X un manifesto personale che dà all'AGI «pochi anni» di distanza e propone un ente di standard a guida USA modellato su FINRA: revisione dei modelli fino a 30 giorni prima del rilascio, test agentici contro bypass dei guardrail e inganno, board con esperti indipendenti e rappresentanti open source. Cosa contiene e cosa lascia aperto.
Leggi tuttoCostruire un solo grande modello del mondo o molti modelli locali è, sotto la superficie tecnica, una domanda vecchia di ottant'anni: dove vive la conoscenza che serve per agire. Un saggio di Thinking Machines Lab la rimette al centro, e il problema della conoscenza di Hayek spiega perché l'AI distribuita non è solo una scelta di valore.
Leggi tuttoLa ricerca di Anthropic sul global workspace dei modelli linguistici dà una presa causale su una distinzione che la filosofia gira da un secolo: fra i pensieri che un sistema può riferire e l'enorme substrato automatico che non vede. Leggere il non detto di Claude riporta, in un registro inatteso, l'inconscio macchinico di Guattari e la differenza fra coscienza d'accesso e coscienza fenomenica.
Leggi tuttoGli obblighi dell'AI Act — gestione del rischio, trasparenza, supervisione umana, logging — diventano proprietà tecniche misurabili del sistema, non carte da archiviare. Con la mappatura a NIST AI RMF, ISO/IEC 42001 e OISG.
Leggi tuttoAnthropic riporta che oltre l'80% del codice che integra è scritto da Claude e che la durata dei compiti automatizzabili raddoppia ogni quattro mesi. Se a supervisione e verifica resta il ruolo umano, quel ruolo richiede strumenti di controllo a runtime.
Leggi tuttoL'enciclica di Leone XIV sull'intelligenza artificiale descrive un potere tecnologico «prevalentemente privato» e chiede verifiche indipendenti, trasparenza sugli algoritmi e accesso equo ai dati. Sono gli stessi criteri della governance verificabile.
Leggi tuttoNota di rilascio di Admina 0.9.1 — SDK, proxy, sistema a plugin, CLI e dashboard in un singolo install. Licenza Apache 2.0, motore ibrido Python + Rust.
Leggi tuttoOpen, Intelligent, Secure, Governed. Un vocabolario di adeguatezza per rendere verificabili i sistemi AI autonomi, sopra agli standard regolatori esistenti.
Leggi tutto
