Instytut Matematyczny Claya po raz pierwszy publicznie przyznał, że problem istnienia i gładkości Naviera-Stokesa – jeden z siedmiu problemów Nagrody Milenijnej – „najwyraźniej został rozwiązany”. Oświadczenie, opublikowane w piątek na stronie internetowej instytutu, przenosi jedną z najbardziej kwestionowanych historii roku o sztucznej inteligencji i matematyce do formalnego procesu oceny nagród instytutu, jednocześnie wyjaśniając, że nie przyznano żadnej nagrody ani nie potwierdzono żadnego dowodu.

„Dzisiaj CMI podziela podekscytowanie globalnej społeczności matematycznej, gdy rozważamy ogłoszenie, że problem Naviera-Stokesa najwyraźniej został rozwiązany” – napisał instytut w ogłoszeniu z 11 września 2026 r. „Mamy nadzieję, że w miarę analizowania i przesłuchiwania innowacji leżących u podstaw tej pracy wyzwolą się fale nowego ludzkiego zrozumienia”. Więcej kontekstu na ten temat znajdziesz w naszych trendy AI.

Dlaczego oświadczenie ma znaczenie

Zmierzony język instytutu wykonuje mnóstwo pracy, a każde słowo zostało przeanalizowane w ciągu kilku godzin w Hacker News, gdzie ogłoszenie zebrało ponad 100 punktów. To, czego nie mówi oświadczenie, jest równie istotne, jak to, co zawiera: Instytut Matematyki Claya nie wymienia OpenAI, nie potwierdza, że ​​żaden konkretny dowód jest poprawny i nie powoduje przyznania nagrody.

Kontekst wyjaśnia powściągliwość. 8 września OpenAI opublikowało rzekome rozwiązanie problemu Naviera-Stokesa, stwierdzając, że wewnętrzny system sztucznej inteligencji – opisany przez firmę jako znacznie wydajniejszy niż jej model GPT-6 Astra – zapewnił zarówno dowód analityczny, jak i formalną weryfikację w asystencie Lean proof. Ogłoszenie natychmiast dotyczyło zarówno osiągnięć, jak i obliczeń, ponieważ tego samego dnia dwóch matematyków akademickich opublikowało blisko powiązane artykuły, a badacze naciskali na OpenAI, na podstawie której pracy wpłynęło na wynik maszyny.

Ponieważ instytut przyznał teraz, że problem „najwyraźniej został rozwiązany”, spór zmienia obszar: z komunikatu prasowego do gry w ping-ponga na procedurę oceny Nagrody Milenijnej, którą instytut określa jako „celowo niespieszną”.

O co pyta problem Naviera-Stokesa

Problem dotyczy istnienia i gładkości rozwiązań równań Naviera-Stokesa w trójwymiarowej przestrzeni euklidesowej — równań opisujących ruch płynów, takich jak woda i powietrze. Chociaż równania te są codziennie używane przez inżynierów, meteorologów i aerodynamików, matematycy nigdy nie udowodnili, że gładkie, fizycznie rozsądne rozwiązania zawsze istnieją w trzech wymiarach lub że zachowują się przewidywalnie, a nie tworzą osobliwości.

Instytut Matematyczny Claya przedstawił problemy związane z Nagrodą Milenijną na spotkaniu w Paryżu w 2000 r., dołączając nagrodę w wysokości 1 miliona dolarów za każdy z siedmiu problemów, które obejmują także hipotezę Riemanna i P kontra NP. W swoim piątkowym oświadczeniu instytut podtrzymał swoje pierwotne uzasadnienie: podniesienie świadomości społecznej, że granice matematyczne są otwarte oraz uznanie „osiągnięć matematycznych o historycznej skali”.

Tylko jeden z siedmiu problemów, hipoteza Poincarégo, został rozwiązany – przez Grigoriego Perelmana w pracy opublikowanej w 2002 i 2003 r., za którą słynnie odmówił zarówno przyznania Medalu Fieldsa, jak i nagrody pieniężnej.

Przed nami „celowo niespieszna” ocena

W oświadczeniu instytutu wskazano zasady dotyczące nagród jako ramy regulujące dalsze wydarzenia. „Zasady przyznawania nagród opisują proces oceny osiągnięć i przyznawania osiągnięć” – czytamy w oświadczeniu. „Proces celowo przebiega bez pośpiechu, ale będziemy dostarczać aktualizacje”.

To sformułowanie pozostawia otwarte kilka pytań, nad którymi społeczność matematyczna obecnie otwarcie debatuje. Pierwszą przeszkodą jest weryfikacja: sprawdzenie poprawności Naviera-Stokesa zajęłoby zwykle komitetowi ekspertów wiele miesięcy sprawdzania linijka po linijce. Twierdzenie OpenAI, że jego wynik obejmuje sprawdzoną maszynowo formalizację w Lean, mogłoby w zasadzie radykalnie skrócić ten harmonogram, ponieważ weryfikacja formalna ogranicza kwestię poprawności do tego, co zaakceptuje asystent sprawdzający. Instytut nie powiedział jednak, czy złożono mu taką formalizację, kim są sędziowie ani w jaki sposób zasługa zostanie rozdzielona pomiędzy system AI, jego twórców w OpenAI oraz matematyków akademickich, których artykuły na ten temat ukazały się w tym samym tygodniu.

W oświadczeniu nie wskazano również, czy rozwiązanie, które w znacznej mierze można przypisać systemowi sztucznej inteligencji, kwalifikuje się do nagrody, której celem – w języku założycielskim instytutu – jest uznanie ludzkich osiągnięć matematycznych – jest to kwestia bez precedensu w 26-letniej historii nagrody.

Napięcie towarzyszące ogłoszeniu

Ogłoszenie następuje w niezwykle delikatnym momencie dla skrzyżowania sztucznej inteligencji i matematyki. W piątek grupa 25 medalistów Fields, w tym Terence Tao, opublikowała formalną deklarację, w której ostrzega, że ​​wyścig o prezentowanie systemów sztucznej inteligencji na wzorcach matematycznych szkodzi zarówno nauce, jak i społeczności, która ją wspiera. Oświadczenie to zgromadziło w ciągu jednego dnia ponad 1300 dodatkowych zwolenników, jak donosiło wcześniej AI Buzz Wire.

Obydwa dokumenty czyta się niemal jak wzajemne odpowiedzi. Deklaracja matematyków przestrzega przed traktowaniem głębokich problemów jako trofeów wzorcowych; oświadczenie instytutu, ciesząc się z rezultatów, wyraźnie wyznacza moment raczej zrozumienia niż zwycięstwa, mając nadzieję, że w miarę analizowania i przesłuchiwania innowacji leżących u podstaw tej pracy wyzwolą się „fale nowego ludzkiego zrozumienia”.

Nawet własna relacja instytutu na temat otaczającej dziedziny potwierdza tę zmianę: „Rosnąca zdolność nowych technologii do przyspieszania badań matematycznych zwiększyła poczucie oczekiwania” – zauważa w oświadczeniu, przypisując niedawnym przełomom w sąsiadujących obszarach – niektóre wyróżnione nagrodą Clay Research Award – budzącymi nadzieję, że Navier-Stokes wkrótce upadnie.

Co będzie dalej

Na razie wnioski praktyczne są wąskie, ale realne: instytut, do którego należy problem, odnotował, że uważa problem za najwyraźniej rozwiązany, i zobowiązał się do publicznego aktualizowania informacji w miarę postępów oceny. Jeśli praca przetrwa analizę, będzie to drugi rozwiązany Problem Milenijny, pierwszy od dwóch dekad – i pierwszy w historii, któremu można częściowo przypisać system sztucznej inteligencji, a to rozróżnienie wpłynie na sposób, w jaki instytucje matematyczne poradzą sobie z kolejnym tego typu twierdzeniem.

Instytut prosi o cierpliwość. Biorąc pod uwagę, że proces ten jest z założenia celowo niespieszny, odpowiedzi na pytania społeczności dotyczące dowodu, uznania i roli maszyny, która go wyprodukowała, zostaną udzielone w harmonogramie instytutu, a nie w cyklu informacyjnym.

---

Bądź na Bieżąco z AI

Najnowsze wiadomości, analizy i przełomy w dziedzinie AI — wszystko w jednym miejscu.

Czytaj więcej wiadomości AI →