OpenAI potwierdza rodzinę modeli Astra. Wewnętrzna wersja rozwiązała dziesięć otwartych problemów matematycznych

OpenAI po raz pierwszy oficjalnie użyło nazwy Astra dla swojej następnej dużej rodziny modeli — nie w prezentacji produktowej, lecz w raporcie matematycznym opublikowanym 1 sierpnia. Firma pokazała w nim, że wewnętrzna, nieudostępniona jeszcze publicznie wersja systemu rozwiązała dziesięć problemów, nad którymi matematycy nie zrobili postępu od co najmniej dekady, a w większości przypadków znacznie dłużej.

Co dokładnie rozwiązała Astra?

Dziesięć wyników obejmuje geometrię wysokowymiarową, teorię kodowania, teorię grup, złożoność kwantową, kryptografię kratową i kombinatorykę ekstremalną. Najgłośniejszy dotyczy teorii grup: Astra dostarczyła dowód istnienia grup niesoficznych — rozstrzygnięcie pytania, które od lat uchodziło za jedno z ważniejszych otwartych problemów tej dziedziny. Badacze OpenAI pomogli przygotować prace do publikacji i sformalizowali dowody w języku Lean, generując maszynowo weryfikowalne certyfikaty poprawności; firma deklaruje, że bierze odpowiedzialność za rzetelność wyników. Brytyjski matematyk Thomas Bloom z University of Manchester nazwał je „big news“ i ocenił jako znaczące osiągnięcia konstrukcyjne — podaje The Decoder. Cała dziesiątka rozwiązań kosztowała OpenAI ok. 2000 dol. w przeliczeniu na stawki API.

Czym w ogóle ma być Astra?

Według doniesień The Information Astra to nie kolejny pojedynczy model, lecz nowa klasa systemów obok istniejących już rodzin OpenAI — Sol, Terra i Luna. Ma być projektowana do zadań rozciągniętych w czasie: wiele agentów koordynuje się nad jednym problemem godzinami lub dniami, planując pracę, rewidując własne kroki i delegując podzadania — działając w tle nad badaniami, kodem i zagadnieniami naukowymi, zamiast zwracać pojedynczą odpowiedź na pojedyncze pytanie. OpenAI nie zdecydowało jeszcze, czy Astra wyjdzie jako GPT-6, czy jako kolejny wariant linii GPT-5, na przykład GPT-5.7. Daty premiery nie podano. W minionym tygodniu Sam Altman pokazywał już model Astra na Kapitolu senatorom i regulatorom.

Dlaczego to test dla nadzoru rządowego?

Astra ma być pierwszym modelem OpenAI poddanym planowanemu rządowemu procesowi przeglądu przed publicznym udostępnieniem — procesowi, który rozporządzenie wykonawcze 14409 administracji Trumpa kazało przygotować do 1 sierpnia. Jak pisaliśmy, ten termin minął bez rezultatu: w Federal Register nie pojawiła się żadna notyfikacja, a NIST i CISA nie opublikowały obiecanych, dobrowolnych ram oceny modeli frontier. Astra ma z nich skorzystać jako pierwsza, ale sam mechanizm wciąż nie istnieje w praktyce.

Wynik ma też drugie dno. Zaledwie kilka dni wcześniej ponad 1100 pracowników OpenAI, Anthropic, Google DeepMind i Mety podpisało list wzywający Waszyngton do przygotowania narzędzi kontrolowanego spowolnienia AI — na wypadek, gdyby modele zaczęły samodzielnie automatyzować badania nad kolejnymi modelami. Astra, agentowy system rozwiązujący w tle otwarte problemy matematyki, jest właśnie krokiem w tę stronę: nie zastępuje jeszcze matematyka, ale pokazuje, jak blisko automatyzacji badań naukowych znalazła się dzisiejsza AI.