AnswersPublished21 sources
Dlaczego OpenAI nie odebrało nagrody Justina Suna za Naviera–Stokesa
Według doniesień OpenAI figuruje jako uprawnione do odebrania głównej nagrody Justina Suna w wysokości 1 mln dolarów, ale 17 września 2026 r. Kluczowa różnica dotyczy formalnej weryfikacji twierdzenia w Lean oraz szerszego uznania, że dowód i jego założenia odpowiadają dokładnie wymogom problemu milenijnego.
Opublikowane przezEdytowane za pomocą GPT-5.6 TerraObrazy wygenerowane za pomocą GPT Image 2
Research answer
Key takeaways
- Według doniesień OpenAI figuruje jako uprawnione do odebrania głównej nagrody Justina Suna w wysokości 1 mln dolarów, ale 17 września 2026 r.
- Kluczowa różnica dotyczy formalnej weryfikacji twierdzenia w Lean oraz szerszego uznania, że dowód i jego założenia odpowiadają dokładnie wymogom problemu milenijnego.
- Sprawę komplikuje spór o pierwszeństwo: matematyk Tristan Buckmaster zgłosił zastrzeżenia dotyczące przypisania autorstwa, a OpenAI je kwestionuje.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What happened when OpenAI declined to claim Justin Sun’s $1 million prize for its reported AI-generated solution to the three-dimensional Na. Article summary: OpenAI did not claim Justin Sun’s inaugural $1 million prize, even though Sun’s program listed its Navier–Stokes submission as the top award. The company’s reported result is significant but remains a claim under scrutin. Topic tags: general, news, general web, academic, government. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, ch
OpenAI zostało wskazane jako zdobywca inauguracyjnej nagrody Justina Suna za matematykę, wartej 1 mln dolarów, lecz według dostępnych doniesień nie odebrało pieniędzy. Nie chodzi więc wyłącznie o spektakularną deklarację AI dotyczącą równań Naviera–Stokesa. Stawką są też zasady formalnej weryfikacji, niezależnej recenzji, naukowego uznania i przypisania autorstwa w badaniach wspomaganych przez sztuczną inteligencję. 3
6
8
9
Co dokładnie twierdzi OpenAI
8 września 2026 r. OpenAI opublikowało opis analitycznego dowodu i jego formalizację w Lean — systemie do komputerowego sprawdzania dowodów. Firma twierdzi, że jej wewnętrzny system wykazał możliwość powstania osobliwości w skończonym czasie w trójwymiarowych nieściśliwych równaniach Naviera–Stokesa: płyn początkowo gładki i nieruchomy, pod wpływem gładkiej siły zewnętrznej, może osiągnąć taki stan. 6
To ważne doprecyzowanie. W terminologii opisu problemu Clay Mathematics Institute wynik ma dotyczyć wymuszonych kontrprzykładów, czyli przypadków C i D. Nie rozstrzyga natomiast niewymuszonych wariantów globalnej regularności — przypadków A i B. Z tego powodu skrótowe nagłówki w rodzaju „AI rozwiązała Naviera–Stokesa” mogą zacierać granicę między deklarowanym konstrukcyjnym przykładem z siłą zewnętrzną a pełnym rozstrzygnięciem wszystkich znaczeń, jakie odbiorcy wiążą z problemem. 6
18
19
Jak powstał i został sprawdzony dowód
OpenAI podało, że zaczęło testować będący jeszcze w trakcie szkolenia model 28 sierpnia, a po 1 września rozszerzyło prace. Wykorzystano współpracujące grupy agentów mających dostęp do kodu i zbuforowanych materiałów z internetu; przy zadaniu dotyczącym Naviera–Stokesa działało około 10 tys. agentów równolegle. 6
Według relacji sam etap odkrycia trwał około 88 godzin. Następnie GPT-6 Astra miał przez około 17 godzin formalizować pracę i sprawdzać ją w Lean. OpenAI zaznacza, że system, który miał znaleźć wynik, był wewnętrznym modelem znacznie potężniejszym od GPT-6 Astra; rola Astry dotyczyła formalizacji i weryfikacji, a niekoniecznie samego odkrycia matematycznego. 6
8
Sprawdzenie w Lean jest mocnym dowodem na to, że zapisane twierdzenie wynika z założeń zakodowanych w systemie formalnym. Samo w sobie nie rozstrzyga jednak, czy te założenia odwzorowują wszystkie warunki przewidziane w sformułowaniu problemu Clay, ani nie zastępuje niezależnej oceny matematyków.
Dlaczego Clay nie przyznał własnego miliona dolarów
Nagroda Clay Mathematics Institute jest całkowicie odrębna od nagrody Justina Suna. 11 września Clay poinformował, że ocenia ogłoszenie OpenAI według własnych zasad i że procedura jest celowo niespieszna. 1
Regulamin Nagród Milenijnych wymaga, by proponowane rozwiązanie zostało opublikowane w kwalifikującym się źródle, od publikacji minęły co najmniej dwa lata, a rozwiązanie uzyskało powszechną akceptację światowej społeczności matematycznej. Dlatego nawet pozytywny wynik sprawdzenia kodu Lean — jeśli zostanie potwierdzony — nie może od razu oznaczać nagrody Clay.
Obecny status jest zatem prosty: OpenAI publicznie przedstawiło roszczenie i udostępniło materiał do formalizacji, ale Clay Mathematics Institute nie uznał go jeszcze za rozwiązanie nagradzane w ramach Millennium Prize. Niezależni matematycy muszą nadal ocenić dowód analityczny, formalizację i zgodność wyniku z właściwymi warunkami problemu. 1
6
Co nagradza program Justina Suna
16 września Justin Sun ogłosił własną nagrodę jako zdecentralizowany program nagród za przełomy w badaniach podstawowych i formalnej weryfikacji maszynowej. Pierwsza pula wyróżnień obejmowała 66 problemów matematycznych, a zgłoszony przez OpenAI wynik dotyczący Naviera–Stokesa otrzymał najwyższą nagrodę: 1 mln dolarów. 3
14
Założenie programu jest inne niż w przypadku Clay: ma on szybko nagradzać dowody możliwe do weryfikacji przez maszynę i deklaruje otwartość na wkład badaczy, systemów AI oraz zespołów człowiek–AI. 4
14
To jednak prywatna nagroda działająca według własnych kryteriów, a nie substytut procedur, dzięki którym środowisko matematyczne ustala poprawność, pierwszeństwo odkrycia i długofalowe znaczenie wyniku. Wskazanie laureata przez program Suna nie zobowiązuje Clay ani innych badaczy do uznania sprawy za definitywnie rozstrzygniętą.
Dlaczego pieniądze pozostały nieodebrane
Relacje dotyczące repozytorium nagrody wskazywały, że OpenAI widnieje jako podmiot uprawniony do odbioru, ale nie wystąpił o wypłatę. Doniesienia wiązały to z nierozstrzygniętym sporem o pochodzenie dowodu oraz z decyzją firmy, by na tym etapie nie ubiegać się o nagrodę Clay. 8
9
W materiałach dostępnych dla tego zestawienia OpenAI nie przedstawiło ostatecznego, publicznie potwierdzonego powodu odrzucenia lub odroczenia odbioru. Ostrożny wniosek jest więc ograniczony: przyjęcie prywatnej nagrody, gdy zakres wyniku, jego geneza i zasługi pozostają przedmiotem sporu, mogłoby zostać odebrane jako ogłoszenie finalnego zwycięstwa przed zakończeniem zwykłego procesu naukowej weryfikacji.
Spór o autorstwo jest osobnym problemem
Tristan Buckmaster, matematyk z New York University, zarzucił, że praca OpenAI korzystała z niepublicznych badań. OpenAI kwestionuje to oskarżenie. Dostępne doniesienia nie pokazują niezależnego, ostatecznego rozstrzygnięcia sporu. 1
20
Nature wskazało, że sprawa ujawnia szerszą potrzebę ściślejszej współpracy firm AI ze środowiskiem badawczym w kwestiach autorstwa i uznania zasług. Systemy AI mogą przeszukiwać, łączyć i formalizować idee na ogromną skalę, ale odtworzenie źródła konkretnego pomysłu bywa trudne. 17
20
Nie dowodzi to, że formalny dowód jest błędny. Pokazuje natomiast, że poprawność matematyczna i kwestia uznania autorstwa to dwa odrębne pytania — a oba mają znaczenie przy wyniku, który mógłby wpłynąć na ważną dziedzinę matematyki.
Jaki jest stan sprawy dziś
Deklaracja OpenAI jest wyjątkowa: firma zgłasza konstrukcję osobliwości w skończonym czasie dla istotnej wersji równań Naviera–Stokesa, uzyskaną dzięki pracy wielkiej sieci agentów AI i opatrzoną formalizacją w Lean. 6
18
19
Nie należy jednak opisywać jej jako rozwiązania problemu milenijnego uznanego przez Clay. Nagroda Suna o wartości 1 mln dolarów miała pozostać nieodebrana, procedura Clay jest osobna i znacznie wolniejsza, a spór o autorstwo nie został zamknięty. 1
8
9
20
Kolejnymi ważnymi etapami będą niezależna ocena matematyki, dokładne sprawdzenie, czy formalne twierdzenie odpowiada zamierzonym warunkom problemu, oraz wiarygodne wyjaśnienie pierwszeństwa i autorstwa. Do tego czasu najtrafniejszy opis brzmi: bardzo istotne, wygenerowane przez AI twierdzenie matematyczne z komponentem możliwym do maszynowego sprawdzenia — ale jeszcze nie wynik objęty naukowym konsensusem.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "Dlaczego OpenAI nie odebrało nagrody Justina Suna za Naviera–Stokesa"?
Według doniesień OpenAI figuruje jako uprawnione do odebrania głównej nagrody Justina Suna w wysokości 1 mln dolarów, ale 17 września 2026 r.
What are the key points to validate first?
Według doniesień OpenAI figuruje jako uprawnione do odebrania głównej nagrody Justina Suna w wysokości 1 mln dolarów, ale 17 września 2026 r. Kluczowa różnica dotyczy formalnej weryfikacji twierdzenia w Lean oraz szerszego uznania, że dowód i jego założenia odpowiadają dokładnie wymogom problemu milenijnego.
What should I do next in practice?
Sprawę komplikuje spór o pierwszeństwo: matematyk Tristan Buckmaster zgłosił zastrzeżenia dotyczące przypisania autorstwa, a OpenAI je kwestionuje.
Sources
coinpost.aiJustin Sun launches $1 million math prize and names first winners
openai.comOn the Navier–Stokes Millennium Prize Problem
yellow.comOpenAI Leaves $1M Justin Sun Math Prize Unclaimed After Navier-Stokes Win | Yellow
yahoo.comOpenAI Rejects Another Math Prize, This Time Justin Sun's ...
nature.comDaily briefing: OpenAI claims a huge maths breakthrough