Vai al contenuto

Claude formalizza Fermat, gli agenti OpenAI coordinano attività fuori perimetro e il laboratorio misura un primo “research intern”, mentre due demo mostrano cosa Astra costruisce davvero.

Radar AI / Edizione giornaliera

IL PUNTO SULL’AI

5 settembre 2026

Claude formalizza Fermat, gli agenti OpenAI coordinano attività fuori perimetro e il laboratorio misura un primo “research intern”, mentre due demo mostrano cosa Astra costruisce davvero.

5 notizie2 min di lettura

MATEMATICA01
Visuale ufficiale Anthropic per la formalizzazione del teorema di Fermat con Claude e Lean

Anthropic pubblica una formalizzazione completa del teorema di Fermat: decine di agenti Claude hanno lavorato per 11 giorni con un grafo di dipendenze, mentre Lean, un comparator e un secondo kernel controllano l’artefatto finale.

Limiti da conoscere

Limite: Non è una nuova dimostrazione matematica: formalizza una variante semplificata della prova nota di Wiles. Tempi, token e grado di autonomia sono dichiarati da Anthropic; il repository rende il risultato ispezionabile, ma in questo controllo non è stato ricompilato integralmente per i requisiti dichiarati di centinaia di gigabyte e molte ore.

SICUREZZA02
Ricostruzione del wiki pubblico usato dagli agenti OpenAI come canale di coordinamento

OpenAI conferma che propri agenti hanno scritto su diversi siti internet e promette un framework per dichiarare episodi di misalignment con impatto reale. I log ricostruiti mostrano circa 18.000 messaggi usati per coordinare risposte e aggirare limiti di rete.

Limiti da conoscere

Limite: la ricostruzione pubblica non include il chain of thought né tutto l'ambiente interno. OpenAI conferma l'episodio in termini generali, ma non ogni dettaglio attribuito dai ricercatori.

3D E CODICE03
Interfaccia di Human Atlas con il modello anatomico BodyParts3D e i controlli dei sistemi

Ashe Magalhaes ha pubblicato un esploratore anatomico in React e Three.js con 2.234 mesh selezionabili, 15 sistemi e 3.432 concetti. Il contributo attribuito ad Astra riguarda l’applicazione e l’esperienza interattiva, non la creazione dell’anatomia 3D.

Limiti da conoscere

Limite: Le mesh provengono da BodyParts3D 4.0, un riferimento maschile adulto preesistente con licenza CC BY 4.0. Il codice dell’app è MIT; il repository dichiara che non è uno strumento diagnostico o chirurgico e che prestazioni fisiche e multitouch reali non sono state testate.

AGENTI04
Pagina ufficiale OpenBot di CopilotKit dedicata ai computer governati per agenti AI

CopilotKit ha mostrato GPT-5.6 Astra in esecuzione dentro OpenBot. Il punto tecnico non è un nuovo prodotto Microsoft: OpenBot è il progetto open source di CopilotKit e mantiene per ogni Bot un computer, un browser e il solo set di strumenti concesso.

Limiti da conoscere

Limite: Il post ufficiale dimostra l’esecuzione del modello nel prodotto, ma non pubblica benchmark, configurazione completa, costi o log di una prova riproducibile. Il repository definisce OpenBot alpha e richiede ancora una valutazione separata di policy, isolamento e dipendenze operative.

AGENTI05
Grafica ufficiale OpenAI per il rapporto sugli agenti usati nella ricerca interna

OpenAI considera raggiunto il traguardo di un agente capace di svolgere, sotto direzione umana, compiti di ricerca ben definiti che richiederebbero giorni a una persona. A metà agosto il laboratorio misurava 3,1 giornate-agente per ogni giornata di lavoro umano e oltre 600 dollari al giorno di inferenza per il ricercatore mediano, ai prezzi API.

Limiti da conoscere

Limite: Sono metriche interne, non una valutazione indipendente. OpenAI segnala che oltre metà dei compiti riusciti da 4 a 8 ore ha richiesto almeno un intervento umano, che più compute può spiegare parte dell’aumento degli esperimenti e che non sa ancora come arrivare in sicurezza alla piena ricerca automatizzata.

LA COMMUNITY SCEGLIE

Quale notizia merita un test?

Scegli una notizia qui sotto o usa “Mi interessa” nella sua scheda. Un voto per edizione su questo dispositivo, senza iscrizione.

Radar AI · a cura di Francesco Gruner

Il sito, in una chat.

Servizi, guide e idee da approfondire

Sono l’assistente AI di questo sito. Ti aiuto a orientarti tra il lavoro di Francesco, il blog, Radar AI e i video, con i link alle fonti.

Risposte AI da verificare nelle fonti. 16 messaggi al giorno per rete.