Indice
OpenAI mostra Astra, il nuovo modello AI che avrebbe risolto problemi aperti di matematica e informatica teorica rimasti irrisolti per oltre dieci anni.
L’intelligenza artificiale non si limita più a scrivere testi, generare immagini o aiutare gli sviluppatori a programmare. Il prossimo passo potrebbe essere ancora più ambizioso: contribuire direttamente alla produzione di nuova conoscenza scientifica. È proprio questo l’obiettivo di Astra, il nuovo modello mostrato da OpenAI, progettato per affrontare alcuni dei problemi più complessi della matematica e dell’informatica teorica.
Secondo quanto dichiarato dall’azienda, una versione interna del sistema sarebbe riuscita a ottenere risultati originali su dieci problemi aperti che non registravano progressi significativi da almeno un decennio. Se queste affermazioni verranno confermate dalla comunità scientifica, ci troveremmo davanti a uno dei casi più significativi di collaborazione tra ricercatori umani e intelligenza artificiale.
Astra guarda oltre GPT-5.6
OpenAI descrive Astra come il progetto destinato a raccogliere l’eredità della famiglia GPT-5.6, ma con un obiettivo diverso rispetto ai modelli generalisti.
L’attenzione, infatti, non è rivolta alla produttività quotidiana o alla conversazione naturale, bensì alla capacità di affrontare problemi scientifici altamente specialistici. L’idea è sviluppare un’intelligenza artificiale capace non solo di analizzare informazioni esistenti, ma anche di proporre nuove dimostrazioni matematiche e nuovi percorsi di ricerca.
È una differenza sostanziale. Finora la maggior parte dei sistemi AI si è distinta soprattutto nell’organizzare e sintetizzare conoscenze già disponibili. Astra punta invece a generare risultati che potrebbero ampliare il sapere umano.
Dalle intuizioni alle dimostrazioni formali
Uno degli aspetti più interessanti riguarda il metodo di lavoro del modello.
Secondo OpenAI, Astra non si limita a suggerire possibili soluzioni. Dopo aver individuato una strada promettente, il sistema sarebbe stato in grado di trasformarla in una dimostrazione matematica formale utilizzando Lean, uno dei linguaggi più utilizzati nella verifica assistita delle prove matematiche.
Questo passaggio è fondamentale perché riduce il rischio di errori logici e permette ai ricercatori di verificare ogni singolo passaggio della dimostrazione.
In altre parole, non si tratta semplicemente di un’intuizione generata dall’intelligenza artificiale, ma di un procedimento che può essere controllato e validato dalla comunità accademica.
Problemi aperti da oltre dieci anni
Le aree affrontate da Astra appartengono ai settori più avanzati della matematica contemporanea. OpenAI cita problemi legati alla disposizione ottimale delle sfere nello spazio, alla teoria dei codici utilizzata nelle comunicazioni digitali, alla crittografia post-quantistica, alla teoria dei gruppi, alla complessità computazionale e alla teoria dei grafi.
Sono discipline che, pur apparendo molto teoriche, hanno applicazioni concrete in numerosi ambiti tecnologici. Dalla sicurezza informatica alle telecomunicazioni, passando per il calcolo quantistico e lo sviluppo di nuovi algoritmi, molti dei progressi digitali degli ultimi anni sono nati proprio da risultati ottenuti in questi campi della matematica.
Un costo sorprendentemente contenuto
Un altro dato evidenziato da OpenAI riguarda la quantità di risorse necessarie per ottenere questi risultati. L’azienda afferma che il lavoro svolto da Astra avrebbe richiesto una potenza di calcolo equivalente a circa 2.000 dollari utilizzando le tariffe API del modello GPT-5.6 Sol.
Si tratta di una cifra relativamente contenuta rispetto agli enormi investimenti normalmente associati alla ricerca sull’intelligenza artificiale. Se questo dato verrà confermato, potrebbe dimostrare che contributi scientifici di alto livello non richiedono necessariamente infrastrutture gigantesche, ma soprattutto modelli progettati per affrontare problemi specifici.
Adesso tocca alla comunità scientifica
OpenAI ha comunque precisato che il lavoro dovrà essere sottoposto alla verifica della comunità accademica. Per questo motivo ha pubblicato i manoscritti prodotti dal modello, le dimostrazioni formali e l’intero percorso seguito durante la ricerca, invitando matematici e informatici ad analizzare i risultati e verificarne correttezza, originalità e rilevanza.
È un passaggio indispensabile. In matematica una dimostrazione non diventa valida perché proposta da un sistema avanzato, ma soltanto dopo essere stata controllata e accettata dagli esperti del settore.
L’AI potrebbe cambiare il ruolo dei ricercatori
Se Astra manterrà le promesse, il suo impatto potrebbe andare ben oltre la matematica. L’intelligenza artificiale potrebbe trasformarsi in uno strumento capace di affiancare gli scienziati nella ricerca di nuove soluzioni, accelerando processi che oggi richiedono anni di lavoro. Questo non significa sostituire i ricercatori, ma modificare profondamente il loro modo di lavorare.
Così come i software di simulazione hanno cambiato la fisica e quelli di sequenziamento hanno rivoluzionato la biologia, modelli come Astra potrebbero diventare partner di ricerca in grado di esplorare migliaia di ipotesi in tempi molto più rapidi rispetto a quelli umani.
Naturalmente servirà tempo per capire quanto questi risultati siano realmente innovativi. Ma una cosa appare già evidente: l’intelligenza artificiale sta iniziando a spostarsi dalla semplice automazione delle attività verso un terreno molto più ambizioso, quello della scoperta scientifica.
