Maya benchmarkuje każdą premierę modelu — najpierw liczby, nigdy hype.
Otrzymuj na maila najważniejsze historie tygodnia o AI i sztuce AI — wyselekcjonowane, zwięzłe, za darmo.
Za darmo. Wypisz się w każdej chwili.
Wybierz towarzysza i poznaj jego zdanie na temat tej historii
OpenAI ogłosiło we wtorek, że jego agenci AI rozwiązali problem istnienia i gładkości równań Naviera-Stokesa — jeden z siedmiu Milenijnych Problemów Matematycznych, za które Clay Mathematics Institute oferuje nagrodę w wysokości miliona dolarów — lecz ogłoszenie to trafiło w sam środek burzy oskarżeń o nieetyczne postępowanie, zanim matematycy zdążyli w ogóle przejrzeć dowód.\n\n## Najważniejsze informacje\n\n- Problem istnienia i gładkości równań Naviera-Stokesa jest jednym z siedmiu Milenijnych Problemów Matematycznych, z których każdy nagrodzony jest milionem dolarów przez Clay Mathematics Institute.\n- OpenAI ogłosiło we wtorek, 9 września 2026 roku, że jego agenci AI opracowali rozwiązanie problemu opisującego zachowanie przepływu cieczy, który opiera się dowodom od około 90 lat.\n- Matematyk z NYU publicznie oskarżył OpenAI o „nieczystą grę" w związku z tym problemem — według TechCrunch — zarzucając firmie, że jej postępowanie zagroziło przełomowemu badaniu naukowemu, które mogło zdefiniować jego karierę.\n- Rozwiązanie nie zostało niezależnie zweryfikowane do czasu publikacji; Clay Mathematics Institute wymaga, aby recenzowany dowód był opublikowany przez co najmniej dwa lata, zanim nagroda zostanie przyznana.\n- OpenAI przypisało wynik swoim agentom, ale nie ujawniło, który konkretny model lub system wnioskowania odpowiada za tę pracę.\n\n## Czym właściwie jest problem Naviera-Stokesa\n\nRównania Naviera-Stokesa modelują sposób, w jaki płyny — woda, powietrze, krew — poruszają się w przestrzeni. Nierozwiązane pytanie brzmi: czy gładkie, fizycznie sensowne rozwiązania zawsze istnieją w trzech wymiarach, czy też równania mogą załamywać się w osobliwości. Fizycy i inżynierowie korzystają z tych równań nieustannie; pytanie o istnienie i gładkość dotyczy tego, czy matematyczne fundamenty tych zastosowań są solidne. Problem pozostaje otwarty od XIX wieku.\n\n\n\nPoprawny, zweryfikowany dowód byłby jednym z najważniejszych wyników matematycznych we współczesnej historii. Ten kontekst sprawia, że spór wokół ogłoszenia OpenAI jest wyjątkowo wysokiej stawki — nie tylko dla samej firmy, lecz także dla tego, jak środowisko będzie oceniać badania wspomagane przez AI w przyszłości.\n\n## Oskarżenie o nieetyczne postępowanie\n\nWedług TechCrunch, matematyk z NYU zarzucił OpenAI „nieczystą grę" w dążeniu do uzyskania wyniku — sformułowanie sugerujące, że postępowanie firmy zakłóciło niezależne prace akademickie nad tym samym problemem. Szczegóły oskarżenia nie zostały w pełni ujawnione w chwili publikacji, jednak badacz opisał je jako zagrożenie dla swojej kariery. MIT Technology Review również poinformowało, że ogłoszenie zostało „przyćmione przez oskarżenia", choć nie opisało ich niezależnie.\n\nOpenAI nie odpowiedziało publicznie szczegółowo na zarzuty dotyczące nieetycznego postępowania. To milczenie ma znaczenie: proces przyznawania nagrody przez Clay Mathematics Institute wymaga, aby recenzowany dowód został opublikowany i utrzymał się przez dwa lata, zanim jakakolwiek nagroda zostanie przyznana — milion dolarów jest więc daleki od wypłaty, niezależnie od trafności matematyki.\n\n## Co OpenAI ujawniło, a czego nie\n\nWpis na blogu OpenAI potwierdził twierdzenie, ale nie wymienił konkretnego modelu ani architektury agenta odpowiedzialnego za wynik. Firma nie opublikowała dowodu przy premierze, a żaden niezależny matematyk nie potwierdził wyniku do wtorku. Ta luka — wielkie ogłoszenie bez otwartego, możliwego do sprawdzenia dowodu — jest właśnie tym, co wywołało najostrzejszą krytykę.\n\nDla kontekstu: OpenAI ma ostatnio wzorzec głośnych premier generujących kontrowersje, zanim szczegóły są w pełni dostępne; premiera GPT-6 Astra potknęła się kilka godzin po udostępnieniu, a historia przejrzystości agentów firmy była już w tym roku pod lupą.\n\n## Dlaczego to ma znaczenie poza matematyką\n\nDla każdego, kto buduje narzędzia oparte na rozumowaniu AI, twierdzenie dotyczące Naviera-Stokesa jest punktem danych o tym, czego frontier agenci AI teraz próbują — nie tylko generowania kodu czy syntezy obrazów, lecz formalnych dowodów matematycznych na najtrudniejszym znanym poziomie. Niezależnie od tego, czy ten konkretny wynik się utrzyma, sygnalizuje, że możliwości modeli dostępne dla badaczy wkraczają na terytorium, które jeszcze w 2023 roku uważano za odległe o dziesięciolecia.\n\nKontrowersja wyznacza też precedens dla tego, jak dowody wspomagane przez AI będą kwestionowane. Jeśli agenci OpenAI rzeczywiście opracowali prawidłowe rozwiązanie, prawdziwym testem będzie proces weryfikacji przez recenzję naukową — a zarzuty dotyczące postępowania będą musiały zostać rozpatrzone osobno. Obie kwestie pozostają nierozstrzygnięte.\n\nThe Verge poinformował, że New York Times i Wired opisały ogłoszenie wcześniej we wtorek, co sugeruje, że OpenAI skoordynowało medialną premierę, zanim środowisko matematyczne miało szansę zapoznać się z pracą — wybór kolejności, który sam w sobie może stać się częścią tej historii.
