Anthropic sostiene che la sua nuova AI abbia formalizzato la dimostrazione dell’Ultimo Teorema di Fermat in trenta ore. Il risultato viene presentato insieme al debutto di Claude Fable 5.2 e Claude Mythos 5.2, due modelli destinati ad affrontare problemi tecnici che l’azienda definisce “scoraggianti”. L’Ultimo Teorema di Fermat ha occupato i matematici per oltre tre secoli, mentre le nuove sistemi mirano a ridurre i tempi richiesti per affrontare questioni scientifiche e ingegneristiche particolarmente difficili.
Approfondisci: Claude Fable 5.2 progetta un sistema operativo completo
I miglioramenti dichiarati riguardano programmazione, ragionamento e visione. Inoltre, i due modelli producono risposte più rapidamente rispetto ai fratelli maggiori della serie 5.1, usciti a settembre. La disponibilità, però, non è uguale per entrambi: Fable 5.2 è disponibile da oggi, mentre Mythos 5.2 parte in versione riservata. All’inizio potranno accedervi soltanto aziende selezionate e controllate.
Nel software engineering, Fable 5.2 dimostra una particolare attitudine nel coordinare squadre di agenti, cioè più istanze di AI che si dividono il lavoro. Il modello può inoltre gestire progetti di lunga durata senza perdere il filo a metà strada, una capacità utile per operazioni che richiedono continuità e coordinamento tra più componenti.
Le prove scientifiche citate riguardano anche la fisica dei buchi neri. Secondo Anthropic, durante i test i due modelli hanno contribuito a portare a termine migrazioni software molto complesse, progettare tre dispositivi elettronici funzionanti, risolvere due problemi aperti sulla fisica dei buchi neri e migliorare le valutazioni di robotica. A questo si aggiunge la formalizzazione della dimostrazione dell’Ultimo Teorema di Fermat in trenta ore.
Questi risultati richiedono una lettura attenta, perché a raccontarli è la stessa azienda che vende i modelli. Anthropic definisce i problemi tecnici affrontati dai nuovi modelli “scoraggianti”, ma la validazione indipendente delle prestazioni dichiarate non è disponibile. Soprattutto, la formalizzazione di una dimostrazione non equivale a elaborarla da zero: non è quindi noto quanto sia stato determinante l’intervento umano.
Le nuove capacità si estendono dunque alla programmazione, al ragionamento, alla visione e al coordinamento di più agenti, con tempi di risposta inferiori rispetto alla serie 5.1. La disponibilità immediata di Fable 5.2 e l’accesso iniziale ristretto a Mythos 5.2 definiscono comunque due livelli distinti di distribuzione.
