OpenAI odrzuca kolejną nagrodę matematyczną — tym razem wartą milion dolarów, od Justina Suna

OpenAI ogłoszono zwycięzcą inauguracyjnej nagrody matematycznej Justina Suna w wysokości 1 miliona dolarów, jednak firma pozostawiła pieniądze nieodebrane — podobnie jak kilka tygodni wcześniej identyczną nagrodę od Clay Mathematics Institute.

Nagroda miała trafić do autora dowodu równań Naviera–Stokesa stworzonego przez AI — problemu z zakresu mechaniki płynów, który matematycy próbowali rozwiązać przez dziesięciolecia. Dwóch naukowców twierdzi, że praca opierała się na ich własnych, nieopublikowanych badaniach. OpenAI temu zaprzecza.

Dlaczego OpenAI wciąż rezygnuje z pieniędzy

8 września OpenAI opublikowało dowód dotyczący trójwymiarowego problemu Naviera–Stokesa, informując, że 10 000 agentów AI pracowało nad nim przez 88 godzin, po czym osobny model, GPT-6 Astra, poświęcił kolejne 17 godzin na sprawdzenie rozumowania.

W 2000 roku Clay Mathematics Institute ogłosił ten problem jednym z siedmiu Problemów Milenijnych, za rozwiązanie każdego z nich wyznaczając nagrodę w wysokości 1 miliona dolarów. Na stronie internetowej instytutu problem nadal figuruje jako nierozwiązany.

OpenAI oświadczyło wówczas, że nie odbierze pieniędzy od Clay Mathematics Institute. Sprawa nabrała rozgłosu, gdy pojawiły się pytania o to, czyja praca faktycznie doprowadziła do powstania dowodu.

Dwóch matematyków stwierdziło, że ich nieopublikowane badania znalazły się w jednym z produktów OpenAI. Firma zaprzeczyła tym twierdzeniom.

„Nie wiem, co zrobił ich model ani w jaki sposób. Nie wiem, czy wykorzystano nasze dane. Nikogo o nic nie oskarżam” — powiedział Tristan Buckmaster, profesor na New York University.

Druga nagroda, drugi afront

Osiem dni po wybuchu sporu biuro Justina Suna ogłosiło własną odpowiedź na ten sam problem. Utworzono Nagrodę Justina Suna — system nagród oparty na dowodach, które można weryfikować maszynowo, a nie na tradycyjnej ocenie naukowej.

Każda pozycja na liście Suna może przynieść dwie wypłaty: jedną osobie, która udowodni wynik, a drugą temu, kto sformalizuje go w kodzie. Zespół Suna ogłosił zespół badawczy OpenAI laureatem pierwszej głównej nagrody w wysokości 1 miliona dolarów za dowód dotyczący równań Naviera–Stokesa.

Równania Naviera–Stokesa to piąta pozycja. Oznaczono ją jako rozwiązaną, przypisano zespołowi OpenAI i uznano za kwalifikującą się do odebrania nagrody, ale nagroda wciąż nie została odebrana.

Zgodnie z zasadami Suna, jeśli problem został rozwiązany jeszcze przed umieszczeniem go na liście, nagrodę otrzymuje osoba, która tłumaczy rozwiązanie na język zrozumiały dla maszyny, a nie ta, która je udowodniła.

„Liczy się dla mnie wyłącznie wynik, a nie to, czy autor jest człowiekiem, czy maszyną” — powiedział Justin Sun.

Przy tej pozycji na własnej liście Suna widnieje ostrzeżenie. Informuje ono, że ogłoszenie OpenAI nie jest recenzją naukową, a akceptacja matematyków nie została potwierdzona.

Źródło: BeInCrypto