IL PUNTO SULL’AI
23 ottobre 2026
Claude genera prove Rocq su 239 entry point OSS-Fuzz; OpenAI stabilizza Decisions API, Google apre Agent Substrate e MiniMax pubblica i pesi.
In questa edizione 6 notizie
Anthropic ha trasferito alla Agentic AI Foundation il nome, il logo, l’organizzazione GitHub e il dominio di Agent Skills. Il formato aperto descrive capacità e procedure per agenti tramite una cartella con SKILL.md e risorse opzionali; Anthropic dichiara integrazioni in oltre 70 piattaforme.
Limiti da conoscere
Limite: La governance neutrale non rende automaticamente sicura o uniforme l’esecuzione. Versionamento, processo formale delle proposte e linee guida di sicurezza sono ancora nella roadmap; loader, permessi, sandbox e gestione dei segreti restano responsabilità dei singoli prodotti.
IBM ha pubblicato i pesi di Granite Speech 5.0 2B con licenza Apache 2.0. Il modello trascrive sei lingue, traduce da e verso l’inglese e supporta liste di bias fino a 2.000 termini; sono dichiarate integrazioni con Transformers, vLLM, llama.cpp e mlx-audio.
Limiti da conoscere
Limite: I risultati WER e robustezza sono benchmark ufficiali, non una verifica indipendente. Consumo di memoria, latenza, qualità su italiano parlato, accenti, audio telefonico e registrazioni lunghe devono essere misurati sul proprio hardware e sui propri dati.
MiniMax ha pubblicato il checkpoint ufficiale di M3.1 Flash: 49 file safetensors occupano circa 252,4 GB e includono la testa DSpark. Il MoE multimodale dichiara 428 miliardi di parametri totali, 23 miliardi attivi per token e contesto fino a un milione di token; i percorsi di serving documentati sono SGLang, vLLM e TokenSpeed.
Limiti da conoscere
Limite: Pesi pubblici non significa esecuzione semplice su un PC comune. Dimensione, serving specializzato e supporto multi-chip richiedono hardware e quantizzazioni verificati. La MiniMax Community License non è Apache o MIT e impone attribuzione e condizioni specifiche per l’uso commerciale.
Google Cloud ha annunciato Agent Compute Engine, un servizio di microVM isolate per agenti che entrerà in preview nei prossimi mesi. È già ispezionabile Agent Substrate, runtime Apache 2.0 e Kubernetes-native compatibile con più harness, incluso Hermes; Google cita Nous Research tra i team che usano l’architettura per distribuire agenti multi-tenant nelle infrastrutture dei clienti.
Limiti da conoscere
Limite: Agent Compute Engine non è ancora disponibile per una prova pubblica e non va confuso con Agent Substrate. Il runtime open source è pre-1.0, non garantisce retrocompatibilità e i numeri di densità, attivazione e scala pubblicati sono benchmark del progetto, non risultati riprodotti da Francesco.
OpenAI ha portato Decisions API in disponibilità generale con il modello gpt-6-luna. L’endpoint valuta testo, immagini e JSON e restituisce probabilità, scelte o punteggi tipizzati; dalla beta aggiunge prompt caching, input_json, immagini nelle istruzioni, cronologia con tool call e fino a 400 domande per richiesta.
Limiti da conoscere
Limite: Il confronto di velocità circa 10 volte superiore a Responses API è una dichiarazione OpenAI non riprodotta da Francesco. È supportato un solo modello, gpt-6-luna; l’endpoint decide tra schemi predefiniti ma non sostituisce Responses API quando serve generare testo o oggetti JSON arbitrari.
Anthropic e Theorem dichiarano di aver usato Claude per correggere bug e dimostrare l’assenza di crash, entro ipotesi precise, su 239 entry point di 123 librerie OSS-Fuzz compilate per RISC-V. Le prove coprono input fino a 64 MB e sono controllate dal kernel Rocq; un repository pubblico rende verificabile un sottoinsieme di 60 entry point in 25 librerie.
Limiti da conoscere
Limite: “Formalmente verificato” non significa software privo di bug. Le prove valgono per proprietà, binari, input e modello operativo specificati; LPS modella solo parte di Linux, ASan non rileva ogni difetto di memoria, non sono coperti tutti gli entry point né tutti gli usi delle librerie.
LA COMMUNITY SCEGLIE
Quale notizia merita un test?
Scegli una notizia qui sotto o usa “Mi interessa” nella sua scheda. Un voto per edizione su questo dispositivo, senza iscrizione.