Przełom OpenAI w badaniach matematycznych

Według CHOI, OpenAI poinformowało o rozwiązaniu ponad 100 trudnych problemów matematycznych przez nowy model wewnętrzny. Projekt zaangażował 10 000 agentów AI i trwał zaledwie 24 dni.

Po rozwiązaniu problemu Naviera-Stokesa, OpenAI powołało niezależną grupę doradczą ds. matematyki. Eksperci będą oceniać, jak publikować wyniki AI i jakie narzędzia udostępnić naukowcom.

Badania trwały od 28 sierpnia do 21 września. OpenAI zastosowało uczenie przez wzmacnianie na wstępnie wytrenowanym modelu, stale aktualizując agentów w trakcie poszukiwań.

Już 1 sierpnia OpenAI pokazało 10 rozwiązań w dziedzinie teorii grup i geometrii. Wyniki te zostały sformalizowane przez naukowców przy użyciu języka Lean.

9 września OpenAI ogłosiło rozwiązanie problemu Naviera-Stokesa. Przedstawiono kontrprzykład matematyczny, w którym prędkość płynu rośnie do nieskończoności w określonych warunkach.

Agenci pracowali równolegle, dzieląc się wynikami pośrednimi. Rozwiązanie znaleziono w 88 godzin, a weryfikacja w systemie Lean zajęła kolejne 17 godzin.

Według The Information, OpenAI jest bliskie rozwiązania hipotezy Hodge'a. To zupełnie inny obszar matematyki niż poprzednie sukcesy firmy.

Model jest znacznie potężniejszy od Astry. Choć pojawiają się spekulacje o modelu 'Bel', OpenAI oficjalnie nazywa go jedynie 'nowym modelem wewnętrznym'.

OpenAI osiągnęło etap 'automatycznego stażysty badawczego'. AI potrafi teraz samodzielnie pisać kod, projektować eksperymenty i analizować wyniki.

Eksperci tacy jak Jerry Cummings podkreślają znaczenie wskaźnika sukcesu. Nowy model wykazuje wyższą skuteczność niż Astra przy tym samym nakładzie obliczeniowym.

W skład grupy doradczej wchodzą m.in. Timothy Gowers i Edward Witten. Doradzają oni w kwestiach standardów naukowych i etyki publikowania wyników AI.

Podczas OpenAI DevDay 29 września oczekuje się informacji o tym, jak te metody badawcze zostaną wdrożone w narzędziach dla programistów.

CHOI przewiduje, że udostępnienie tych metod badaczom zewnętrznym zrewolucjonizuje naukę, pozwalając każdemu na wykorzystanie tysięcy agentów AI do własnych problemów.

Szczegóły dotyczące grupy doradczej OpenAI ds. matematyki i AI są dostępne na oficjalnej stronie internetowej firmy.