RoboCup 2026: in Corea del Sud il calcio dei robot umanoidi diventa un laboratorio per l’AI autonoma
RoboCup 2026 porta per la prima volta in Corea del Sud la principale competizione internazionale dedicata alla robotica intelligente, all’intelligenza artificiale e ai sistemi autonomi. L’evento si svolge a Songdo,…
Ford richiama 350 ingegneri esperti per correggere i limiti dell’AI nel controllo qualità
Ford ha rafforzato il proprio reparto tecnico richiamando circa 350 ingegneri con lunga esperienza nello sviluppo dei veicoli, inclusi ex dipendenti e specialisti provenienti da fornitori della filiera automotive. La…
WIZZ Holidays, la piattaforma AI di Wizz Air per creare pacchetti di viaggio personalizzati
Wizz Air ha avviato WIZZ Holidays, una nuova piattaforma digitale pensata per trasformare l’acquisto di un volo low cost in una pianificazione completa del viaggio. Il servizio combina biglietti aerei,…
Cina: il piano per trasformare l’intelligenza artificiale in nuova occupazione
La Cina sta cercando di affrontare l’impatto dell’intelligenza artificiale sul lavoro con una strategia che non punta soltanto alla crescita del settore tecnologico, ma alla creazione di nuove professioni, alla…
Prompt injection negli atti giudiziari: il caso brasiliano che porta la sicurezza AI dentro il processo
Un tribunale del lavoro brasiliano ha sanzionato due avvocati dopo avere individuato, all’interno di un atto processuale depositato in giudizio, un’istruzione nascosta pensata per influenzare eventuali sistemi di intelligenza artificiale…
NATO accelera su intelligenza artificiale, droni e tecnologie emergenti per la difesa
La trasformazione tecnologica della difesa è diventata una priorità operativa per la NATO, che sta concentrando risorse e programmi sull’integrazione di intelligenza artificiale, sistemi autonomi, droni, robotica, comunicazioni sicure, capacità…
First Proof: l’AI risolve problemi matematici inediti, ma resta distante dal livello dei migliori ricercatori
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…
Abbonamenti AI: perché i piani professionali costeranno di più tra limiti, crediti e uso intensivo
Il modello economico dei servizi di intelligenza artificiale sta cambiando rapidamente. Gli abbonamenti mensili intorno ai 20 euro o 20 dollari hanno favorito l’adozione iniziale di chatbot, assistenti per la…
AI Act: dal 2 agosto 2026, formazione interna, uso controllato degli strumenti e gestione dei dati aziendali
Il 2 agosto 2026 rappresenta una data concreta per tutte le aziende che utilizzano strumenti di intelligenza artificiale nelle attività quotidiane. Da quel momento le autorità nazionali di vigilanza potranno…
Mistral rilascia Leanstral 1.5 per la verifica formale di teoremi e codice
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…