LLM Council, il parlamento AI: l’esperimento di Andrej Karpathy e il verdetto sorprendente su GPT-5.1 eletto dal Consiglio degli LLM
Nel dinamico e spesso opaco mondo dell’Intelligenza Artificiale Generativa, la valutazione delle prestazioni dei Modelli Linguistici di Grandi Dimensioni (LLM) è sempre stata un terreno di scontro, affidata a benchmark…
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…