OpenAI ha trascorso il sabato facendo qualcosa che raramente fa: dare un nome a un modello incompiuto. Un rapporto di matematica e un post di accompagnamento hanno associato il nome Astra alla prossima famiglia principale dell'azienda, e le hanno affiancato un elenco di dieci problemi precedentemente aperti che una versione interna avrebbe risolto.

Che cosa è stato effettivamente sostenuto

I dieci risultati toccano geometria ad alta dimensione, teoria della codifica, teoria dei gruppi, complessità quantistica, crittografia su reticoli e combinatoria estrema. La cornice di OpenAI è che ciascuno di questi problemi non avesse visto alcun progresso per almeno un decennio. Ogni dimostrazione è stata formalizzata in Lean, l'assistente di dimostrazione, e l'azienda stima il conto del compute in circa 2.000 dollari alle tariffe API attuali per Sol. Thomas Bloom, che gestisce il database dei problemi di Erdős, ha definito i risultati una grande notizia — il commento di un matematico che lavora nel settore, non una verifica indipendente.

Che cosa certifica e che cosa non certifica Lean

Questa è la distinzione che gran parte della copertura sta perdendo. Una dimostrazione verificata da Lean è valida: i passaggi reggono. Lean non dice nulla sul fatto che l'enunciato fosse difficile, che fosse davvero aperto o che il risultato conti davvero. Sono giudizi che la comunità matematica formula nel corso di mesi, e nulla di tutto ciò è stato sottoposto a peer review. I risultati sono auto-riportati.

Due eventi, non uno

I siti aggregatori hanno fuso una dimostrazione privata a Washington di venerdì, riportata da The Information, con il rapporto matematico pubblico di sabato. Si tratta di eventi separati. L'appuntamento di venerdì era un briefing chiuso; quello di sabato era l'artefatto.

Anche il nome non è definitivo

OpenAI descrive Astra come una designazione provvisoria. L'azienda non ha detto se la famiglia arriverà come GPT-6, come GPT-5.7 o come una fascia distinta affiancata alle linee esistenti Sol, Terra e Luna. Nulla è disponibile per gli sviluppatori, non c'è un listino prezzi e non c'è una data di rilascio.

A che cosa servirebbe Astra, secondo quanto riportato

L'obiettivo di progettazione associato alla famiglia nelle precedenti notizie è un modello costruito per lavorare su un singolo problema per ore o giorni, anziché rispondere in pochi secondi. Questo è coerente con ciò che implica una sessione matematica su dieci problemi: orizzonti lunghi, ricerca prolungata e una spesa misurata in migliaia di dollari per risultato invece che in frazioni di centesimo per richiesta. Spiega anche perché il lancio viene anticipato attraverso i risultati di ricerca. Un modello il cui valore commerciale è passare un giorno su una sola domanda non può essere mostrato in una finestra di chat, e l'unica prova leggibile della sua efficacia è un risultato che qualcun altro non era riuscito a ottenere.