OpenAI ogłasza rozwiązanie problemu milenijnego. Matematycy pytają o cudze prace
Firma poinformowała, że jej model rozwiązał problem Naviera-Stokesa, jedno z siedmiu zadań milenijnych. Niemal natychmiast pojawiły się pytania, ile z przedstawionego rozumowania pochodzi z opublikowanych wcześniej prac innych badaczy.
Informacje uporządkowane według pewności
Ogłoszenie miało miejsce
BBC i Scientific American potwierdzają, że firma ogłosiła rozwiązanie problemu i że ogłoszeniu towarzyszą pytania o oryginalność.
To nie jest jeszcze uznany dowód
Formalne uznanie wymaga publikacji recenzowanej i procedury przewidzianej przez Instytut Claya, która trwa lata.
Oceny środowiska matematycznego
Weryfikacja dowodu w tej klasie problemów zajmuje miesiące, a nie godziny.
Problem Naviera-Stokesa nie polega na tym, żeby wyliczyć, jak płynie woda. Równania są znane od XIX wieku i codziennie liczą je programy projektujące skrzydła samolotów. Pytanie milenijne dotyczy czegoś innego: czy dla dowolnych sensownych warunków początkowych rozwiązanie w ogóle istnieje i czy pozostaje gładkie, czy też może w skończonym czasie eksplodować do nieskończoności.
Na czym polega problem milenijny
Równania Naviera-Stokesa opisują ruch płynów lepkich. Używa się ich w aerodynamice, meteorologii, hydrologii i projektowaniu okrętów. Praktyka jest tu dużo dalej niż teoria: symulacje działają, przewidywania się sprawdzają, a mimo to nikt nie udowodnił, że rozwiązania tych równań zawsze istnieją i zawsze są gładkie w trzech wymiarach.
Instytut Matematyczny Claya umieścił to pytanie w 2000 roku wśród siedmiu problemów milenijnych i wyznaczył za jego rozstrzygnięcie milion dolarów. Do dziś rozwiązano jeden z nich, hipotezę Poincarego. Reszta pozostaje otwarta, a Navier-Stokes należy do tych, przy których regularnie pojawiają się zgłoszenia okazujące się niepełne.
Cztery liczby, które porządkują sprawę
problemów milenijnych
Ogłoszone przez Instytut Claya w 2000 roku.
rozwiązany do dziś
Hipoteza Poincarego, udowodniona przez Grigorija Perelmana.
dolarów nagrody
Za każdy z problemów, po spełnieniu warunków proceduralnych.
okres weryfikacji
Regulamin przewiduje publikację recenzowaną i czas na ocenę przez środowisko.
UwagaDane za regulaminem Instytutu Matematycznego Claya.
Skąd wziął się zarzut plagiatu
Zastrzeżenia, o których piszą BBC i Scientific American, nie dotyczą tego, czy rozumowanie jest poprawne. Dotyczą tego, czy jest nowe. W matematyce różnica między odtworzeniem znanego argumentu a wniesieniem własnego kroku bywa subtelna, ale to właśnie ona decyduje o przypisaniu autorstwa.
Modele językowe trenuje się na tekstach, w tym na pracach matematycznych dostępnych w repozytoriach preprintów. System, który wyprowadza argument bardzo podobny do opublikowanego wcześniej, może go odtwarzać, a nie odkrywać. Rozstrzygnięcie, z którym przypadkiem mamy do czynienia, wymaga porównania krok po kroku z literaturą.
Ogłoszenie
- Stan na 8 września
- Firma poinformowała o rozwiązaniu problemu.
- Czego brakuje
- Pełnego tekstu poddanego niezależnej recenzji.
Oryginalność
- Stan na 8 września
- Podniesiono zarzut korzystania z cudzych prac.
- Czego brakuje
- Porównania z konkretnymi publikacjami i stanowiska ich autorów.
Uznanie formalne
- Stan na 8 września
- Nie nastąpiło.
- Czego brakuje
- Publikacji recenzowanej i procedury Instytutu Claya.
Zestawienie porządkuje stan wiedzy na wieczór 8 września.
Test na przypisywanie autorstwa
Jeśli systemy sztucznej inteligencji zaczną wnosić realny wkład do nauki, środowisko będzie musiało rozstrzygnąć, jak odróżniać odtworzenie od odkrycia i komu przypisywać zasługę. Ta sprawa jest pierwszym głośnym przypadkiem, w którym pytanie postawiono przy problemie tej rangi.
Trzy rzeczy do sprawdzenia
Publikacja pełnego dowodu
Bez dostępnego tekstu nie da się ocenić ani poprawności, ani oryginalności.
Reakcja cytowanych matematyków
Ich stanowisko będzie najmocniejszą przesłanką w sprawie zarzutu.
Czy zgłoszenie zostanie przyjęte
Procedura jest sformalizowana i nie reaguje na komunikaty prasowe.
Co będziemy monitorować
Udostępnienie dowodu
Termin i miejsce publikacji będą pierwszym testem powagi zgłoszenia.
Pierwsze niezależne oceny
Zwykle pojawiają się w ciągu kilku tygodni w formie komentarzy na preprintach.
Zasady przypisywania autorstwa
Czy czasopisma i instytucje wypracują reguły dla wyników uzyskanych z udziałem modeli.
Źródła
- OpenAI claims to have solved a Millennium Prize Problem – BBC News
- OpenAI claims blockbuster math breakthrough amid swirl of controversy – Scientific American
- Portal:Current events, 8 września 2026 – Wikipedia
- Navier-Stokes Equation – opis problemu milenijnego – Clay Mathematics Institute
- Millennium Prize Problems – zasady przyznawania nagrody – Clay Mathematics Institute
- Symulacja przepływu powietrza, fotografia – DLR / Wikimedia Commons
Redakcja Vardis
Zespół redakcyjny Vardis przygotowuje aktualności i materiały zbiorowe na podstawie zweryfikowanych źródeł, wyraźnie oddzielając fakty od komentarza.
