DeepSeek rilascia silenziosamente Prover-V2, modello AI avanzato per la dimostrazione di teoremi
Il 30 aprile 2025, DeepSeek ha rilasciato senza preavviso il modello di intelligenza artificiale Prover-V2, specializzato nella dimostrazione automatica di teoremi matematici. Questo rilascio, avvenuto sulla piattaforma Hugging Face, è…
Intesa Google e Apple per l’integrazione di Gemini nei nuovi iPhone
In un recente sviluppo significativo nel panorama tecnologico, Sundar Pichai, CEO di Google, ha rivelato di aver avuto una conversazione con Tim Cook, CEO di Apple, durante la quale ha…
Phi-4-Reasoning-Plus: Microsoft lancia un modello di ragionamento compatto, aperto e potente
Microsoft ha recentemente introdotto Phi-4-Reasoning-Plus, un modello linguistico compatto da 14 miliardi di parametri progettato per affrontare compiti complessi di ragionamento strutturato. Questo modello, sviluppato da Microsoft Research, si distingue…
Studio di Tsinghua e Shanghai Jiao Tong: i limiti dell’apprendimento per rinforzo nei modelli linguistici
Un recente studio condotto dalle Università di Tsinghua e Shanghai Jiao Tong ha esaminato l’efficacia dell’apprendimento per rinforzo con ricompense verificabili (RLVR) nel migliorare le capacità di ragionamento dei modelli…
Verso l’Era dell’Esperienza: Agenti AI autodidatti trasformano il web
Nell’evoluzione dell’intelligenza artificiale, si sta profilando una nuova fase evolutiva: l'”Era dell’Esperienza”. In questo periodo, gli agenti AI non si limitano più a rispondere a input umani, ma apprendono autonomamente…
Orchestrazione AI: la chiave dell’infrastruttura moderna secondo Astronomer con un finanziamento da 93 milioni di dollari
Astronomer, la società dietro la piattaforma di orchestrazione dei dati basata su Apache Airflow chiamata Astro, ha recentemente ottenuto 93 milioni di dollari in un round di finanziamento di Serie…
Salesforce affronta il problema dell’intelligenza “frastagliata” con nuovi benchmark e modelli AI
Salesforce ha recentemente annunciato una serie di innovazioni nel campo dell’intelligenza artificiale, affrontando una delle sfide più persistenti per le applicazioni aziendali: la discrepanza tra l’intelligenza grezza di un sistema…
Munsit il modello per riconoscimento vocale arabo di CNTXT AI
La lingua araba ha rappresentato una sfida significativa per i sistemi di riconoscimento vocale automatico (ASR). La sua ricca morfologia, la varietà dialettale e la scarsità di dati etichettati hanno…
Google lancia Little Language Lessons, nuovo strumento AI per l’apprendimento delle lingue
Google ha recentemente presentato uno strumento sperimentale, chiamato Little Language Lessons, che sfrutta la potenza dell’intelligenza artificiale (IA) del modello Gemini per aiutare gli utenti ad apprendere nuove lingue in…
Xiaomi lancia MiMo-7B, modello AI open source per dispositivi mobili
Xiaomi ha annunciato il rilascio open source di un nuovo modello di intelligenza artificiale, dimostrando ancora una volta il proprio impegno nell’innovazione tecnologica. Il modello, chiamato MiMo-7B, è stato reso…