OpenAI ogłosiło, że niewydany jeszcze model, który nazywa „Astra”, rozwiązał dziesięć wcześniej nierozwiązanych problemów z matematyki i informatyki teoretycznej, w tym obalił wieloletnie przypuszczenia, za mniej niż 2000 dolarów na obliczenia. Firma określiła Astrę jako swój „następny duży model” i, według licznych raportów, zastanawia się, czy wysłać ją jako GPT-6. Przełom to najnowszy sygnał, że pionierskie systemy sztucznej inteligencji zaczynają dawać weryfikowalne wyniki na pograniczu ludzkiej wiedzy – temat ten szczegółowo śledzimy w naszych najnowszych osiągnięciach w zakresie sztucznej inteligencji.

Dziesięć problemów, niektóre otwarte od dziesięcioleci

1 sierpnia 2026 r. OpenAI opublikowało post badawczy zatytułowany „Dziesięć postępów w matematyce i informatyce teoretycznej”, w którym szczegółowo opisano rozwiązania opracowane przez system Astra. Według the-decoder firma wykorzystała to ogłoszenie do wprowadzenia Astry jako swojego kolejnego głównego modelu. Startup Fortune poinformował, że dziesięć problemów nie zostało wcześniej rozwiązanych, a jednym z najbardziej godnych uwagi wyników było obalenie hipotezy sztywności Connesa — problemu mającego głębokie korzenie w algebrach operatorowych i teorii grup.

Niektóre z docelowych problemów pozostawały otwarte przez ponad dekadę, a jeden z portali 36Kr określił kilka z nich jako „poziom trudności Fieldsa”. Uwagę zwróciła skala roszczeń, ponieważ wyniki matematyczne, w przeciwieństwie do wielu benchmarków AI, można w zasadzie rygorystycznie sprawdzić. Według doniesień OpenAI udostępniło wyniki swojej pracy za pośrednictwem formalnych narzędzi weryfikacji i publicznego repozytorium, umożliwiając niezależnym matematykom analizę dowodów zamiast wierzyć w nie.

Rachunek obliczeniowy o wartości ~2000 USD

Jednym z najbardziej uderzających szczegółów jest koszt. Firmy Startup Fortune i XenoSpectrum poinformowały, że model rozwiązał dziesięć otwartych problemów za około 2000 dolarów obliczeń, co stanowi ułamek tego, co zwykle kosztują szkolenia na pionierską skalę. Liczba ta, jeśli jest dokładna, podkreśla, jak daleko zaszła efektywność wnioskowania na podstawie czasu: kosztowną częścią współczesnej sztucznej inteligencji jest w coraz większym stopniu szkolenie, a nie rozwiązywanie poszczególnych problemów.

Wynik opiera się na pracach OpenAI ujawnionych wcześniej w 2026 r., kiedy to wewnętrzny model rozumowania obalił przypuszczenie o odległości jednostkowej planarnej, problem postawiony przez matematyka Paula Erdősa w 1946 r. Ten wcześniejszy wynik dotyczył teorii liczb algebraicznych, w tym wież pól klas nieskończonych i teorii Goloda-Shafarevicha. Ogłoszenie Astry poszerza ten kierunek badań o szerszy zestaw otwartych pytań.

Pokazane senatorom w Waszyngtonie

Moment ujawnienia informacji był celowy. The Information podało wyłącznie, że OpenAI zaprezentowało model Astra w Waszyngtonie, a Yellow.com zauważyła, że ​​demonstracja miała miejsce „na kilka dni przed wprowadzeniem 30-dniowych ram przeglądu” – jest to odniesienie do rosnącego nadzoru regulacyjnego nad nowymi, potężnymi systemami sztucznej inteligencji. Według Startup Fortune dyrektor generalny Sam Altman osobiście przedstawił amerykańskim senatorom model.

Zapowiedź w Waszyngtonie ma znaczenie, ponieważ pozycjonuje Astrę nie tylko jako kamień milowy pod względem technicznym, ale także polityczny. Podczas gdy prawodawcy debatują nad tym, jak regulować modele graniczne w następstwie niedawnych incydentów związanych z bezpieczeństwem cybernetycznym – w tym agentów sztucznej inteligencji, którzy uciekli z piaskownicy podczas testów – OpenAI przekonuje, że jego najbardziej zaawansowane systemy mogą być zarówno wydajne, jak i wystarczająco bezpieczne, aby można je było udostępnić organom regulacyjnym przed publicznym udostępnieniem.

Czy to jest GPT-6?

OpenAI nie potwierdziło oficjalnie, że Astra zostanie wypuszczona na rynek jako GPT-6, ale Startup Fortune poinformował, że firma „rozważa wysyłkę Astry jako GPT-6”. The News International opisał Astrę jako początek „nowej serii modeli”, podczas gdy KuCoin scharakteryzował ją jako model „do zadań długoterminowych” – sugerując nacisk na trwałe, agentyczne rozumowanie, a nie szybkie, jednorazowe odpowiedzi.

Takie podejście wpisuje się w ogólnobranżowy zwrot w kierunku tak zwanych agentów długoterminowych: systemów zaprojektowanych do pracy nad trudnymi problemami przez dłuższy czas, przy użyciu narzędzi i weryfikacji, a nie udzielania odpowiedzi w jednym przebiegu. Wyniki matematyczne są w istocie demonstracją, że takie podejście może dostarczyć naprawdę nowej wiedzy.

Co to oznacza dla badań nad sztuczną inteligencją

Wyniki Astry pojawiają się w kontekście zaciekłej debaty na temat tego, czy rozumowanie sztucznej inteligencji jest rzeczywiście rozsądne, czy jedynie przekonujące. Jeśli dowody przejdą formalną weryfikację i recenzję, będą stanowić znaczący krok poza dopasowywanie wzorców, co sugeruje, że systemy te mogą wnieść wkład w matematykę jako dyscyplinę badawczą, a nie tylko ją naśladować.

Sceptycy ostrzegają, że praca nadal wymaga niezależnej weryfikacji i że „rozwiązanie” problemu w sensie formalnym różni się od zrozumienia przez ludzkiego matematyka, dlaczego wynik jest prawdziwy. Jednak połączenie niskich kosztów obliczeniowych, formalnej weryfikacji i publicznej publikacji daje szerszej społeczności narzędzia do sprawdzania twierdzeń OpenAI.

Na razie Astra nie została udostępniona publicznie. Jasne jest, że OpenAI traktuje matematykę jako nowy poligon doświadczalny dla pionierskiej sztucznej inteligencji i zachęca organy regulacyjne, a także badaczy, do uważnej obserwacji.

Wyprzedź sztuczną inteligencję

Granice badań nad sztuczną inteligencją szybko się przesuwają, a co tydzień pojawiają się nowe przełomy. Śledź każdy większy postęp w naszym relacjonowaniu branży AI.

Przeczytaj więcej aktualności o sztucznej inteligencji →