Intelligenza Artificiale?
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…
Google ha rilasciato in open source TabFM, un foundation model dedicato ai dati tabellari, progettato per eseguire classificazione e regressione su nuovi dataset senza dover addestrare nuovamente un modello specifico…
NVIDIA ha presentato Nemotron-Labs-TwoTower, una nuova architettura per modelli linguistici a diffusione progettata per aumentare la velocità di generazione senza rinunciare alla capacità di mantenere il contesto. Il sistema nasce…
Base44 ha messo in produzione Base 1, il primo modello linguistico proprietario sviluppato per la propria piattaforma di creazione applicazioni tramite linguaggio naturale. Il modello viene già utilizzato dagli utenti…
Google Cloud rende disponibili attraverso il proprio marketplace i Large Quantitative Models di SandboxAQ, una famiglia di modelli progettata non per la sola elaborazione del linguaggio naturale, ma per problemi…
L’uso dell’intelligenza artificiale non cresce in modo uniforme tra professioni, attività e momenti della giornata. I dati raccolti sull’utilizzo di Claude mostrano che le occupazioni con livelli retributivi più elevati…
Meituan ha presentato LongCat-2.0, un modello linguistico Mixture-of-Experts progettato per attività di coding, uso di strumenti e workflow agentici a più passaggi. La scala dichiarata è di 1,6 trilioni di…
Il modello cinese Z. AI GLM-5.2 è stato indicato come una delle piattaforme più competitive nell’individuazione di bug e vulnerabilità software, avvicinandosi alle prestazioni dei modelli specializzati che operano nel…
Mirendil è una nuova startup AI fondata da Behnam Neyshabur e Harsh Mehta, due ricercatori con esperienze precedenti in Google e Anthropic, nata con un obiettivo preciso: costruire sistemi capaci…
NVIDIA ha pubblicato una versione quantizzata di GLM-5.2, il grande modello linguistico open source di Zhipu AI (Z.ai), applicando il formato NVFP4 a 4 bit. L’obiettivo è rendere più gestibile…