OpenAI zaprezentowało swoją kolejną dużą rodzinę modeli – Astrę, pokazując 10 rozwiązanych problemów matematycznych – w momencie, gdy chińscy rywale z obozu open‑weight szybko przejmują rosnący udział globalnego ruchu AI.
Najważniejsze ustalenia:
- OpenAI ujawniło Astrę 1 sierpnia w publikacji badawczej, ogłaszając rozwiązania 10 problemów pozostających otwartymi co najmniej dekadę.
- Model nie ma jeszcze daty premiery ani nawet ostatecznej nazwy i zanim trafi do użytkowników, musi przejść nową federalną procedurę przeglądu.
- Chińskie modele open‑weight obsługują dziś większość kierowanych tokenów, choć amerykańskie laboratoria wciąż 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 poświęconej matematyce.
Wewnętrzna wersja Astry wygenerowała nowe wyniki dla 10 problemów z matematyki i teoretycznej informatyki, 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 osiągnięciem jest pierwsza jawna konstrukcja grupy niesoficznej – problem z teorii grup, który od 1999 roku czekał na rozstrzygnięcie. Badacze szacują, że liczba tokenów potrzebnych do wyprowadzenia wszystkich 10 rozwiązań kosztowałaby około 2 tys. dol. przy obecnych stawkach API dla Sol, flagowego modelu OpenAI.
Zobacz także: OpenAI wysłało influencerów do farm‑resortu. Ich obserwatorzy ostro zareagowali
Matematycy oceniają dowody Astry
Thomas Bloom, matematyk z University of Manchester, który prowadzi publiczną bazę problemów Erdősa, nazwał osiągnięcia Astry dużym wydarzeniem – i ocenił je wyżej niż ogłoszony w maju wynik z geometrii od OpenAI.
Odrzucił przy tym narrację, że maszyny „zabierają” matematykę ludziom, podkreślając, że system był trenowany na ponad stu latach dorobku matematycznego. Noam Brown, badacz OpenAI, przyznał, że zespół próbował także zmierzyć się z innymi słynnymi problemami – bez powodzenia. Żaden z problemów milenijnych nie został rozwiązany, ale – jak argumentuje Brown – każda z tych prób pochłonęła stosunkowo niewiele mocy obliczeniowej, a cały projekt to istotny krok naprzód w kierunku automatyzacji rozumowania naukowego.
Sam Altman zaprezentował system ustawodawcom w Waszyngtonie w ubiegłym tygodniu; Astra ma być pierwszym modelem ocenianym w ramach nowego federalnego schematu przeglądu. Firma nie podała jeszcze daty premiery ani nie zdecydowała, czy rodzina modeli trafi na rynek jako GPT‑6, czy raczej jako kolejna odmiana GPT‑5.
Chińskie open‑weighty przestawiają popyt na tokeny
Ten kalendarz ma znaczenie, bo obóz open‑weight przestał czekać, aż amerykańskie laboratoria zdefiniują granice możliwości modeli.
Szef Nvidii, Jensen Huang, miesiąc temu zebrał za open‑weightami kilka amerykańskich gigantów technologicznych, podczas gdy prezes Anthropic, Dario Amodei, domagał się obowiązkowych testów bezpieczeństwa i ostrzejszej kontroli eksportu chipów.
Moonshot AI w lipcu wypuścił Kimi K3 – model z 2,8 bln parametrów i otwartymi wagami, reklamowany jako największy jak dotąd system typu open.
Na platformie OpenRouter udział tokenów kierowanych do modeli z USA spadł z około 70% w czerwcu 2025 r. do mniej więcej 30% rok później. Jednocześnie amerykańskie laboratoria wciąż przejmowały blisko 95% wydatków na jednym z dużych bramek korporacyjnych w czerwcu – i to właśnie tę lukę przychodową Astra ma pomóc utrzymać.
Przeczytaj następnie: Dogecoin testuje poziom 0,05 dol. przed możliwym rajdem do 0,12 dol.
