Strumenti
PaperFormalizer: verificare in Lean le lacune degli articoli
PaperFormalizer, pipeline agentica presentata su arXiv il 26 ottobre 2026, autoformalizza articoli scientifici in Lean con l'autore nel ciclo di verifica.
Categoria
Strumenti
Tutto quello che pubblichiamo su Strumenti: notizie verificate, con le fonti in chiaro.
Tutti gli articoli
Strumenti
Le chiamate con ospiti di WhatsApp: come funzionano in Italia
WhatsApp ha lanciato le chiamate con ospiti: chi non ha l'app entra da un link nel browser, in chiamate fino a 32 persone già attive in Italia.
Strumenti
Decisioni System One: Runoff e Jeva contro l'ordine delle opzioni
Due studi su arXiv mostrano che i modelli System One cambiano risposta in base all'ordine delle opzioni e propongono Runoff e Jeva come soluzioni.
Strumenti
Gemini 4 Argon esce dall'anteprima e resta riservato a chi paga
Google apre Gemini 4 Argon a sviluppatori e aziende: nell'app e in Search il modello resta riservato agli abbonati AI Pro e AI Ultra.
Strumenti
PropTech ibrido: il modello Dwelly e la metrica dei minuti umani
Il PropTech ibrido di Dwelly unisce tecnologia e operatività: oltre 15.000 immobili gestiti e tempi umani per pratica scesi da tre ore a 15-20 minuti.
Strumenti
GPT-5.6 Luna gratis su ChatGPT con chat di testo illimitate
OpenAI estende le chat di testo illimitate agli utenti free e Go di ChatGPT con GPT-5.6 Luna, mentre Plus e Pro ricevono GPT-5.6 Sol con cursore di sforzo.
Strumenti
Cosa cambia per la musica generata con Suno
Suno si impone dei limiti per la musica generata con l'IA: arrivano i watermark e i limiti ai download per gli utenti.
Strumenti
PropTech e locazioni immobiliari: come l'AI trasforma l'affitto
L'ascesa del PropTech e dell'intelligenza artificiale sta trasformando le locazioni immobiliari dall'inizio alla fine.
Strumenti
Chatbot supermercati digitali: come cambia la strategia dei brand
I chatbot supermercati digitali stanno rapidamente trasformando la distribuzione online: la domanda può nascere nella conversazione.
Strumenti
Agenti conversazionali: memoria, grounding e rischi operativi
Il nucleo dell'analisi riguarda agenti conversazionali e autonomi che agiscono, ricordano e si riprendono dagli errori in contesti professionali.
Strumenti
Tablet Samsung e Grokipedia: hardware e AI per la conoscenza
La tecnologia che si porta in tasca o nella borsa cambia anche il modo in cui si accede e si produce conoscenza.
Strumenti
Intelligenza artificiale in pubblicità, giochi, dispositivi e lavoro
Qui si osserva invece come l'intelligenza artificiale permea ciascuno di questi ambiti e ricombina modelli di business, lavoro e privacy.
Strumenti
Sintesi dell'offerta (holafly holacoins)
Holafly HolaCoins: come funziona il programma inviti e cosa cambia per i viaggiatori.
Strumenti
Dispositivi portatili: autonomia, AI a bordo e impatto sui data center
Tre tendenze apparentemente separate: dispositivi portatili più potenti, fotocamere che elaborano in corpo macchina e il rifiuto sociale dei data center per l'intelligenza artificiale.
Strumenti
equity compass: guida pratica per portare equità nell'AI aziendale
L'equity compass è il pacchetto operativo lanciato da Valore D come Libro Bianco per portare l'equità dentro i progetti di intelligenza artificiale nelle imprese.
Strumenti
Marchio invisibile di Anthropic: come segnala testi scritti dall'AI
Anthropic ha introdotto un marchio invisibile sui contenuti generati dal suo modello Claude, pensato per segnalare automaticamente che un testo è stato prodotto dall'intelligenza artificiale.
Strumenti
Intelligenza artificiale nell'Altopiano: strategie per sindaci
L'intelligenza artificiale entra nel dibattito dell'Altopiano e la domanda è chiara: i sindaci e i manager locali vogliono guidare la trasformazione o subirla?
Fonti utili
Gli enti che pubblicano dati e provvedimenti su questo tema, se ti serve risalire all'originale. Cosa cambia e cosa comporta te lo raccontiamo noi.
- Agenzia per la Cybersicurezza Nazionale ACN
L'agenzia nazionale per la cybersicurezza: linee guida e allerte su cosa comporta introdurre strumenti automatici nei processi.
- AI Act: il quadro normativo europeo Commissione europea
Cosa comporta usare un sistema di AI: gli obblighi a carico di chi lo adotta, non solo di chi lo produce.
Contatti
Scrivici.
Segnalazioni, proposte di collaborazione, idee per un articolo: raccontacele qui. Il modulo arriva direttamente in redazione.