Intelligenza Artificiale?
L’impiego coordinato di più modelli linguistici viene spesso considerato un metodo efficace per aumentare l’accuratezza dei sistemi di intelligenza artificiale. L’idea è che modelli sviluppati da aziende diverse, specializzati in…
Ollama ha chiuso un round Serie B da 65 milioni di dollari per rafforzare la propria piattaforma dedicata ai modelli AI open source e open-weight. Il finanziamento è guidato da…
MiniMax sta lavorando a un nuovo modello linguistico di grandi dimensioni, indicato internamente come M3 Pro, progettato per arrivare a una scala di circa 2,7 trilioni di parametri. Si tratta…
Vibe Company ha introdotto una soluzione pensata per automatizzare una delle fasi più complesse nell’adozione dell’intelligenza artificiale in ambito enterprise: la trasformazione dei documenti aziendali non strutturati in ontologie e…
Il miglioramento ricorsivo dell’intelligenza artificiale potrebbe non partire dalla modifica diretta dei pesi dei modelli, ma dall’ottimizzazione dei sistemi che li fanno lavorare. Il punto tecnico è importante: invece di…
Vidraft ha reso disponibile VKAE, acronimo di Vidraft Kernel Acceleration Engine, un motore di accelerazione dell’inferenza progettato per aumentare il throughput dei modelli linguistici senza modificare la qualità delle risposte.…
Sysdig ha documentato una campagna ransomware denominata JADEPUFFER, descritta come il primo caso osservato di estorsione informatica condotta end-to-end da un agente AI basato su large language model. L’elemento distintivo…
Tencent ha presentato HY3, un nuovo modello linguistico open weight distribuito con licenza Apache 2.0, progettato per collocarsi nella fascia dei modelli generalisti ad alte prestazioni senza richiedere la stessa…
Il benchmark First Proof è stato progettato per verificare una capacità molto diversa da quella misurata nei tradizionali test matematici per modelli linguistici. Non propone esercizi scolastici, quesiti olimpici o…
Mistral AI ha rilasciato Leanstral 1.5, un modello open source specializzato nella produzione e nella verifica di dimostrazioni formali in Lean 4, il proof assistant utilizzato per rappresentare teoremi matematici…