- Celem zadania jest ustalenie, czy przepływ nieściśliwych płynów może generować osobliwości, w których prędkość lub ciśnienie są nieskończone.
- OpenAI przedstawiło możliwe rozwiązanie wykorzystujące agentów AI, mimo że istnieją silne kontrowersje dotyczące plagiatu prac hiszpańskich matematyków.
- Pełne rozwiązanie wymaga udowodnienia globalnej regularności i istnienia gładkich rozwiązań, co jest wyzwaniem łączącym czystą matematykę z fizyką turbulencji.
Wyobraź sobie, że próbujesz dokładnie przewidzieć, jak każda kropla wody będzie się poruszać w rzece lub jak będzie wyglądał kapryśny taniec dymu papierosowego w powietrzu. Wydaje się to proste, ale w rzeczywistości stoimy przed jednym z najtrudniejszych wyzwań matematycznych w historii, znanym jako problem Naviera-Stokesa. To wyzwanie to nie tylko akademicka ciekawostka; to jeden z siedmiu problemów Nagrody Milenijnej, za który Instytut Matematyczny Claya oferuje milion dolarów każdemu, kto rozwiąże te równania – fundamentalna dziedzina dla osób studiujących nauki formalne.
Historia przenosi nas do XIX wieku, kiedy Francuz Claude-Louis Marie Navier i Irlandczyk George Gabriel Stokes położyli podwaliny pod ten model. Ich celem było opisanie przepływu płynów, ze szczególnym uwzględnieniem płynów nieściśliwych – tych, których gęstość nie zmienia się nawet w ruchu, niczym krew w żyłach czy mleko w szklance. Sedno sprawy polega na tym, czy równania te zawsze są prawdziwe, czy też mogą się „rozpaść”, tworząc osobliwości – punkty, w których prędkość lub ciśnienie stają się nieskończone, a model przestaje być użyteczny w przewidywaniu przyszłości.
Zagadka regularności i osobliwości
Aby zdobyć nagrodę, obliczenia przybliżone nie wystarczą; wymagany jest ścisły dowód matematyczny istnienia i regularności rozwiązań. Mówiąc prościej, należy udowodnić, czy płyn zachowuje się stopniowo i w sposób ciągły, czy też, wręcz przeciwnie, może gwałtownie zmieniać kierunek w nieskończoność. Problem podzielony jest na cztery techniczne stwierdzenia (A, B, C i D). Pierwsze cztery koncentrują się na ogólnej regularności bez sił zewnętrznych, a pozostałe cztery analizują, co się dzieje w obecności sił zewnętrznych i czy mogą one spowodować matematyczny upadek układu.
Tu właśnie pojawia się turbulencja , ten pozorny chaos, który doprowadza inżynierów i fizyków do szału. Podczas gdy matematyk poszukuje unikalnego i płynnego rozwiązania, inżynier preferuje modele obliczeniowe, które pozwalają mu zaprojektować samolot w zaledwie kilka godzin. Ta rozbieżność celów pokazuje, że problem jest górą lodową złożoności , gdzie fizyczna nieregularność i precyzja numeryczna się przeplatają.
Rozwój sztucznej inteligencji i kontrowersje wokół OpenAI
Świat nauki został ostatnio zszokowany ogłoszeniem firmy OpenAI. Firma twierdzi, że rozwiązała problemy C i D, wykorzystując strategię agentów AI : około 10 000 agentów pracujących niestrudzenie przez 88 godzin. Według ich 166-stronicowego artykułu, wykazali, że płyny wymuszone (takie jak woda pod wpływem grawitacji) mogą tworzyć osobliwości. Jeśli zostanie to potwierdzone po recenzji naukowej, spełnią kryteria , aby zdobyć nagrodę w wysokości miliona dolarów, choć nadal pozostawiają otwartą kwestię płynów niewymuszonych.
Jednak nie wszystko jest takie różowe, ponieważ wybuchła wojna ego i oskarżenia o plagiat . OpenAI rzekomo wykorzystało wcześniejsze prace hiszpańskich matematyków Diego Córdoby i Luisa Martíneza Zoroi. Ci dwaj eksperci z ICMAT pracowali nad tym problemem od lat, a ich idee były fundamentalne dla kluczowych dowodów Tristana Buckmastera i Leventa Alpöge. Społeczność naukowa debatuje obecnie nad tym, czy OpenAI uczciwie podeszło do kwestii intelektualnego autorstwa tego historycznego przełomu.
Podstawy techniczne: od pochodnych materiałowych do symulacji
Aby zrozumieć złożoność tej kwestii, musimy zagłębić się w zawiłości wzorów. Stosowany jest opis Eulera , w którym pochodna substancjalna lub materialna służy do śledzenia zachowania cząstki płynu. Łączy to lokalną zmienność w punkcie stałym z pochodną konwekcyjną , czyli zmianą wywołaną przez sam ruch płynu. Jest to gęsty zbiór matematyki, który obejmuje twierdzenie o transporcie Reynoldsa i twierdzenie Gaussa dotyczące przekształcania całek powierzchniowych na całki objętościowe.
W praktyce równania te są nieliniowe i ściśle sprzężone , co uniemożliwia ich rozwiązanie za pomocą ołówka i papieru w złożonych przypadkach. Dlatego uciekamy się do metod numerycznych, takich jak elementy czy różnice skończone. Co ciekawe, ten matematyczny chaos ma bardzo powszechne zastosowanie: gry wideo . Dzięki pracom takim jak Jos Stam, uproszczone wersje równań Naviera-Stokesa są wykorzystywane w procesorach graficznych do tworzenia hiperrealistycznych efektów ognia i dymu w czasie rzeczywistym, choć zawsze wiąże się to z rozproszeniem numerycznym.
Ta podróż od XIX-wiecznych tablic do serwerów OpenAI pokazuje nam, że choć sztuczna inteligencja jest potężnym narzędziem, to ludzka intuicja matematyków takich jak Córdoba i Martínez-Zoroa pozostaje prawdziwym motorem postępu. Rozwiązanie tego problemu przynosi nie tylko korzyści finansowe, ale także dostarcza klucza do zrozumienia turbulencji i ograniczeń naszych modeli fizycznych, zamykając cykl, który rozpoczął się od Naviera, a teraz rozszerza się na komputery kwantowe i sztuczną inteligencję.
