OpenAI pokazało wynik dotyczący równań Navier-Stokes, czyli jednego z najgłośniejszych problemów współczesnej matematyki. Zamiast prostego „AI wygrało” mamy jednak znacznie ciekawszą historię: formalny dowód, nerwowe pytania o źródła pomysłu i środowisko, które nie bardzo wie, czy bardziej się zachwycać, czy stawiać znaki zapytania.

TL;DR

  • OpenAI opisało system około 10 tys. agentów AI, który w 88 godzin uzyskał dowód dotyczący równań Navier-Stokes
  • Według opisu OpenAI wynik zweryfikowano formalnie w Lean, a koszt odtworzenia oszacowano na 10–15 mln dolarów
  • Tristan Buckmaster (NYU) i Levent Alpöge (Anthropic) opublikowali pokrewne wyniki dzień wcześniej, co wywołało pytania o możliwy wpływ wcześniejszych prac
  • Część matematyków odpowiedziała otwartym listem, krytykując sposób, w jaki firmy AI wchodzą w badania podstawowe
  • Clay Mathematics Institute nie potwierdził jeszcze wyniku, więc na ostateczny werdykt trzeba poczekać

Co OpenAI pokazało 8 września 2026 roku?

8 września 2026 roku OpenAI opublikowało na swoim blogu opis wyniku dotyczącego równań Navier-Stokes, które służą do opisu ruchu płynów. Firma twierdzi, że jej wewnętrzny system uzyskał dowód pokazujący możliwość powstania osobliwości, czyli tzw. „blow-up”, w skończonym czasie. To ważne, bo chodzi o rodzinę pytań powiązaną z jednym z Millennium Prize Problems.

Według OpenAI system korzystał z około 10 tysięcy autonomicznych agentów AI. Firma podała też skalę procesu: 88 godzin pracy, około 3 miliony wiadomości między agentami i 130 miliardów tokenów wyjściowych. Formalna weryfikacja miała zostać przeprowadzona w Lean i, według wpisu OpenAI, zajęła kolejne 17 godzin z użyciem GPT-6 Astra.

Skąd wziął się spór Buckmastera i Alpöge?

Napięcie pojawiło się niemal od razu. Krótko przed ogłoszeniem OpenAI matematyk Tristan Buckmaster z New York University i Levent Alpöge z Anthropic opublikowali wyniki dotyczące pokrewnych równań Eulera. To wystarczyło, by w środowisku padło pytanie, czy zespoły nie poruszały się po podobnym tropie wcześniej, niż wynikałoby to z publicznych publikacji.

Buckmaster publicznie sugerował, że OpenAI mogło skorzystać z nieopublikowanych materiałów albo promptów. OpenAI temu zaprzecza, ale jednocześnie przyznaje, że nie jest w stanie całkowicie wykluczyć wpływu danych pochodzących ze zdeidentyfikowanego użycia swoich produktów. Sébastien Bubeck z OpenAI powiedział podczas briefingu, że firma ruszyła na ten problem po usłyszeniu plotek o postępach rywali. To zmienia ton całej historii: z opowieści o czystym odkryciu robi się spór o to, kto pierwszy złożył puzzle.

Jak reagują matematycy na wynik OpenAI?

Reakcja środowiska matematycznego nie przypomina świętowania po udanym lądowaniu. Według doniesień prasowych 25 laureatów Medalu Fieldsa podpisało otwarty list, w którym zwrócono uwagę na „poważne niedopasowanie” między logiką firm AI a potrzebami samej matematyki. To nie brzmi jak zachwyt nad nowym narzędziem, tylko jak ostrzeżenie.

Z kolei Colva Roney-Dougal z University of St Andrews w podcaście „The Guardian” mówiła o „niedojrzałym popisywaniu się placem zabaw”. Mocne? Owszem. Ale ten język pokazuje, że część badaczy nie spiera się już wyłącznie o poprawność dowodu, lecz także o kulturę pracy wokół takich wyników. Tu chodzi o kontrolę nad tym, jak powstaje i komu przypisuje się wiedzę.

Co ten wynik oznacza dla OpenAI i badań nad AI?

Jeśli wynik OpenAI przejdzie niezależną weryfikację, będzie to jeden z najmocniejszych argumentów za tym, że systemy AI potrafią pracować nie tylko jako asystenci, ale też jako narzędzia do prowadzenia badań na wysokim poziomie abstrakcji. To właśnie dlatego ta historia wykracza daleko poza samą matematykę.

W praktyce OpenAI pokazuje też skalę zaplecza potrzebnego do takich eksperymentów. Odtworzenie procesu firma wyceniła na 10–15 mln dolarów, więc nie mówimy o zabawie dostępnej dla każdego laboratorium. Dla polskich uczelni taki koszt oznaczałby raczej obserwowanie wyścigu z boku niż wejście do niego od razu. To nauka w wersji big tech, z budżetem i infrastrukturą, których większość akademii po prostu nie ma.

Co dalej z Clay Mathematics Institute i samym dowodem?

Na razie najważniejsze jest to, że Clay Mathematics Institute nie potwierdził jeszcze wyniku. W przypadku twierdzeń tej wagi to normalne: sama publikacja na blogu firmy nie zamyka sprawy, a proces sprawdzania może potrwać miesiące. OpenAI deklaruje też, że nie zamierza ubiegać się o milion dolarów nagrody związanej z Millennium Prize.

Dlatego warto oddzielić dwie rzeczy. Po pierwsze, OpenAI ogłosiło wynik i pokazało własny opis procesu. Po drugie, środowisko matematyczne dopiero zdecyduje, czy ten wynik rzeczywiście spełnia standardy potrzebne do trwałego wejścia do kanonu. Werdyktu jeszcze nie ma — i chyba właśnie to jest dziś najuczciwsze podsumowanie.

Najczęściej zadawane pytania