NATO accelera su intelligenza artificiale, droni e tecnologie emergenti per la difesa
La trasformazione tecnologica della difesa è diventata una priorità operativa per la NATO, che sta concentrando risorse e programmi sull’integrazione di intelligenza artificiale, sistemi autonomi, droni, robotica, comunicazioni sicure, capacità…
First Proof: l’AI risolve problemi matematici inediti, ma resta distante dal livello dei migliori ricercatori
Il benchmark First Proof è stato progettato per verificare una capacità molto diversa da quella misurata nei tradizionali test matematici per modelli linguistici. Non propone esercizi scolastici, quesiti olimpici o…
Abbonamenti AI: perché i piani professionali costeranno di più tra limiti, crediti e uso intensivo
Il modello economico dei servizi di intelligenza artificiale sta cambiando rapidamente. Gli abbonamenti mensili intorno ai 20 euro o 20 dollari hanno favorito l’adozione iniziale di chatbot, assistenti per la…
AI Act: dal 2 agosto 2026, formazione interna, uso controllato degli strumenti e gestione dei dati aziendali
Il 2 agosto 2026 rappresenta una data concreta per tutte le aziende che utilizzano strumenti di intelligenza artificiale nelle attività quotidiane. Da quel momento le autorità nazionali di vigilanza potranno…
Mistral rilascia Leanstral 1.5 per la verifica formale di teoremi e codice
Mistral AI ha rilasciato Leanstral 1.5, un modello open source specializzato nella produzione e nella verifica di dimostrazioni formali in Lean 4, il proof assistant utilizzato per rappresentare teoremi matematici…
Amazon sviluppa chip AI on-device e prepara un dispositivo vocale senza schermo
Amazon sta ampliando la propria strategia hardware per l’intelligenza artificiale con un obiettivo preciso: integrare capacità di elaborazione AI direttamente nei dispositivi consumer e costruire un ecosistema nel quale assistente,…
Tesla limita a 200 dollari settimanali la spesa AI per dipendente
Tesla ha introdotto un limite di 200 dollari alla settimana per la spesa individuale dei dipendenti nell’utilizzo di modelli e strumenti di intelligenza artificiale. La soglia entra in vigore dal…
Alibaba vieta Claude Code ai dipendenti e indirizza lo sviluppo interno verso Qoder
Alibaba ha disposto il divieto di utilizzare Claude Code nelle attività aziendali, classificando l’assistente di programmazione di Anthropic come software ad alto rischio per la sicurezza. La misura entrerà in…
La spesa per token AI diminuisce mentre il mercato si sposta verso modelli più efficienti
Il mercato dell’inferenza AI sta mostrando un segnale che merita attenzione: l’indice LLM Token Expenditure Index di Silicon Data, che misura il costo medio effettivamente sostenuto per l’utilizzo dei token…
ByteDance Seed presenta EdgeBench per misurare l’apprendimento degli agenti AI nel tempo
ByteDance Seed ha presentato EdgeBench, un benchmark progettato per valutare non soltanto la capacità iniziale di un agente AI di affrontare un compito, ma il modo in cui riesce a…