News

Greg Brockman, co-fondatore di OpenAI, ha chiarito il fallimento iniziale dei plugin di ChatGPT e ha offerto un'immagine dettagliata della prospettiva futura della piattaforma. Secondo Brockman, l'obiettivo è rendere ChatGPT quasi invisibile agli occhi degli utenti, trasformandolo in uno strumento di lavoro di fondo. Questo articolo esplora le criticità degli strumenti esistenti, come i plugin, e presenta le ultime iniziative nel campo dell'integrazione delle IA da OpenAI, Anthropic e Microsoft.

Mistral AI rilascia un modello open-source in grado di risolvere complessi test matematici di alto livello e individuare errori nel codice di librerie utilizzate. Tra i risultati più rilevanti, il modello raggiunge punteggi del 100% e individua errori precedentemente sconosciuti.

Mistral AI ha recentemente rilasciato un modello open source, Leanstral 1.5, per la verifica formale in programma Lean 4. Il modello ha ottenuto risultati eccezionali in benchmark per matematica formale ed è in grado di rilevare errori nel codice sorgente. Disponibile gratuitamente, rappresenta un passo avanti significativo nell'applicazione di intelligenza artificiale alla verifica della correttezza del codice e della matematica formale.

Questo articolo offre una panoramica sulle novità settimanali nel mondo dello sviluppo che non hanno fatto notizia principale, ma che rimangono significative per i professionisti del settore. Vengono illustrati nuovi strumenti e aggiornamenti rilevanti per gli sviluppatori, forniti da vari progetti open source e aziende tecnologiche.

Fable 5 di Anthropic torna in circolazione dopo mesi di interruzioni, ma i utenti hanno notato un calo importante nelle sue capacità e un'eccessiva attivazione della funzione di sicurezza "preferirei non farlo". Queste limitazioni hanno rimosso l'accesso al modello per i non statunitensi e minacciano di restringere ulteriormente l'uso di Fable 5 solo ai clienti paganti.

Questo articolo presenta una panoramica dettagliata dei 22 framework e gateway per l'orcheastrazione di grandi modelli linguistici (LLM), esaminandone le funzionalità principali, l'adeguatezza alle esigenze aziendali e quelle degli sviluppatori, e fornendo esempi, dati e confronti tra le soluzioni.

Il CEO di Meta, Mark Zuckerberg, ha ammesso in una riunione interna che lo sviluppo degli agenti AI aziendali non sta avanzando alla velocità prevista. Il rilancio strategico intorno a questi progetti si è dimostrato meno fluido del previsto mentre il capo dell’AI, Alexandr Wang, ha offerto un'immagine meno preoccupante. L’azienda continui a cercare di migliorare le sue capacità AI nonostante i ritardi.

Bridgewater e il Thinking Machines Lab hanno sviluppato un modello di AI open-source per l'analisi dei documenti finanziari, che è più efficiente rispetto ai modelli commerciali. Il modello Qwen3-235B, finemente aggiustato con conoscenza esperta interna, raggiunge quasi l'85% di accuratezza e costa 14 volte meno. Questo mostra che le aziende possono sviluppare potenti soluzioni AI utilizzando i propri dati senza condividere informazioni sensibili con grandi fornitori.

Uno studio dell'Istituto Britannico per la Sicurezza dell'IA dimostra che i benchmark tradizionali sottostimano sistematicamente le capacità degli agenti IA quando i budget di calcolo sono ridotti. I nuovi modelli mostrano miglioramenti significativi, fino al 25 percento, in settori come cybersecurity e sviluppo software, mentre l'aumento dei token richiesti per completare una task correla con la quantità di tempo necessaria a un esperto umano per svolgerla. L’Istituto raccomanda di misurare le capacità come una curva in base al budget, non come un dato fisso, per una valutazione più accurata.

Anthropic ha vietato l’accesso a Claude Code alle aziende controllate dalla Cina, ma alcune grandi aziende locali riescono a bypassare i limiti. Intanto Alibaba ha vietato ai propri dipendenti di utilizzare Claude Code, preoccupata da codice nascosto in grado di individuare utenti legati alla Cina. Ecco dettagli sull’andamento della questione.

In una riunione interna, Mark Zuckerberg ha riconosciuto ritardi nella transizione verso la KI di Meta. I cosiddetti agenti KI sviluppano più lentamente del previsto, causando preoccupazioni tra i vertici. Nonostante il CEO esprimesse timori, il direttore della ricerca KI, Alexandr Wang, si dimostra ottimista sugli sviluppi futuri.

Google ha reso disponibile in Open Source "Agent Skill Super Toolbox", un progetto che integra perfettamente Cloud, una libreria, un motore e strumenti di Intelligenza Artificiale. Gli sviluppatori accolgono con entusiasmo questa novità.

Un'indagine dell'AI Security Institute del Regno Unito ha rivelato che le valutazioni attuali sottostimano sistematicamente le capacità degli agenti di intelligenza artificiale quando i budget di calcolo sono ridotti. Alzando il budget di calcolo, i modelli di intelligenza artificiale migliorano la loro capacità di svolgere compiti, specialmente in ambiti come cibersicurezza e sviluppo software.

L’utilizzo della piattaforma Claude Code da parte di aziende cinesi sta alimentando un acceso dibattito legale e operativo. Anthropic lotta per prevenire l’accesso non autorizzato, mentre aziende come Alibaba vietano l’uso interno per rischi di sicurezza.

Das Handwerk nutzt KI, um Verwaltungsaufgaben zu optimieren. Neue Software verbindet LLMs mit Branchensoftware und generiert Dokumente wie Angebote. Dies senkt den administrativen Aufwand und steigert die Effizienz.

Meta lancia Pocket, una nuova app che permette di creare e condividere giochi mini-games utilizzando l'intelligenza artificiale e social elements. L'app, non rilasciata a tutti gli utenti, potrebbe diventare una piattaforma per aumentare il tempo di permanenza sugli altri servizi Meta.

Microsoft ha progettato una versione alternativa di Windows 11, chiamata Progetto Aion. Il sistema, basato su KI e sull’AI, avrebbe utilizzato il Copilot come launcher principale al posto del menu Start. Benché il concetto fosse innovativo, è probabile che non venga mai lanciato sul mercato a causa dell'accoglienza tiepida da parte degli utenti verso le nuove tecnologie.

Meta ha lanciato in silenzio Pocket, un'app mobile in grado di generare mini-giochi partendo da un semplice prompt. L'app è apparsa inaspettatamente sugli store di giugno, ma non è disponibile in Francia. L'app si basa sull’intelligenza artificiale per permettere agli utenti di creare e interagire con "gizmos", integrando sensori come fotocamera e microfono.

Meta ha annunciato nuove funzionalità a pagamento per le sue lenti intelligenti. Questo modello di iscrizione, denominato Meta One, offre accesso a funzionalità premium non solo per le lenti, ma anche per applicazioni come Instagram, Facebook e WhatsApp. Tuttavia, questa decisione ha suscitato critiche da parte degli utenti per il prezzo supplementare rispetto ad un prodotto già acquistato.

Google ha reso open source la sua "Agent Skill Super Toolbox", una soluzione che unifica Cloud, Biblioteca, Motore e Intelligenza Artificiale. I programmatori sono entusiasti della sua usabilità e delle sue potenzialità.