OpenAI rozwiązało 90-letni problem matematyczny w 88 godzin

• Opublikowano

OpenAI twierdzi, że w ciągu kilku godzin znalazło rozwiązanie wieloletniego, zaawansowanego problemu matematycznego, wykorzystując nowy model sztucznej inteligencji (AI) i tysiące botów AI.

Twórca ChatGPT poinformował we wtorek, że skupiając grupę około 10 000 agentów AI, czyli botów AI wykonujących zadania w sposób autonomiczny, rozwiązał notorycznie trudny problem matematyczny w zaledwie 88 godzin.

Problem ten był częścią równań Naviera-Stokesa, dotyczących przepływu płynów. Przez 90 lat ważne aspekty tych problemów nie miały dowodu, czyli argumentacji leżącej u podstaw poprawnego równania matematycznego.

OpenAI nazwało znalezione rozwiązanie "kamieniem milowym" i dowodem na szybkie postępy narzędzi AI.

Rozwiązanie OpenAI nie zostało jeszcze niezależnie zweryfikowane ani publicznie zaakceptowane przez The Clay Mathematics Institute, amerykańską organizację matematyczną prowadzącą Millennium Prize, która oferuje wysokie nagrody pieniężne za pierwsze rozwiązanie pewnych matematycznych zagadek.

Firma podała, że pod koniec sierpnia rozpoczęła szkolenie nowego modelu, który szybko okazał się biegły w matematyce. Modele AI to programy komputerowe trenowane na ogromnych ilościach danych w celu rozpoznawania i przewidywania wzorców w informacjach.

Chociaż nowy model OpenAI pozostaje narzędziem używanym wyłącznie w firmie, ponieważ jest "znacznie bardziej wydajny" niż ostatnio wydany przez firmę model AI, jego badacze postanowili wykorzystać go do rozwiązania pewnych znaczących, zaawansowanych problemów matematycznych.

OpenAI przyznało, że w zeszłym tygodniu, 1 września, "usłyszało pogłoski o rozwiązaniu dwóch problemów Millennium Prize" i dlatego postanowiło skierować tysiące botów AI, wytrenowanych na nowym wewnętrznym modelu, do pracy nad rozwiązaniem pozostałych problemów.

Do 5 września, czyli około 88 godzin po postawieniu zadania 10 000 botom AI, OpenAI znalazło rozwiązanie problemu znanego jako istnienie i gładkość Naviera-Stokesa.

Problem ten leży u podstaw turbulencji, zjawiska, które nadal nie jest dobrze zrozumiane.

Chociaż boty AI potrzebowały pozornie niewiele czasu na znalezienie rozwiązania, OpenAI podało, że boty wymieniły prawie 3 miliony wiadomości i zużyły 130 miliardów tokenów wyjściowych, czyli pojedynczych linii tekstu i kodu, które model AI generuje w odpowiedziach, tylko w przypadku Naviera-Stokesa.

Taki wysiłek kosztowałby około 10 milionów dolarów (7,3 miliona funtów), bazując na własnych cennikach OpenAI za dane wyjściowe z jego najbardziej zaawansowanych modeli.

Rozwiązanie, które OpenAI twierdzi, że teraz osiągnęło dla problemu istnienia i gładkości Naviera-Stokesa, rozwiązało dwa z czterech stwierdzeń w dowodzie, których wymagał Millennium Prize. Nagroda jest warta 1 milion dolarów dla zwycięzcy.

"Naszym celem przy publikowaniu tego wyniku jest poinformowanie o znaczących postępach naszych modeli AI", stwierdziło OpenAI we wtorek. "Nie zamierzamy ubiegać się o Millennium Prize za ten wynik."

Już teraz twierdzenie firmy budzi pewne kontrowersje.

Tristan Buckmaster, profesor matematyki na New York University, powiedział we wtorek, że on i Levent Alpöge, matematyk pracujący dla konkurenta OpenAI, firmy Anthropic, również pracowali nad rozwiązaniami tego problemu.

Duet ten wykorzystywał w swojej pracy narzędzie OpenAI o nazwie Codex. Jednak Buckmaster stwierdził, że 3 września dowiedział się, że "informacje o naszym postępie zostały przekazane do OpenAI".

Oświadczenie Buckmastera nastąpiło tego samego dnia, ale kilka godzin przed tym, jak OpenAI opublikowało swoją pracę nad Naviera-Stokesa. Twierdził on, że OpenAI nie rozpoczęło pracy nad równaniami Naviera-Stokesa aż "po tym, jak informacje o naszej pracy dotarły do OpenAI". Dołączył tekst z wymienionych e-maili z OpenAI dotyczących pracy i jego pytań o czas i metody firmy.

Buckmaster dodał, że nie przeczytał jeszcze pełnego dowodu OpenAI, ale czuł się zmuszony do publicznego ujawnienia "tego, co mi powiedziano, kiedy i co mi zaproponowano... ponieważ alternatywą jest pozwolenie, aby seria ogłoszeń mówiła coś, co wiem, że jest fałszem".

OpenAI we wtorek pogratulowało "równoczesnej pracy" Buckmastera i Alpöge, nazywając ją "godną uwagi".

Firma stwierdziła, że nie widziała "żadnej z ich prac w żaden sposób, dopóki nie opublikowali jej publicznie" i że żadne dane użytkowników nie zostały wykorzystane w jej pracy nad problemem Naviera-Stokesa.

"Chociaż jest to mało prawdopodobne, nie możemy wykluczyć, że zanonimizowane dane pochodzące z ich korzystania z naszych produktów pomogły ulepszyć nasze modele", dodała firma. "Jednak nasze dowody znacznie się różnią, a nawet dokładne wyniki są inne."

Powiązane tematy

• Opublikowano 1 dzień temu

• Opublikowano 12 godzin temu