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…
Intelligenza collettiva assistita dall’AI per discutere il futuro degli Stati Uniti
Il 4 luglio 2026, data del 250° anniversario della Dichiarazione d’Indipendenza degli Stati Uniti, diventa anche il contesto simbolico per sperimentare un modello diverso di partecipazione digitale: usare l’intelligenza artificiale…
Meta lancia Pocket per creare e condividere app e minigiochi con l’AI
Meta ha avviato Pocket, una piattaforma mobile pensata per trasformare prompt testuali in piccoli giochi e applicazioni interattive eseguibili direttamente dallo smartphone. Il servizio si basa sul paradigma del vibe…
Google testa un nuovo modello Gemini Flash su LM Arena
Google sta sperimentando un nuovo checkpoint della famiglia Gemini Flash attraverso LM Arena, la piattaforma che consente di confrontare modelli linguistici in test comparativi basati sulle preferenze degli utenti. Il…
NVIDIA introduce un modello di condivisione dei ricavi per l’accesso alle GPU AI
NVIDIA sta sperimentando un modello di fornitura dell’infrastruttura AI che supera la semplice vendita o il noleggio di GPU. Il sistema prevede che startup, cloud provider e operatori di servizi…