Marc Benioff stupito da Gemini 3 che supera GPT-5.1
La dichiarazione di un leader di settore può fungere da vero e proprio spartiacque, ridefinendo in un istante le percezioni di mercato e gli equilibri competitivi. È esattamente ciò che…
La piattaforma AI TCS ADD™ per la ricerca farmaceutica e studi clinici
L’industria delle scienze della vita è da tempo alla ricerca di soluzioni che possano coniugare il rigore scientifico e normativo degli studi clinici con l’efficienza e la velocità richieste dal…
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…