Maggio 2025 – Pagina 2

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

1 Maggio 2025 Fantasy

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, è…

AI Intelligenza Artificiale Apple Google Google Gemini Hardware AI

Intesa Google e Apple per l’integrazione di Gemini nei nuovi iPhone

1 Maggio 2025 Fantasy

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

1 Maggio 2025 Fantasy

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…

AI Intelligenza Artificiale LLM Large Language Models

Studio di Tsinghua e Shanghai Jiao Tong: i limiti dell’apprendimento per rinforzo nei modelli linguistici

1 Maggio 2025 Fantasy

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…

DeepSeek rilascia silenziosamente Prover-V2, modello AI avanzato per la dimostrazione di teoremi

Intesa Google e Apple per l’integrazione di Gemini nei nuovi iPhone

Phi-4-Reasoning-Plus: Microsoft lancia un modello di ragionamento compatto, aperto e potente

Studio di Tsinghua e Shanghai Jiao Tong: i limiti dell’apprendimento per rinforzo nei modelli linguistici

You missed

Google lancia la generazione e modifica di immagini native per l’app Gemini

Amazon lancia Nova Premier, modello AI per compiti complessi

Nadella spiega perché Microsoft annulla progetti di data center in USA ed Europa

Orchestrazione Intelligente: come UiPath guida gli Agenti AI a seguire le regole aziendali

Mese: Maggio 2025

You missed