OpenAI po cichu zaprezentowało model Astra — AI rozwiązało dziesięć wieloletnich problemów matematycznych

OpenAI po cichu zaprezentowało światu swojego kolejnego modelu sztucznej inteligencji o nazwie Astra. Informacja o nowym systemie nie została ogłoszona w osobnym komunikacie, lecz ukryta w publikacji opisującej przełomowe osiągnięcia z zakresu matematyki i informatyki teoretycznej. Firma Sama Altmana przekonuje, że wewnętrzna wersja tego modelu pomogła rozwiązać lub znacząco posunąć naprzód dziesięć wieloletnich problemów badawczych. Szczegółowy opis tych osiągnięć został opublikowany w oficjalnym komunikacie na blogu Spider's Web.

Według OpenAI rezultaty zostały uzyskane przez wewnętrzną wersję Astry, którą firma nazywa „następnym dużym modelem”. Wpis nie zdradza jednak, kiedy system zostanie udostępniony użytkownikom ani pod jaką nazwą trafi na rynek.

Kluczowe wnioski

• Astra rozwiązała dziesięć długoterminowych problemów z matematyki i informatyki teoretycznej, nad którymi naukowcy pracowali od lat, a niekiedy od dekad.
• Model samodzielnie wygenerował matematyczne dowody, które następnie zostały przekształcone przez badaczy w klasyczne publikacje naukowe i zweryfikowane w systemie Lean.
• Koszt obliczeniowy wszystkich dziesięciu rozwiązań wyniósł około 2 tysiące dolarów przy stawkach API modelu GPT-5.6 Sol.
• OpenAI nie ujawniło parametrów technicznych Astry, daty premiery ani miejsca w rodzinie swoich modeli.
• Znaczenie i poprawność deklarowanych przełomów muszą zostać zweryfikowane przez niezależnych matematyków.

Spektakularne osiągnięcia w różnych dziedzinach

Lista problemów rozwiązanych przez Astrę obejmuje zagadnienia z bardzo różnych obszarów matematyki i informatyki. Znajdziemy tam tematy z geometrii wielowymiarowej, teorii kodowania, teorii grup, kryptografii odpornej na komputery kwantowe, złożoności obliczeniowej czy teorii grafów. Część z tych problemów to czyste ciekawostki akademickie, podczas gdy inne mają bezpośrednie znaczenie dla rozwoju informatyki, bezpieczeństwa cyfrowego oraz metod projektowania nowych algorytmów.

OpenAI podkreśla, że do testów wybrano wyłącznie problemy, przy których przez co najmniej dziesięć lat nie udało się osiągnąć przełomu dotyczącego głównego pytania badawczego. Firma udostępniła również przygotowane przez model opisy procesu dochodzenia do poszczególnych rozwiązań, a także komplet manuskryptów i formalnych certyfikatów Lean.

Metodologia i weryfikacja wyników

Proces generowania rozwiązań przebiegał w kilku etapach. Model Astra samodzielnie wygenerował matematyczne argumenty prowadzące do nowych wyników. Następnie badacze, korzystając z tego samego systemu, przekształcili je w klasyczne artykuły naukowe. Kluczowym krokiem było zapisanie wszystkich dowodów w języku Lean — specjalistycznym systemie służącym do formalnego zapisu twierdzeń matematycznych, dzięki któremu komputer może automatycznie sprawdzić poprawność każdego kroku rozumowania.

OpenAI deklaruje, że nie przypisuje autorstwa dowodów ludziom, jeśli zostały one wygenerowane przez system AI. Badacze odpowiadali natomiast za przygotowanie publikacji oraz formalizację dowodów. Takie podejście ma ułatwić niezależną ocenę wszystkich rezultatów i określenie ich znaczenia dla dalszego rozwoju matematyki.

Tajemniczy model pozostaje nieznany

Sam model Astra pozostaje niemal całkowicie nieznany. OpenAI nie ujawniło jego parametrów technicznych, daty premiery ani miejsca w rodzinie swoich modeli. Nie wiadomo również, czy system zostanie udostępniony jako kolejna wersja GPT-5.6, zupełnie nowa linia produktów czy przyszły GPT-6. Media zwracają uwagę, że wzmianka o Astrze znalazła się dopiero w trzecim akapicie wpisu poświęconego matematyce, mimo że dla wielu obserwatorów właśnie zapowiedź nowego modelu okazała się najważniejszą informacją całej publikacji.

Warto pamiętać, że deklarowane przełomy pochodzą od samego OpenAI, a ich znaczenie oraz poprawność będą musiały zostać zweryfikowane przez niezależnych matematyków, zanim będzie można mówić o powszechnie uznanych odkryciach.