Problemy milenijne: siedem zadań, za każde milion dolarów

👁 453 przeczytań

Problemy milenijne to siedem zadań matematycznych, które w 2000 roku wskazał Instytut Matematyczny Claya, wyznaczając za rozwiązanie każdego z nich milion dolarów. Przez ponad ćwierć wieku rozwiązano jeden. Pozostałe sześć wciąż czeka, a w 2026 roku jedno z nich, równania Naviera-Stokesa, trafiło na nagłówki z powodu, którego nikt się nie spodziewał: ogłoszenia sztucznej inteligencji.

Ten tekst wyjaśnia, czym te zadania są i czego dotyczą. Jeśli szukasz sprawy z 2026 roku, opisałem ją osobno w tekście o tym, co dokładnie ogłosiło OpenAI i o co pytają matematycy.

Siedem zadań i to, o co każde pyta

Poniżej lista w kolejności od tych, które da się streścić w jednym zdaniu, do tych, przy których uczciwe streszczenie nie jest możliwe. Ta kolejność sama coś mówi o skali trudności.

Przy hipotezie Hodge’a muszę być uczciwy: powyższe zdanie jest tak ogólne, że niewiele wnosi, i nie da się tego naprawić bez wprowadzenia pojęć, których nie da się wprowadzić w jednym akapicie. To najtrudniejszy do opowiedzenia problem z całej siódemki i nawet matematycy tłumaczący go publicznie zwykle zaczynają od przyznania, że trzeba będzie przejść przez aparat pojęciowy.

Odwrotny biegun to P kontra NP, jedyny z tej listy, który da się opowiedzieć przy kawie. Wyobraź sobie ułożone puzzle. Sprawdzenie, czy są ułożone dobrze, zajmuje chwilę. Ułożenie ich od zera zajmuje godziny. Pytanie brzmi: czy ta różnica jest prawdziwa i nieusuwalna, czy tylko nie znamy jeszcze dobrej metody układania. Gdyby okazało się, że każde szybko sprawdzalne zadanie jest też szybko rozwiązywalne, przestałaby działać większość szyfrowania, na którym stoi internet, bo bezpieczeństwo haseł i przelewów opiera się właśnie na tym, że pewnych rzeczy nie da się szybko odwrócić.

Kto wypłaca milion dolarów i na jakich warunkach

Nagrodę ustanowił Instytut Matematyczny Claya, prywatna fundacja z Cambridge w stanie Massachusetts. Listę ogłoszono w maju 2000 roku w Paryżu, świadomie nawiązując do słynnego wystąpienia Davida Hilberta, który dokładnie sto lat wcześniej przedstawił zestaw problemów wyznaczających kierunek matematyce na następne dekady.

Warunki wypłaty są ważniejsze, niż się wydaje, i to one najczęściej powodują nieporozumienia w doniesieniach prasowych. Nie wystarczy ogłosić rozwiązania. Trzeba je opublikować w recenzowanym czasopiśmie, a następnie odczekać dwa lata, w czasie których środowisko matematyczne ma to rozwiązanie przyjąć. Dopiero wtedy instytut rozważa nagrodę.

Praktyczny skutek: między zdaniem „ktoś ogłosił rozwiązanie” a zdaniem „problem milenijny został rozwiązany” mieszczą się co najmniej dwa lata i praca dziesiątek ludzi, którzy muszą przeczytać dowód linijka po linijce. Dlatego strona instytutu potrafi jeszcze długo po głośnym ogłoszeniu wykazywać dany problem jako otwarty. To nie przeoczenie, to procedura.

Jedyny rozwiązany: hipoteza Poincarégo

Rozwiązał ją rosyjski matematyk Grigorij Perelman, publikując na początku lat dwutysięcznych serię prac w otwartym repozytorium, bez oddawania ich do czasopisma. Weryfikacja zajęła środowisku kilka lat. Gdy się dopełniła, Perelman zrobił coś, czego nikt nie przewidział w regulaminie: odmówił przyjęcia miliona dolarów. Wcześniej odmówił też przyjęcia Medalu Fieldsa, najwyższego wyróżnienia w matematyce.

Powody, jakie podawał, sprowadzały się do niezgody na sposób, w jaki środowisko rozdziela zasługi. Jest w tym coś, co warto zapamiętać przy każdej kolejnej historii o rozwiązanym problemie milenijnym: spory o autorstwo są w tej dziedzinie regułą, nie wyjątkiem, i pojawiają się niezależnie od tego, czy rozwiązanie przyszło od człowieka, czy od maszyny.

Dlaczego Navier-Stokes trafił w 2026 roku na nagłówki

W 2026 roku OpenAI ogłosiło, że jego wewnętrzny system rozwiązał problem Naviera-Stokesa, i opublikowało formalizację dowodu w języku Lean, w którym komputer sprawdza poprawność każdego kroku rozumowania. Firma zapowiedziała przy tym, że nie będzie ubiegać się o nagrodę.

W ciągu kilkunastu godzin sprawa przestała dotyczyć matematyki, a zaczęła dotyczyć tego, skąd wziął się pomysł na rozwiązanie. Matematyk pracujący nad tym samym problemem doszedł do niemal identycznego wyniku i publicznie zapytał, czy model firmy nie miał dostępu do jego notatek. Cała historia, razem z odpowiedzią firmy i zastrzeżeniami środowiska, jest w osobnym tekście: OpenAI, Navier-Stokes i pytanie o dostęp do cudzych notatek. Rozbiór samej operacji, czyli ile ona kosztowała i jak była zbudowana, opisałem w tekście o rachunku za dziesięć tysięcy agentów.

Czego „sprawdzone przez komputer” nie oznacza

To najczęstsze nieporozumienie w tej sprawie i warto je rozpisać, bo wróci przy każdym kolejnym ogłoszeniu tego typu. Formalizacja w Lean dowodzi, że rozumowanie jest logicznie poprawne. Nie dowodzi, że sformalizowane twierdzenie jest tym samym twierdzeniem, o które pyta problem milenijny w swoim oficjalnym sformułowaniu.

Różnica jest praktyczna: można bez błędu udowodnić twierdzenie sąsiednie, nieco słabsze albo obwarowane założeniem, którego oryginał nie dopuszcza. Maszyna tego nie wychwyci, bo sprawdza kroki, a nie to, czy postawiono właściwe pytanie. Rozstrzygnięcie wymaga ludzi, którzy przeczytają, co dokładnie zostało zapisane. Dlatego dwuletnia procedura instytutu nie jest biurokracją, tylko jedynym znanym sposobem na odróżnienie „poprawne” od „o to właśnie pytaliśmy”.

Dlaczego akurat te siedem

Wspólna cecha tej listy nie polega na tym, że zadania są trudne. Trudnych zadań w matematyce są tysiące. Te siedem wybrano, bo każde z nich blokuje całą okolicę: od odpowiedzi zależą wyniki w innych dziedzinach, czasem setki twierdzeń dowiedzionych warunkowo, z dopiskiem „jeśli hipoteza Riemanna jest prawdziwa”.

Drugą cechą jest to, że wszystkie są stare. Hipoteza Riemanna ma ponad sto sześćdziesiąt lat, hipoteza Poincarégo została postawiona na początku dwudziestego wieku. Każde z tych zadań przeżyło kilka pokoleń matematyków, którzy próbowali i nie dali rady. To o nich mówi się, że wytrzymały próbę czasu, i to dlatego ich rozwiązanie jest warte miliona dolarów, a nie dlatego, że rachunki są długie.

Cztery zadania, którym jeden wiersz tabeli nie wystarcza

Poincarégo i P kontra NP opisałem wyżej, a przy hipotezie Hodge’a powiedziałem wprost, że uczciwe streszczenie jest niemożliwe. Zostają cztery, które da się wytłumaczyć bez aparatu pojęciowego, a które w tabeli dostały tylko po jednym zdaniu.

Hipoteza Riemanna

Liczby pierwsze pojawiają się pozornie bez reguły, ale im dalej patrzeć, tym bardziej ich rozkład wygląda na uporządkowany. Hipoteza Riemanna mówi, gdzie dokładnie leży granica tego porządku, opisując zera pewnej funkcji zespolonej. Jeśli jest prawdziwa, wszystkie interesujące zera leżą na jednej prostej.

To zadanie jest najczęściej wskazywane jako najtrudniejsze, ale nie dlatego, że ktoś zmierzył jego trudność. Powód jest praktyczny: przez dziesięciolecia matematycy dowodzili twierdzeń warunkowo, zakładając, że hipoteza jest prawdziwa. Gdyby okazała się fałszywa, upadłaby razem z nią cała warstwa wyników zbudowanych na tym założeniu.

Równania Naviera-Stokesa

Tymi równaniami opisuje się ruch płynów: wodę w rurze, powietrze wokół skrzydła, prądy w oceanie. Używa się ich codziennie w prognozach pogody i w projektowaniu samolotów. Problem polega na czymś, co brzmi niepokojąco: nie wiadomo, czy te równania zawsze zachowują się sensownie.

Pytanie brzmi, czy startując od gładkiego, spokojnego stanu, rozwiązanie pozostanie gładkie na zawsze, czy może w skończonym czasie „rozerwać się”, czyli osiągnąć nieskończoną prędkość w punkcie. Fizycznie taki wynik nie ma sensu, a mimo to nikt nie udowodnił, że nie może nastąpić. Liczymy więc na tych równaniach, nie wiedząc, czy zawsze wolno.

Teoria Yanga-Millsa i luka masowa

Ta teoria opisuje oddziaływania między cząstkami i jest fundamentem współczesnej fizyki cząstek. Działa: przewidywania się sprawdzają, eksperymenty je potwierdzają. Brakuje jednak czegoś, co matematyka uznaje za konieczne, czyli ścisłego dowodu, że taka teoria w ogóle istnieje jako obiekt matematyczny.

Druga część zadania dotyczy luki masowej. Chodzi o wyjaśnienie, dlaczego cząstki przenoszące oddziaływanie silne mają masę, choć z samej teorii wynikałoby, że nie powinny. To właśnie ta masa sprawia, że oddziaływanie silne działa na bardzo małych odległościach, zamiast sięgać przez cały wszechświat jak grawitacja.

Hipoteza Bircha i Swinnertona-Dyera

Dotyczy krzywych eliptycznych, czyli pewnego rodzaju równań, dla których szuka się rozwiązań w liczbach wymiernych. Czasem takich rozwiązań jest skończenie wiele, czasem nieskończenie wiele, a z samego równania nie widać, który przypadek zachodzi.

Hipoteza mówi, że odpowiedź da się odczytać z zachowania zupełnie innego obiektu przypisanego tej krzywej. To jedyne zadanie z tej czwórki o bezpośrednim przełożeniu praktycznym: krzywe eliptyczne są dziś podstawą szyfrowania, którego używa się w bankowości i w komunikatorach.

Czy AI rozwiąże pozostałe sześć

Uczciwa odpowiedź: nie wiem, i nikt tego dzisiaj nie wie. Wiadomo natomiast, co zmieniło się w ciągu ostatniego roku, i to jest ciekawsze od prognoz.

Modele językowe przeszły drogę od wypluwania dowodów, które matematycy nazywali bełkotem, do bycia narzędziem, przy którym powstają wyniki publikowane w poważnych pracach. Nie jako autor, a jako narzędzie: badacz prowadzi, model podsuwa kierunki i wyłapuje błędy rachunkowe. Tam, gdzie to działa, działa dobrze.

Otwarte pozostaje pytanie zupełnie innego rodzaju, postawione przez jednego z najbardziej cenionych żyjących matematyków. Nawet gdyby autonomiczny system rzeczywiście rozwiązał problem, ale nie dałoby się przejrzeć drogi, którą do tego doszedł, wartość takiego wyniku dla matematyki byłaby niewielka. Powód nie ma nic wspólnego z niechęcią do maszyn: matematyka nie zbiera odpowiedzi, tylko metody. Dowód, którego nie da się prześledzić, nie uczy niczego, co dałoby się użyć przy następnym zadaniu. A na tej liście następnych zadań jest jeszcze sześć.

Jeśli interesuje Cię, jak dzisiejsze modele radzą sobie z rozumowaniem mierzonym w sposób porównywalny, prowadzę osobno rozbiór benchmarków modeli AI, razem z tym, czego one nie mierzą.

Pytania czytelników

Ile problemów milenijnych zostało rozwiązanych?

Do tej pory rozwiązano tylko jeden z siedmiu problemów milenijnych - hipotezę Poincarégo. Dokonał tego rosyjski matematyk Grigorij Perelman na początku lat dwutysięcznych. Co ciekawe, odmówił przyjęcia nagrody miliona dolarów, a wcześniej odrzucił też Medal Fieldsa. Pozostałe sześć problemów - w tym hipoteza Riemanna, P kontra NP oraz równania Naviera-Stokesa - pozostaje nierozwiązanych.

Kto daje milion dolarów za rozwiązanie problemów milenijnych?

Nagrodę miliona dolarów za każdy z siedmiu problemów ustanowił Instytut Matematyczny Claya, prywatna fundacja z Cambridge w stanie Massachusetts. Listę ogłoszono w maju 2000 roku w Paryżu. Samo ogłoszenie rozwiązania nie wystarczy - trzeba je opublikować w recenzowanym czasopiśmie, a następnie odczekać dwa lata, podczas których środowisko matematyczne weryfikuje dowód. Dopiero wtedy instytut rozważa wypłatę nagrody.

Co to jest problem P kontra NP?

P kontra NP pyta, czy każde zadanie, którego rozwiązanie da się szybko sprawdzić, da się też szybko znaleźć. Przykład: sprawdzenie ułożonych puzzli zajmuje chwilę, ale ich ułożenie od zera - godziny. Gdyby okazało się, że obie operacje są tak samo szybkie, przestałoby działać większość szyfrowania w internecie - bezpieczeństwo haseł i przelewów opiera się właśnie na tym, że pewnych rzeczy nie da się szybko odwrócić.

// czytaj dalejPatronus AI zebrał 50 mln dolarów na cyfrowe światy do testowania agentów AINewsyMicron na fali niedoboru pamięci: zysk skacze do 28,2 mld dolarówNewsyAgility Robotics wchodzi na giełdę przez SPAC przy wycenie 2,5 mld dolarówNewsy

Chcesz zrobić film po polsku? ZWID - od 3 zł →