In breve:
Astra è il prossimo modello di OpenAI non ancora disponibile al pubblico. I 10 problemi che ha risolto riguardano matematica e informatica teorica ed erano irrisolti da almeno dieci anni. Il risultato principale è la prima costruzione esplicita di un tipo di struttura algebrica di cui finora nessuno era riuscito a esibire un esempio; la questione era aperta da decenni. Il costo di calcolo stimato per generare le soluzioni è stato di 2.000 dollari. OpenAI ha pubblicato su GitHub un manoscritto di 249 pagine e le dimostrazioni in un formato che un software può controllare passo per passo in automatico; tutte e dieci risultano correttamente verificate.
Questo testo è un riassunto del seguente articolo (eng):
Alternativa in italiano: non pervenuta
