Matematyczny Everest zdobyty przez algorytmy? Kontrowersje wokół rozwiązania równań Naviera-Stokesa
11 września 2026 roku świat nauki wstrzymał oddech. Clay Mathematics Institute (CMI) oficjalnie poinformował, że zagadka równań Naviera-Stokesa najwyraźniej doczekała się rozwiązania. To moment, na który matematycy czekali od dekad, a stawką jest nie tylko milion dolarów nagrody, ale przede wszystkim zrozumienie, jak w trzech wymiarach zachowują się ciecze i gazy – od dymu z papierosa po turbulencje nad skrzydłem samolotu.
Dlaczego to ważne teraz
Choć OpenAI ogłosiło swój sukces już 8 września, dopiero komunikat CMI nadał sprawie realnej wagi. To precedens, w którym wynik uzyskany przy masowym użyciu algorytmów trafia na biurka recenzentów najważniejszej instytucji matematycznej świata. Jeśli dowód przetrwa próbę czasu, będzie to pierwszy przypadek rozwiązania problemu milenijnego przy tak dominującym udziale sztucznej inteligencji, co zmusi środowisko akademickie do przedefiniowania pojęcia „odkrycia”.
Technologiczny sprint w 88 godzin
Tradycyjne próby ugryzienia Naviera-Stokesa zajmowały wybitnym umysłom całe życie. OpenAI postanowiło skrócić ten proces, rzucając do walki 10 000 agentów AI. Cała operacja obliczeniowa trwała zaledwie 88 godzin. Instytut Claya, choć zazwyczaj ekstremalnie ostrożny, w krótkim oświadczeniu przyznał, że zagadnienie „zostało najwyraźniej rozstrzygnięte” (apparently been settled). Jednak droga do wypłaty miliona dolarów jest daleka – CMI zaznacza, że „proces weryfikacji i atrybucji celowo nie będzie pospieszny”.
Cień kontrowersji i oskarżenia o kradzież
Sukces rodzi się w atmosferze brutalnego konfliktu o własność intelektualną. Matematyk Tristan Buckmaster rzucił poważne oskarżenie w stronę firmy Sama Altmana. Twierdzi on, że OpenAI wykorzystało jego niepublikowane jeszcze badania do wytrenowania swoich modeli, gdy tylko informacje o postępach w jego pracach wyciekły do sieci. W centrum sporu znalazł się też Levent Alpöge z konkurencyjnego Anthropic, którego rola w badaniach miała zostać celowo zmarginalizowana.
Pytania o naturę dowodu
Środowisko naukowe pozostaje sceptyczne. Część ekspertów, na co zwraca uwagę BBC, zastanawia się, czy maszyny rzeczywiście rozwiązały klasyczny problem 3D, czy jedynie jego uproszczoną, „wymuszoną” wersję. Jak zauważają przedstawiciele CMI, „rozwiązanie nie zostało jeszcze zweryfikowane niezależnie ani publicznie zaakceptowane”. Czeka nas teraz wielomiesięczna, a może i wieloletnia analiza kodu i logiki, która ma odpowiedzieć na pytanie: czy to faktycznie nowa matematyka, czy tylko genialna inżynieria danych?
