OpenAI poinformowało 8 września o opracowaniu przez sztuczną inteligencję propozycji rozwiązania problemu Naviera–Stokesa — jednego z najbardziej znanych otwartych problemów współczesnej matematyki.

Problem dotyczy zachowania rozwiązań trójwymiarowych równań opisujących ruch płynów. Jedno z kluczowych pytań brzmi, czy dla określonych warunków rozwiązania mogą w skończonym czasie rozwinąć osobliwość, czyli przestać pozostawać gładkie.

Według OpenAI system zbudowany z około 10 tys. współpracujących agentów AI pracował nad zadaniem przez 88 godzin. Firma twierdzi, że uzyskany dowód pokazuje scenariusz prowadzący do powstania osobliwości w skończonym czasie. Materiał został udostępniony do dalszej analizy, a część argumentacji sformalizowano również w systemie Lean.


To jednak nie oznacza jeszcze, że problem został oficjalnie rozwiązany.

Clay Mathematics Institute, który ustanowił Problemy Milenijne, wymaga m.in. publikacji rozwiązania w kwalifikowanym czasopiśmie, upływu odpowiedniego czasu oraz szerokiej akceptacji wyniku przez środowisko matematyczne. Dopiero wtedy możliwe byłoby formalne uznanie rozwiązania i przyznanie nagrody w wysokości miliona dolarów.

Na razie matematycy dopiero zaczynają analizować opublikowany dowód. Jeśli okaże się poprawny, byłby to przełom nie tylko dla matematyki, ale również dla badań nad wykorzystaniem sztucznej inteligencji do rozwiązywania złożonych problemów naukowych.

Problem Naviera–Stokesa jest jednym z siedmiu Problemów Milenijnych ogłoszonych w 2000 roku. Do tej pory oficjalnie rozwiązano tylko jeden z nich — hipotezę Poincarégo.