Secondo Anthropic, il teorema di Fermat formalizzato in Lean
La dimostrazione comprende 13 milioni di righe di codice Lean e circa 29.500 teoremi intermedi.
Modelli, agenti, applicazioni: l’intelligenza artificiale messa al lavoro su problemi reali.
Qui l’intelligenza artificiale si giudica sulle prove: che cosa fa, per chi, a quale costo. La rubrica segue i modelli e i loro progressi misurabili, gli agenti che eseguono compiti reali e soprattutto le adozioni sul campo — un ospedale che esamina più pazienti, una rete elettrica gestita meglio, un’amministrazione che risponde più in fretta. L’IA spettacolo, i round di finanziamento senza prodotto e le profezie non trovano posto.
Preferiamo i casi d’uso documentati, numeri alla mano: quanti esami, quale tasso d’errore, quale risparmio. Gli attori non occidentali — laboratori cinesi, indiani, emiratini — sono trattati come quelli americani, perché buona parte dell’adozione reale avviene lì. Ogni articolo cita le sue fonti e distingue il prototipo dal servizio in produzione.
La dimostrazione comprende 13 milioni di righe di codice Lean e circa 29.500 teoremi intermedi.
Melody Flip è un plug-in per le workstation audio digitali, non un generatore di brani con un clic.
Può modificare immagini, organizzare album e trasformare le foto di volantini di concerti in appuntamenti sul calendario.
Il dataset WORLD 2026 di AGIBOT copre 14 attività industriali e domestiche.
I ricercatori hanno testato gli algoritmi extra trees e gradient boosting sul dataset MIMIC-III.
Geonho Lee e Min-Soo Kim lo hanno sviluppato come estensione PostgreSQL per riparare query mirate.
Il livello pubblico «xhigh» raggiunge 61 punti nell’Intelligence Index.
È pensato per l'ingegneria del software a lungo termine, gli agenti intelligenti capaci di invocare strumenti in successione e i complessi flussi di lavoro aziendali.
Anglian Water ha firmato un'estensione di due anni con Samotics per il monitoraggio Sam4 di oltre 250 asset per l'acqua potabile.
Gmail, Docs e Note possono essere cercati, riassunti e creati tramite il linguaggio naturale.
Ricercatori di MIT Sloan e Johns Hopkins University hanno testato team personalizzati uomo-AI con oltre 1.200 partecipanti statunitensi.
Slackbot può usare il contesto delle conversazioni e di Canvas per creare PDF, immagini e video.
ACE-Ego-Hand è progettato per video in prima persona acquisiti con visori: analizza l’intero filmato in un’unica operazione e restituisce posa, forma e posizione 3D metrica di entrambe le mani.
Il lancio riguarda inizialmente gli abbonati paganti a Google AI su Android e iOS.
I ricercatori dell’Università di Southampton hanno testato la sessione DISCERN-AI con oltre 600 partecipanti.
In un sistema di prenotazione basato sul machine learning, i pazienti neri hanno atteso circa il 30% in più rispetto ai pazienti non neri.
JanAI ha intervistato 797 insegnanti in Uttar Pradesh, Karnataka, Jharkhand e Maharashtra.
Gmail Live trova dettagli nelle conversazioni email, risponde alle domande successive e mostra i messaggi collegati in una trascrizione in tempo reale.