OpenAI zostało oficjalnie wskazane jako laureat inauguracyjnej, wartej 1 mln dolarów nagrody matematycznej Justina Suna za dowód równań Naviera–Stokesa, ale środki pozostają nieodebrane. Spółka wcześniej ogłosiła także, że nie będzie ubiegać się o nagrodę Clay Mathematics Institute.
Kluczowe informacje:
- Repozytorium nagrody Suna oznacza zgłoszenie OpenAI dotyczące Naviera–Stokesa jako rozwiązane, kwalifikujące się do wypłaty – i wciąż nieodebrane.
- OpenAI podaje, że ok. 10 000 agentów AI pracowało nad problemem przez 88 godzin, po czym GPT-6 Astra poświęcił kolejne 17 godzin na formalizację i weryfikację dowodu.
- Clay Mathematics Institute nadal klasyfikuje problem Naviera–Stokesa jako otwarty w czasie trwającej oceny przedstawionego rozwiązania.
Nagroda OpenAI
Nowa nagroda Suna przyznała zespołowi badawczemu OpenAI pierwszą główną premię w wysokości 1 mln dolarów za rozwiązanie trójwymiarowego problemu Naviera–Stokesa. Publiczne repozytorium na GitHubie oznacza problem jako rozwiązany i dopuszczony do wypłaty nagrody. Mimo to środki nie zostały podjęte.
OpenAI opublikowało wynik 8 września, informując, że około 10 000 agentów pracowało nad zadaniem przez mniej więcej 88 godzin, po czym model GPT-6 Astra poświęcił 17 godzin na formalizację i sprawdzenie dowodu w systemie Lean. Firma podkreśliła, że nie zamierza ubiegać się o miliondolarową Millennium Prize, jaką za ten problem wyznaczył Clay Mathematics Institute.
Instytut Clay wciąż prowadzi go w wykazie jako problem otwarty. 11 września poinformował, że ogłoszony wynik „wydaje się rozstrzygać kwestię”, ale wewnętrzny regulamin wymaga wnikliwej, niezależnej oceny przed decyzją o przyznaniu nagrody. Ten proces jeszcze się nie zakończył. Osobna nagroda Suna opiera się natomiast na dowodach weryfikowanych maszynowo i wskazała zespół OpenAI jako zwycięzcę bez oczekiwania na tradycyjną recenzję środowiska.
Zobacz także: Wydobycie Bitcoina mierzy się z 50% luką w hashrate, gdy AI przejmuje moce obliczeniowe
Zasady nagrody Justina Suna
Sun podkreśla, że jego nagroda ma premiować rezultat niezależnie od tego, czy został osiągnięty przez człowieka, czy system sztucznej inteligencji, a formalna weryfikacja ma być centrum całej procedury. „Interesuje mnie wyłącznie wynik, a nie to, czy autorem jest człowiek czy maszyna” – powiedział Sun. W repozytorium znajduje się jednak również ostrzeżenie, że ogłoszenie OpenAI nie jest równoznaczne z recenzją naukową, a szeroka akceptacja w środowisku matematycznym nie została jeszcze potwierdzona.
Pytania o autorstwo pozostają otwarte, odkąd Tristan Buckmaster, profesor New York University, ujawnił, że nieopublikowaną pracę jego zespołu przechowywano w jednym z produktów OpenAI, dodając jednocześnie, że nie wie, czy model faktycznie ją wykorzystał. „Nikogo o nic nie oskarżam” – zaznaczył w rozmowie z The Guardian. OpenAI odpowiedziało, że wewnętrzne dochodzenie wykazało, iż jego zapytania w Codexie nie mogły wpłynąć na system, który wygenerował sporny dowód.
Spór wybuchł po ogłoszeniu z 8 września, w którym OpenAI stwierdziło, że jego wewnętrzny system rozwiązał długotrwale otwarty problem istnienia i gładkości rozwiązań równań Naviera–Stokesa, wykazując powstawanie osobliwości w skończonym czasie przy oficjalnie przyjętych założeniach.
Clay Mathematics Institute ustanowił w 2000 r. siedem Millennium Prize Problems, z nagrodą 1 mln dolarów przypisaną każdemu z nich. Ponad dwie dekady później Navier–Stokes pozostaje formalnie otwarty, podczas gdy matematycy analizują nowy dowód i rozstrzygają kwestie autorstwa.
Czytaj dalej: Shiba Inu naprawia uszkodzone łącze do portfela Shibarium, ale kurs SHIB spada o 6% w tydzień
