Matematica verificabile: Lean 4, il dimostratore AI di teoremi
L’avvento di Lean 4 segna un punto di svolta fondamentale nel campo della matematica e dell’informatica, stabilendo un nuovo standard per la certezza e la correttezza del ragionamento. Nato originariamente…
Anthropic lancia Claude Opus 4.5 per la programmazione e gli Agenti AI
Anthropic ha compiuto un passo audace svelando Claude Opus 4.5, un aggiornamento fondamentale della sua piattaforma di AI. L’azienda ha lanciato il nuovo modello presentandolo senza mezzi termini come “il…
OpenAI sotto pressione ammette di essere indietro rispetto a Gemini 3
Una recente comunicazione interna proveniente dalla leadership di OpenAI ha svelato un clima di tensione strategica e una corsa al recupero che segnala un cambio di guardia, almeno temporaneo, ai…
L’ondata di licenziamenti in Amazon
Amazon ha recentemente annunciato il più grande ciclo di licenziamenti nei suoi trentuno anni di storia, con l’eliminazione di oltre 14.000 posti di lavoro. Sebbene i licenziamenti su vasta scala…
La corsa agli armamenti digitali: Google e l’investimento colossale per l’infrastruttura AI
L’ascesa dell’Intelligenza Artificiale ha innescato una vera e propria “corsa agli armamenti” tecnologica tra i giganti del tech, una competizione che non si combatte solo sul campo degli algoritmi e…
Tripo AI, dalla descrizione testuale al modello Prêt-à-Porter 3D in pochi minuti
Il processo di creazione di modelli tridimensionali è sempre stato considerato un’arte esigente, che richiede non solo creatività, ma anche una pazienza certosina e padronanza di software complessi come Blender…
OpenAI ritiene GPT-4o “Legacy” e interrompe l’accesso API da febbraio 2026
Nel rapido e a tratti brutale ecosistema dell’Intelligenza Artificiale, la notizia che un modello acclamato e largamente adottato sia destinato alla “pensione” rappresenta un promemoria costante della frenesia tecnologica in…
Salesforce Agentforce Observability che svela il ragionamento degli Agenti AI
L’introduzione degli Agenti AI — quei sofisticati programmi autonomi capaci di gestire sequenze complesse di attività aziendali, dall’assistenza clienti alla gestione dei dati—sta segnando una delle trasformazioni più profonde nel…
AI Intelligenza Artificiale
Intelligenza Artificiale Generale AGI
Intelligenza Artificiale Generativa
LLM Large Language Models
L’AI capisce quello che scrive?
L’esplosione dei modelli linguistici di grandi dimensioni, resi celebri da strumenti come ChatGPT e Claude, ha aperto una nuova, affascinante frontiera nell’interazione uomo-macchina. Questi sistemi sono capaci di produrre testi…
L’Intelligenza Artificiale sbarca nel gruppo FS con Microsoft Copilot per il lavoro quotidiano
In un’epoca in cui l’efficienza e la digitalizzazione rappresentano i pilastri della competitività per le grandi corporation, anche i settori storicamente più ancorati a infrastrutture fisiche, come quello dei trasporti,…