GPT-6 Astra satura ARC-AGI-3, il Cybercab di Tesla arriva ad Austin, Anthropic formalizza l'ultimo teorema di Fermat

L’episodio collega tre annunci che mostrano l’accelerazione delle capacità tecniche: GPT-6 Astra, i Cybercab Tesla visibili ad Austin e la formalizzazione dell’ultimo teorema di Fermat da parte di Anthropic.

Modelli progettati per agire

Il panel descrive Astra come un modello di frontiera orientato all’uso del computer: comprendere schermi, immagini e interfacce, quindi completare compiti in un ciclo interattivo. I risultati sui benchmark citati sono notevoli, ma la discussione ricorda che vanno verificati nei flussi di lavoro reali, soprattutto quando il modello agisce in ambienti software.

Robotaxi come infrastruttura

Il Cybercab viene presentato come un veicolo a due posti senza volante né pedali, progettato intorno alla guida autonoma. Il caso economico si basa sulla semplificazione dell’hardware: meno componenti, un prezzo obiettivo di circa 30.000 dollari menzionato nella conversazione e la prospettiva di flotte gestite dai proprietari. Autorizzazioni locali, sicurezza e capacità produttiva restano determinanti.

La prova formale cambia scala

La conversazione cita una formalizzazione dell’ultimo teorema di Fermat in circa 13 milioni di righe di codice, con circa 29.000 teoremi dimostrati lungo il percorso. Il punto non è soltanto il risultato: è la possibilità di trasformare un ragionamento su larga scala in artefatti verificabili su cui altri possano costruire.

Cosa osservare

La competizione tra laboratori di IA riguarda sempre più agenti, efficienza e integrazione con gli strumenti. Nel frattempo il trasporto autonomo passa dalla dimostrazione all’economia operativa e la verifica formale diventa un indicatore concreto dei progressi dell’IA scientifica.

Source

• Chaîne: Peter H. Diamandis
• Vidéo source: https://www.youtube.com/watch?v=1DB_QDiviH4