Cień giganta nad równaniami Naviera-Stokesa. Kulisy sporu między OpenAI a matematykami

Świat matematyki teoretycznej rzadko staje się areną brutalnych korporacyjnych rozgrywek, jednak sprawa Tristana Buckmastera rzuca nowe światło na metody działania liderów sektora AI. Matematyk upublicznił relację, z której wyłania się obraz OpenAI jako organizacji gotowej do wywierania personalnych nacisków, byle tylko zabezpieczyć swój priorytet w wyścigu o rozwiązanie jednego z problemów milenijnych – równań Naviera-Stokesa. Spór, w którym stawką jest naukowa renoma i milion dolarów nagrody od Instytutu Claya, wykracza jednak poza same liczby, uderzając w fundamenty etyki pracy z modelami językowymi.

Dlaczego ta sprawa budzi teraz takie emocje? Tristan Buckmaster i Levent Alpöge zdołali udowodnić trzy twierdzenia dotyczące równań Naviera-Stokesa (w wersji „forced”), nad którymi pracowali przez około rok. To nie tylko sukces akademicki, ale punkt zapalny w relacjach nauka-biznes. OpenAI, zamiast świętować postęp, weszło w tryb obronny, próbując zarządzać publikacją wyników w sposób, który faworyzuje ich własne modele, co rodzi fundamentalne pytania o to, czy dane badaczy są bezpieczne w zamkniętych systemach AI.

Przełom w cieniu inwigilacji danych?

Buckmaster wraz z Alpöge wykorzystywali w swoich pracach zaawansowane modele, w tym OpenAI Codex. Ich podejście było nietypowe i odbiegało od dotychczasowych prób ugryzienia problemu. Kiedy we wrześniu zaczęły krążyć plotki o sukcesie zespołu, OpenAI zareagowało z niepokojącą intensywnością. Według relacji Buckmastera, Sébastien Bubeck z OpenAI miał twierdzić, że „wewnętrzny model OpenAI wygenerował już zgrubny, 100-stronicowy dowód”, idąc dokładnie tą samą, unikalną ścieżką, którą podążali naukowcy.

Kluczowe pytanie dotyczy pochodzenia danych treningowych modelu. Buckmaster i Alpöge regularnie przesyłali swoje szkice do sesji Codexu. Choć przedstawiciele firmy zaprzeczali, jakoby model zaglądał do danych użytkowników, pytania o to, czy sesje te posłużyły do dotrenowania systemu, pozostały bez odpowiedzi. Zbieżność „unikalnej ścieżki” dowodowej wydaje się dla Buckmastera zbyt duża, by uznać ją za przypadek.

Wojna o nazwiska

Najbardziej kontrowersyjnym elementem sporu nie jest technologia, lecz próba wykluczenia Leventa Alpöge z autorstwa prac. Bubeck miał dwukrotnie domagać się usunięcia jego nazwiska, argumentując to w sposób mało naukowy: zatrudnienie Alpöge w konkurencyjnym Anthropic było dla OpenAI po prostu „irytujące”. Propozycje ugody brzmiały jak dyktat – w jednym ze scenariuszy OpenAI miało ogłosić swój sukces dzień po matematykach, nazywając ich jedynie „ludźmi najbliższymi rozwiązania”.

Kiedy Buckmaster odrzucił te warunki, atmosfera gęstniała. Padły pytania o „rujnowanie kariery” i sugestie, że matematyk przestał zachowywać się racjonalnie. To zachowanie pokazuje, jak wielka jest presja na to, by każde istotne odkrycie wspomagane sztuczną inteligencją było kojarzone wyłącznie z jedną korporacyjną marką.

Moment Kasparowa w matematyce

Niezależnie od wyniku tego konfliktu, jesteśmy świadkami historycznej zmiany. Buckmaster porównuje obecną sytuację do pojedynku Deep Blue z Kasparowem. Narzędzia AI pozwalają dziś matematykom w miesiąc dokonać tego, co wcześniej zajmowało lata. Jednak ta nowa era niesie ze sobą ryzyko, którego nauka dotąd nie znała na taką skalę: całkowitego uzależnienia badaczy od infrastruktury i dobrej woli firm, które potrafią brutalnie pilnować swoich interesów.

• Spór dotyczy wersji „forced” równań, co komplikuje walkę o milionową nagrodę Claya.
• Buckmaster oskarża OpenAI o próby zastraszania i wywieranie nacisków w celu zmiany autorstwa pracy.
• Incydent rzuca cień na transparentność modeli takich jak Codex w pracy z poufnymi danymi naukowymi.