OpenAI zaprezentowało swoją kolejną kluczową rodzinę modeli – Astrę, pokazując 10 rozwiązanych problemów matematycznych, podczas gdy chińskie modele open-weight szybko przejmują rosnący udział globalnego ruchu w AI.
Najważniejsze wnioski:
- OpenAI ujawniło Astrę 1 sierpnia w publikacji badawczej, ogłaszając rozwiązanie 10 problemów otwartych co najmniej od dekady.
- Model nie ma daty premiery ani ostatecznej nazwy i musi przejść nową, federalną procedurę przeglądu, zanim trafi do użytkowników.
- Chińskie modele open-weight obsługują dziś większość routowanych tokenów, choć amerykańskie laboratoria nadal zgarniają niemal wszystkie wydatki.
Astra rozwiązuje 10 otwartych problemów matematycznych
Firma ochrzciła model nazwą Astra 1 sierpnia, nie w komunikacie produktowym, lecz w publikacji naukowej poświęconej matematyce.
Wewnętrzna wersja Astry wygenerowała nowe wyniki dla 10 problemów z matematyki i informatyki teoretycznej, z których każdy pozostawał nierozwiązany od co najmniej dziesięciu lat.
OpenAI udostępniło 249‑stronicowy manuskrypt oraz maszynowo weryfikowalne certyfikaty dowodów w Lean 4 na GitHubie, na otwartej licencji.
Najgłośniejszym rezultatem jest pierwsza jawna konstrukcja grupy niesoficznej – problem z teorii grup, który pozostawał bez odpowiedzi od 1999 r. Badacze szacują, że liczba tokenów potrzebnych do wygenerowania wszystkich 10 rozwiązań kosztowałaby ok. 2 tys. dol., licząc według stawek API dla Sol, obecnego flagowego modelu firmy.
Zobacz także: OpenAI zabrało influencerów do wiejskiego resortu, ich obserwatorzy ostro zareagowali
Matematycy oceniają dowody Astry
Thomas Bloom, matematyk z Uniwersytetu w Manchesterze, który prowadzi publiczną bazę problemów Erdősa, nazwał wyniki „dużą sprawą” i ocenił je wyżej niż ogłoszone w maju osiągnięcie OpenAI w geometrii.
Odrzucił jednak narrację o „zastępowaniu” ludzi przez maszyny, podkreślając, że system trenowano na ponad wieku tekstów tworzonych przez matematyków. Noam Brown, badacz z OpenAI, przyznał, że zespół podjął też próby rozwiązania kilku innych słynnych problemów – bez powodzenia. Żaden z problemów milenijnych nie został rozstrzygnięty, choć, jak zaznaczył, każda próba wymagała relatywnie niewielkich nakładów obliczeniowych, a cały projekt nazwał ważnym krokiem w kierunku naukowego rozumowania przez AI.
Sam Altman zaprezentował system ustawodawcom w Waszyngtonie w ubiegłym tygodniu; Astra ma być pierwszym modelem ocenianym w ramach nowego federalnego reżimu regulacyjnego. Firma nie ogłosiła daty premiery ani nie zdecydowała, czy rodzina zadebiutuje jako GPT‑6, czy kolejny wariant GPT‑5.
Chińskie open-weighty przestawiają popyt na tokeny
Kwestia terminu wejścia Astry na rynek nie jest błaha, bo środowisko open-weight przestało czekać, aż amerykańskie laboratoria wyznaczą kolejną granicę rozwoju.
Szef Nvidii, Jensen Huang, w lipcu zebrał wokół idei otwartych wag kilka największych koncernów technologicznych z USA, podczas gdy prezes Anthropic, Dario Amodei, apelował o obowiązkowe testy bezpieczeństwa i zaostrzenie kontroli eksportu chipów.
Moonshot AI w lipcu wypuścił model Kimi K3 z 2,8 bln parametrów i otwartymi wagami, reklamowany jako największy jak dotąd model open-weight.
Na platformie OpenRouter udział tokenów kierowanych do modeli z USA spadł z ok. 70% w czerwcu 2025 r. do ok. 30% rok później. Jednocześnie amerykańskie laboratoria wciąż zgarniały niemal 95% wydatków klientów na jednej z dużych bram korporacyjnych w czerwcu – i to właśnie tę lukę przychodową Astra ma za zadanie obronić.
Czytaj dalej: Dogecoin testuje wsparcie przy 0,05 dol. przed możliwym rajdem do 0,12 dol.