DeykunLider
15piorunów#ai #chatgpt #openai #matematyka
tl; dr; OpenAI twierdzi, że rozwiązało jeden z problemów milenijnych, nie będą się ubiegać o nagrodę.
8 września 2026 r.
O problemie milenijnym równań Naviera–Stokesa
Udostępniamy rozwiązanie problemu istnienia i gładkości równań Naviera–Stokesa, jednego z Problemów Milenijnych. Dowód, opracowany przez wewnętrzny system OpenAI, pokazuje, że dynamika równań Naviera–Stokesa opisujących ruch płynów może prowadzić do powstania osobliwości w skończonym czasie. Udostępniamy zarówno pisemne opracowanie dowodu, jak i jego formalizację w języku Lean.
Problemy Milenijne (otwiera się w nowym oknie) należą do najgłębszych pytań znajdujących się na granicy współczesnej matematyki. Pytanie o to, czy gładki, trójwymiarowy ruch płynu może ulec załamaniu, pozostaje nierozstrzygnięte od około 90 lat.
...
Postęp i odpowiedzialność
Naszym celem, publikując ten wynik, jest przedstawienie znaczącego postępu naszych modeli AI. Nie zamierzamy ubiegać się o Nagrodę Milenijną za ten rezultat.
Ten kamień milowy jest efektem znaczącej pracy matematyków i badaczy sztucznej inteligencji. Nie stanowi jednak zwieńczenia tych wysiłków, lecz raczej obraz postępów w rozwoju AI w danym momencie.
https://openai.com/index/navier-stokes-solution/
Równania Naviera-Stokesa (nazwane na cześć Claude’a-Louis Naviera i George’a Gabriela Stokesa) – zestaw równań opisujących zasadę zachowania pędu dla poruszającego się płynu. Według nich zmiany pędu elementu płynu zależą jedynie od sił masowych, zewnętrznego ciśnienia i wewnętrznych sił lepkości w płynie.
...
W 2000 roku Instytut Matematyczny Claya ogłosił równania Naviera-Stokesa jednym z siedmiu problemów milenijnych matematyki i zaoferował 1 000 000 dolarów nagrody za podanie rozwiązania lub kontrprzykładu[1]. Oficjalny opis problemu przedstawił Charles Fefferman.[2]
https://pl.wikipedia.org/wiki/R%C3%B3wnania_Naviera-Stokesa

















