Astra è il nome del nuovo modello di intelligenza artificiale presentato da OpenAI, un sistema pensato per affrontare problemi matematici complessi e questioni di informatica teorica che finora nessuno era riuscito a sciogliere. Stando ai primi test interni, in alcuni casi l’algoritmo avrebbe trovato soluzioni originali a incognite rimaste aperte per anni all’interno di questi campi. Un annuncio che, se confermato, cambierebbe parecchio il modo in cui pensiamo al rapporto tra macchine e ricerca scientifica.
Secondo una pubblicazione della stessa azienda, Astra avrebbe risolto o comunque generato “un progresso sostanziale” in 10 problemi aperti legati a geometria in dimensioni elevate, teoria della codifica, complessità dei circuiti aritmetici, teoria dei gruppi, algebre di operatori, complessità quantistica, crittografia reticolare e combinatoria estremale. In parole più semplici, risolvere problemi di questo tipo permetterebbe di ottimizzare sistemi e piattaforme legate alle telecomunicazioni, alla crittografia, al calcolo quantistico e alla progettazione di algoritmi.
Un esempio concreto arriva dall’impacchettamento delle sfere. Il modello avrebbe ottenuto nuovi limiti superiori per la densità di questo problema che, in dimensioni molto alte, riguarda il modo migliore per sistemare informazioni digitali simili occupando meno spazio possibile. Tradotto: sistemi di archiviazione e trasferimento dati più efficienti. Astra ha anche prodotto dimostrazioni inedite sulla ripetizione parallela di giochi quantistici, un concetto teorico che studia quanto sia difficile risolvere lo stesso problema quando viene ripetuto in modo simultaneo in sistemi quantistici. Un contributo che aiuta a capire meglio i limiti della computazione quantistica e i protocolli di sicurezza che potrebbero usare i computer del futuro.
Sulla stessa linea, il modello sembra aver individuato nuovi confini matematici per i codici di correzione degli errori. Quei sistemi che aggiungono informazioni a un messaggio digitale per rilevare e correggere guasti durante l’archiviazione o la trasmissione, anche via satellite.
Astra: come lavora il modello e perché serve cautela
OpenAI spiega che Astra non è stato costruito per risolvere un singolo problema con una risposta già nota. Il sistema analizza le incognite, esplora diversi rami della matematica cercando strategie di soluzione, scarta quelle meno efficaci e sviluppa argomentazioni collegate a ciascun problema. I ragionamenti finali sono stati poi rivisti da specialisti, che hanno usato lo stesso modello per trasformare i risultati in testi più chiari. Successivamente il tutto è stato formalizzato con Lean, un software che verifica in automatico se le dimostrazioni rispettano le regole logiche.
Messo insieme, questo processo lascia intendere che l’intelligenza artificiale sia ormai capace di partecipare alla generazione di nuova conoscenza scientifica, e non solo a ripetere esercizi con risposte già conosciute. L’azienda però mette le mani avanti: non significa che questi modelli possano sostituire i matematici. La validazione, la verifica e la contestualizzazione dei risultati resteranno per molti anni nelle mani degli esperti umani. “Man mano che i sistemi di IA diventano collaboratori di ricerca più sofisticati, garantire un accesso ampio è fondamentale per sostenere scienziati e matematici”, conclude OpenAI.
Nonostante le aspettative, diversi esperti invitano a leggere questi numeri con prudenza. Astra dovrebbe diventare il prossimo modello di punta della compagnia, ma non è ancora disponibile al pubblico. Mancano dettagli sul rendimento complessivo e su quanti tentativi siano serviti per arrivare a certe conclusioni. L’annuncio anticipato segue una strategia già vista in molti laboratori, che spingono i loro modelli mostrando risultati ottenuti in test interni, spesso senza valutazioni indipendenti a fare da controprova.
Un caso recente è quello di Alibaba, che ha presentato Qwen3.8-Max, il suo modello linguistico più avanzato. Con 2.4 bilioni di parametri, il sistema può lavorare a lungo senza intervento umano, sempre secondo i test dell’azienda. È pensato per elaborare immagini e testo con l’obiettivo di svolgere compiti di programmazione e ingegneria del software collaborativa. Non scrive solo pezzi di codice su richiesta, ma può seguire progetti interi, correggere errori, proporre miglioramenti e collaborare con altri sviluppatori come un membro del team. Alibaba afferma che il modello ha portato avanti un progetto software da zero per oltre dieci giorni consecutivi, prendendo decisioni e aggiustando la strategia strada facendo. Le prestazioni sarebbero paragonabili a modelli come GPT-5.6 Sol di OpenAI o Fable 5 di Anthropic. Anche qui i dati arrivano solo da prove interne.
