Równania Naviera-Stokesa to wzory opisujące ruch płynów (cieczy i gazów). Stosuje się je na co dzień m.in. do prognozowania pogody, projektowania kadłubów samolotów czy analizy przepływu krwi w naczyniach krwionośnych.
Obserwuj Niezalezna.pl w Google! Wejdź na nasz profil, a następnie kliknij „Obserwuj w Google”
Od ponad 90 lat naukowcy starali się odpowiedzieć na pytanie, czy te klasyczne równania działają zawsze, czy też mogą dać niepoprawne matematycznie wyniki – czyli czy może w nich pojawić się tzw. osobliwość. Oznacza ona sytuację, w której z obliczeń wynika, że płyn powinien zacząć poruszać się z nieskończoną prędkością. Ponieważ w rzeczywistym świecie żaden obiekt nie może poruszać się nieskończenie szybko, wystąpienie osobliwości oznacza moment załamania się dotychczasowego modelu matematycznego.
W 2000 roku Instytut Matematyczny Claya (USA) ogłosił równania Naviera-Stokesa jednym z siedmiu problemów milenijnych matematyki i zaoferował 1 mln dolarów nagrody (ang. Millennium Prize Problems) za podanie rozwiązania lub kontrprzykładu.
Ogłaszając we wtorek rozwiązanie problemu, twórcy technologii z OpenAI zadeklarowali, że celem publikacji jest zaprezentowanie postępu w rozwoju AI i że nie zamierzają ubiegać się o tę nagrodę.
„Golden era of theoretical science!” (Złota era nauk teoretycznych)
- skomentował tę informację dyrektor Instytutu Naukowego IDEAS prof. Piotr Sankowski na platformie X.
Firma OpenAI w komunikacie poinformowała, że do rozwiązania problemu użyła wewnętrznego modelu, wydajniejszego od GPT-6 Astra. Nad zagadnieniem pracowało jednocześnie około 10 tysięcy agentów AI, którzy komunikowali się ze sobą i korzystali z narzędzi takich jak kodowanie czy przeglądanie archiwum internetu. Osiągnięcie wyniku zajęło systemowi około 88 godzin, a dodatkowe 17 godzin trwała weryfikacja i sformułowanie dowodu w formalnym języku matematycznym Lean.
Twórcy technologii przyznali jednocześnie, że ich prace zostały zainspirowane doniesieniami o równoległych dokonaniach zewnętrznych badaczy.
„We wtorek, 1 września, usłyszeliśmy plotki, że dwa problemy z listy problemów milenijnych zostały rozwiązane. Zainspirowani tymi plotkami oraz skokowym wzrostem wydajności naszego wewnętrznego modelu, rozpoczęliśmy próbę przetestowania go na wszystkich otwartych problemach milenijnych i kilku innych problemach o dużym znaczeniu” – podano w informacji OpenAI.
Firma OpenAI wyjaśniła, że doniesienia związane były z Leventem Alpöge, pracownikiem Anthropic, oraz Tristanem Buckmasterem, profesorem matematyki na Uniwersytecie Nowojorskim (NYU). Okazało się, że rozwiązania naukowców dotyczyły jedynie części problemu – tzw. wymuszonego problemu Eulera. Tymczasem OpenAI miało nie tylko rozwiązać ten problem, ale i pójść o krok dalej, rozwiązując równania Naviera-Stokesa.
Przedstawiciele firmy zaznaczyli, że po zakończonym procesie weryfikacji skontaktowali się z naukowcami, aby zaproponować wspólne ogłoszenie wyników. „Uznajemy pierwszeństwo ich pracy nad wymuszonym problemem Eulera i gratulujemy im wybitnego osiągnięcia matematycznego” – podkreślono w komunikacie.
„My (badacze i agenci) nie widzieliśmy żadnych z ich prac w żaden sposób, dopóki nie opublikowali ich publicznie – w szczególności do rozwiązania tego problemu nie posłużył dostęp do żadnych konkretnych danych użytkowników. Choć jest to mało prawdopodobne, nie możemy jednak wykluczyć, że zanonimizowane dane pochodzące z użytkowania naszych produktów pomogły w usprawnieniu naszych modeli. Jednak nasze dowody różnią się znacząco i nawet dokładne udowodnione wyniki są odmienne w przypadku Eulera”
– zaznaczono w dokumencie opublikowanym przez OpenAI.
