AI rozwiązało problem matematyczny za milion dolarów? Wybuchła awantura z matematykami

Na kilkanaście godzin przed komunikatem OpenAI własny wynik przedstawił Tristan Buckmaster, profesor Uniwersytetu Nowojorskiego. Wspólnie z Leventem Alpöge, matematykiem pracującym w Anthropic, zajmował się zagadnieniem przez blisko rok.

Naukowcy korzystali przy tym z narzędzi AI - Claude'a od Anthropic oraz Codexa stworzonego przez OpenAI.

10 tys. agentów AI pracowało nad problemem Naviera-Stokesa

OpenAI rozpoczęło eksperyment 1 września po pojawieniu się informacji, że rozwiązane mogły zostać dwa Problemy Milenijne. Firma skierowała grupy agentów AI do kilku nierozwiązanych zagadnień matematycznych.

Początkowo blisko 100 agentów przez 50 godzin pracowało nad problemem dotyczącym równań Eulera. Osiągnięty rezultat sprawił, że OpenAI skoncentrowało zasoby na równaniach Naviera-Stokesa.

W szczytowym momencie nad zagadnieniem pracowało równolegle około 10 tys. agentów AI. Wynik uzyskano 5 września - 88 godzin po rozpoczęciu eksperymentu.

Matematycy kontra OpenAI. Spór o pierwszeństwo

Buckmaster zasugerował, że informacje o postępach jego zespołu mogły dotrzeć do OpenAI, zanim firma rozpoczęła własne prace.

OpenAI temu zaprzecza. Firma zapewniła, że ani jej badacze, ani agenci AI nie mieli dostępu do pracy Buckmastera i Alpöge przed jej publicznym udostępnieniem. Po wewnętrznym dochodzeniu OpenAI przekazało również, że zapytania Buckmastera kierowane wcześniej do Codexa nie mogły wpłynąć na system, także poprzez trenowanie.

ZOBACZ: Poważny błąd w mObywatelu. Koniecznie zainstaluj nową poprawkę

Ostatecznie OpenAI uznało pierwszeństwo konkurencyjnego zespołu w odniesieniu do jego wyniku, zaznaczając jednocześnie, że oba przedstawione dowody znacząco się różnią.

Firma zapowiedziała także, że nie będzie ubiegać się o nagrodę w wysokości miliona dolarów.

Czym jest problem Naviera-Stokesa?

Równania Naviera-Stokesa są podstawą mechaniki płynów. Pozwalają modelować m.in. przepływ krwi, pogodę czy zachowanie wody i powietrza wokół projektowanych konstrukcji.

Problem dotyczy zachowania rozwiązań tych równań w ekstremalnych warunkach. W wyniku przedstawionym przez OpenAI model prowadzi do sytuacji, w której ruch płynu koncentruje się w coraz mniejszej przestrzeni, a jego prędkość rośnie.

ZOBACZ: Michael Lines pozywa OpenAI. ChatGPT miał wspierać jego urojenia

Ostatecznie w skończonym czasie miałaby stać się nieskończona, co oznaczałoby "załamanie" rozwiązania. Możliwość wystąpienia takiego zjawiska pozostawała przedmiotem sporów matematyków przez dekady.

Na ostateczne rozstrzygnięcie trzeba jednak poczekać. Przedstawiony dowód musi zostać niezależnie zweryfikowany, dlatego na tym etapie nie można przesądzać, że jeden z Problemów Milenijnych rzeczywiście został rozwiązany.