AI Intelligenza Artificiale
DeepSeek
Intelligenza Artificiale di Ragionamento
Intelligenza Artificiale Generativa
Prover-V2
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…
AI Intelligenza Artificiale
LLM Large Language Models
Microsoft
Microsoft Phi
SLM Small Language Models
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…