OpenAI rzuca wyzwanie matematykom. Modele Astra rozwiązały problemy, z którymi nauka walczyła od lat

OpenAI wchodzi w nowy etap rozwoju sztucznej inteligencji, prezentując rodzinę modeli o roboczej nazwie Astra. W przeciwieństwie do dotychczasowych systemów, które stawiały na błyskawiczne generowanie tekstu, Astra została zaprojektowana do wielogodzinnej, a nawet wielodniowej pracy nad złożonymi problemami. Ambicje Sama Altmana sięgają daleko poza czatboty — celem jest stworzenie autonomicznego badacza AI, zdolnego do koordynowania pracy wielu agentów jednocześnie.

Dlaczego to ważne właśnie teraz

Prezentacja Astry to moment, w którym teoretyczne rozważania o „rozumowaniu” AI zderzają się z twardą nauką. Według raportów The Information, OpenAI przygotowało już raport dokumentujący rozstrzygnięcie dziesięciu matematycznych zagadek, które dotąd pozostawały bez odpowiedzi. To sygnał dla rynku i polityków, że sztuczna inteligencja przestaje być jedynie sprawnym edytorem tekstu, a staje się narzędziem do łamania barier intelektualnych nieosiągalnych dla tradycyjnych metod.

Matematyczny pokaz siły

Najbardziej spektakularnym dowodem możliwości nowej architektury jest właśnie owa lista dziesięciu otwartych problemów z zakresu matematyki i informatyki teoretycznej. Niektóre z nich czekały na rozwiązanie przez dekady. Wyniki obejmują geometrię wysokowymiarową, kryptografię sieciową i teorię grup. Szczególne poruszenie wywołał dowód istnienia grup niesoficznych. Jak podają Źródła wtórne, system udowodnił, że potrafi utrzymać spójność myślową tam, gdzie człowiek gubi wątek.

OpenAI sformalizowało dowody w języku Lean, co umożliwia ich błyskawiczną weryfikację maszynową. Firma podjęła też niecodzienną decyzję: nie przypisała ludziom autorstwa samych dowodów, powołując się na Deklarację Lejdejską. Uznała, że własność intelektualna należy w tym przypadku do procesów obliczeniowych modelu.

Wyzwania długodystansowego rozumowania

Sukces Astry opiera się na koncepcji test-time compute — technologii, która pozwala modelowi „myśleć” dłużej przed udzieleniem odpowiedzi. Noam Brown, badacz odpowiedzialny za ten projekt, tonuje jednak nastroje. Mimo sukcesów, Astra nie rozbiła jeszcze żadnego z Problemów Milenijnych. Co ciekawe, koszty osiągnięcia tych dziesięciu przełomów były zaskakująco niskie — zamknęły się w kwocie około 2000 dolarów według stawek API modelu Sol.

Głównym wrogiem długiej pracy AI jest kumulowanie błędów. W systemach wieloagentowych mała pomyłka na starcie rośnie do rozmiarów katastrofy po kilku dniach obliczeń. Astra wprowadza mechanizmy autokorekty, które mają pilnować właściwego kursu podczas wielodniowych sesji badawczych.

Regulacje i polityczna gra Altmana

Premiera modelu Astra, który może trafić na rynek jako GPT-6 lub nowa wersja GPT-5, odbywa się w cieniu zmian politycznych. Sam Altman już teraz prezentuje możliwości systemu w Waszyngtonie. Astra będzie prawdopodobnie pierwszym modelem OpenAI poddanym nowemu federalnemu przeglądowi przed publikacją. Rząd USA chce trzymać rękę na pulsie, gdy algorytmy zaczynają samodzielnie tworzyć nową wiedzę.

Wizja jest konkretna: do marca 2028 roku OpenAI chce wdrożyć w pełni autonomicznego badacza. Dziś Astra to jeszcze stażysta, ale taki, który nie potrzebuje snu i potrafi rozwiązywać równania, nad którymi ludzie głowili się przez pokolenia.