OpenAI prezentuje Astra – nową rodzinę modeli do zadań długoterminowych

OpenAI prezentuje Astra — nową rodzinę modeli przeznaczonych do zadań długoterminowych, w których wiele agentów AI współpracuje nad jednym projektem.

Według komunikatu firmy, model ten osiągnął 10 nowych rezultatów w rozwiązaniu wieloletnich problemów z zakresu matematyki, teorii kwantowej złożoności oraz teoretycznej informatyki.

Wśród najważniejszych osiągnięć znalazły się: – Zbudowanie pierwszej jawnej grupy niesoficznej (non-sophic). – Obalenie hipotezy sztywności Conna. – Dowód twierdzenia o kwantowym powtarzaniu równoległym dla ogólnego przypadku gier dwuosobowych ze splątaniem. – Udowodnienie domniemania objętości Ehrharta. – Pierwsza od 1978 roku poprawa ogólnej oceny wykładnika pakowania kul.

Kluczowe idee dowodów zostały wygenerowane przez system Astra. Następnie model sformalizował je w języku Lean, uzyskując certyfikaty dowodowe możliwe do zweryfikowania maszynowo oraz liczący 249 stron manuskrypt. Koszt udanego uruchomienia procesu wyniósł około 2000 dolarów według stawek Sol API.

Wygląda na to, że to właśnie tę technologię Sam Altman przedstawił w Białym Domu w tym tygodniu. Wewnętrznie OpenAI nie podjęło jeszcze decyzji, czy model zostanie wydany jako GPT-6, czy też jako aktualizacja oznaczona numerem 5.7.

Obecnie system przechodzi fazę testów określanych mianem „testów Trumpa”.