Dieci problemi, alcuni aperti da decenni
Il 1° agosto 2026, OpenAI ha pubblicato un post di ricerca intitolato "Dieci progressi nella matematica e nell'informatica teorica", descrivendo in dettaglio le soluzioni prodotte dal sistema Astra. Secondo the-decoder, l'azienda ha utilizzato l'annuncio per presentare Astra come il suo prossimo modello principale. Startup Fortune ha riferito che i dieci problemi erano precedentemente irrisolti e che uno dei risultati più notevoli è stata la confutazione della Congettura di rigidità di Connes, un problema con radici profonde nell'algebra degli operatori e nella teoria dei gruppi.
Alcuni dei problemi presi di mira erano rimasti aperti per più di un decennio e un canale, 36Kr, ha caratterizzato molti di essi come "livello di medaglia Fields" in difficoltà. La portata delle affermazioni ha attirato l’attenzione perché i risultati matematici, a differenza di molti benchmark dell’intelligenza artificiale, in linea di principio possono essere controllati rigorosamente. Secondo quanto riferito, OpenAI ha reso disponibile il lavoro attraverso strumenti di verifica formale e un archivio pubblico, consentendo ai matematici indipendenti di esaminare attentamente le dimostrazioni anziché crederle per fede.
Una fattura informatica da ~$2.000
Uno dei dettagli più sorprendenti è il costo. Startup Fortune e XenoSpectrum hanno entrambi riferito che il modello ha risolto i dieci problemi aperti per circa $ 2.000 in termini di calcolo, una frazione di quanto costano in genere le attività di formazione su scala di frontiera. Questa cifra, se accurata, sottolinea fino a che punto è arrivata l’efficienza del ragionamento in tempo di inferenza: la parte costosa dell’intelligenza artificiale moderna è sempre più la formazione, non la risoluzione dei problemi.
Il risultato si basa sul lavoro che OpenAI ha divulgato all’inizio del 2026, quando un modello di ragionamento interno ha confutato la congettura della distanza unitaria planare, un problema posto dal matematico Paul Erdős nel 1946. Quel risultato precedente ha toccato la teoria algebrica dei numeri, comprese le torri di campo di classi infinite e la teoria di Golod-Shafarevich. L’annuncio di Astra estende quella linea di ricerca a una serie più ampia di questioni aperte.
Mostrato ai senatori di Washington
Il momento della rivelazione è stato deliberato. The Information ha riferito esclusivamente che OpenAI ha presentato in anteprima il modello Astra a Washington, D.C., e Yellow.com ha notato che la dimostrazione è avvenuta "giorni prima che venga adottato un quadro di revisione di 30 giorni" - un riferimento alla crescente supervisione normativa dei nuovi potenti sistemi di intelligenza artificiale. Secondo Startup Fortune, il CEO Sam Altman ha informato personalmente i senatori statunitensi sul modello.
L’anteprima di Washington è importante perché posiziona Astra non solo come una pietra miliare tecnica ma anche politica. Mentre i legislatori discutono su come regolamentare i modelli di frontiera sulla scia dei recenti incidenti di sicurezza informatica – compresi gli agenti di intelligenza artificiale che sono sfuggiti ai loro sandbox durante i test – OpenAI sta sostenendo che i suoi sistemi più avanzati possono essere sia potenti che sufficientemente sicuri da poter essere condivisi con i regolatori prima del rilascio pubblico.
È questo GPT-6?
OpenAI non ha confermato ufficialmente che Astra verrà lanciato come GPT-6, ma Startup Fortune ha riferito che la società sta "valutando la spedizione come GPT-6". The News International ha descritto Astra come il lancio di una "nuova serie di modelli", mentre KuCoin l'ha caratterizzata come un modello "per compiti a lungo termine" - suggerendo un'enfasi sul ragionamento sostenuto e agente piuttosto che su risposte rapide e immediate.
Questo quadro si allinea con un perno a livello di settore verso i cosiddetti agenti a lungo orizzonte: sistemi progettati per lavorare su problemi difficili per periodi prolungati, utilizzando strumenti e verifiche anziché rispondere in un unico passaggio. I risultati matematici sono, in effetti, una dimostrazione che questo approccio può produrre conoscenze veramente nuove.
Cosa significa per la ricerca sull'intelligenza artificiale
I risultati di Astra finiscono nel bel mezzo di un acceso dibattito sul fatto se il ragionamento di AI sia veramente valido o semplicemente convincente. Se le dimostrazioni resistessero alla verifica formale e alla revisione tra pari, rappresenterebbero un passo significativo oltre l’abbinamento dei modelli, suggerendo che questi sistemi possono contribuire alla matematica come disciplina di ricerca, non solo imitarla.
Gli scettici avvertono che il lavoro necessita ancora di una validazione indipendente e che "risolvere" un problema in senso formale è diverso da un matematico umano che comprende perché un risultato è vero. Ma la combinazione di basso costo di elaborazione, verifica formale e rilascio pubblico offre alla comunità più ampia gli strumenti per verificare le affermazioni di OpenAI.
Per ora Astra rimane inedita al pubblico. Ciò che è chiaro è che OpenAI sta trattando la matematica come il nuovo banco di prova per l’intelligenza artificiale di frontiera – e invitando i regolatori, così come i ricercatori, a guardare da vicino.
Stai al passo con l'intelligenza artificiale
La frontiera della ricerca sull’intelligenza artificiale si sta muovendo rapidamente, con nuove scoperte ogni settimana. Segui tutti i principali progressi attraverso la nostra copertura del settore dell'intelligenza artificiale.
Leggi altre notizie sull'AI →
