OpenAI Nie Wyklucza, Że Wasz Kod Wytrenował Model

Dziewięćdziesięcioletni Problem Rozwiązany W Osiemdziesiąt Osiem Godzin

8 września 2026 roku OpenAI opublikowało dowód, który ma rozwiązywać problem istnienia i gładkości Naviera-Stokesa, jeden z siedmiu Problemów Milenijnych, za który od 2000 roku przewidziano nagrodę w wysokości miliona dolarów. Problem pyta, czy gładki, trójwymiarowy ruch płynu można zawsze opisać bez załamania się równań. Niepublikowany model badawczy OpenAI, działający jako rój liczący nawet do 10 000 równoległych agentów, wypracował rozwiązanie pokazujące, że nie: w pewnych warunkach wir ściąga się i wiruje coraz szybciej bez ograniczeń, zjawisko, które matematycy nazywają wybuchem w skończonym czasie, podczas gdy całkowita energia płynu pozostaje ograniczona. Firma poświęciła następnie kolejne 17 godzin na sformalizowanie argumentu w Lean, języku używanym do maszynowej weryfikacji dowodów matematycznych krok po kroku.

OpenAI wyraźnie oświadczyło, że nie ubiega się o nagrodę pieniężną Clay Mathematics Institute, a zewnętrzni matematycy muszą jeszcze niezależnie zweryfikować dowód, zanim środowisko uzna go za rozwiązany. Sformalizowanie w Lean jest silnym sygnałem wewnętrznej spójności, a nie zastępstwem recenzji naukowej.

Spór O Uznanie Przyćmiewa Przełom

Ogłoszenie zostało natychmiast przyćmione przez publiczny spór. Matematyk z NYU Tristan Buckmaster, laureat Clay Research Award, powiedział, że on i badacz Anthropic Levent Alpoge pracowali nad ściśle powiązanymi zagadnieniami dynamiki płynów, a OpenAI wydawało się podążać kierunkiem badań, o którym dowiedziało się właśnie dzięki tej pracy, po tym jak w internecie krążyły plotki, że modele Anthropic rozwiązały podobne problemy. Buckmaster twierdził, że badacz OpenAI Sebastien Bubeck nalegał na usunięcie Alpoge z listy autorów właśnie dlatego, że ten pracuje dla konkurencji, a gdy Buckmaster zagroził upublicznieniem tej wymiany, Bubeck miał go zapytać, dlaczego chce zrujnować sobie karierę.

Bubeck zaprzeczył tej wersji, twierdząc, że nigdy nie prosił o usunięcie Alpoge z autorstwa jego własnej pracy, a prawdziwy spór dotyczył tego, czy Buckmaster mógł poprowadzić przepisanie osobnego dowodu, który stworzył sam system OpenAI, co jego zdaniem nie powinno być podpisane przez pracownika konkurencyjnego laboratorium. Osobno, i z większymi konsekwencjami dla użytkowników zewnętrznych, OpenAI oświadczyło, że nie miało dostępu do konkretnych danych konta Buckmastera ani Alpoge podczas pracy nad dowodem, ale dodało, że nie może wykluczyć, iż zanonimizowane sygnały pochodzące z szerszego użycia Codex, możliwe że wliczając ich własne, przyczyniły się do trenowania bazowego modelu.

Co To Oznacza, Jeśli Wasza Firma Korzysta Z Narzędzia Do Kodu Z AI

Nikt nie oskarżył OpenAI o czytanie prywatnych plików konkretnego, nazwanego klienta. Bardziej konkretnym i przydatnym faktem dla europejskiej firmy jest samo to przyznanie: nawet firma, która upiera się, że nikogo celowo nie namierzyła, mówi, że nie może całkowicie wykluczyć, iż zagregowane, zanonimizowane dane użytkowania wracają do trenowania przyszłych modeli. Jeśli wasi programiści używają Codex, Copilot lub podobnego narzędzia do komercyjnie wrażliwego kodu, to jest to pytanie, które warto zadać dostawcy już teraz, a nie dopiero po tym, jak spór wymusi to przyznanie publicznie. Dotyczy to zespołu w Krakowie tak samo jak w Warszawie.

Zapytajcie pisemnie waszego dostawcę narzędzi do kodu z AI o trzy rzeczy: czy podpowiedzi i kod waszej organizacji są domyślnie używane do trenowania modelu, czy poziom enterprise lub rezygnacji faktycznie wyklucza te dane, oraz jak definiują 'zanonimizowane' we własnych warunkach. Przełomowy dowód to moment marketingowy dla OpenAI. Przyznanie dotyczące wykorzystania danych, które mu towarzyszy, utrzymuje się dłużej niż nagłówek.

Servola Journal

Robimy to dla wszystkich, którzy starają się nadążyć za tym, co technologia robi z naszym życiem. Dla ludzi, którzy ją budują, i dla ludzi, którym się to przydarza. Servola Journal istnieje, aby to, czego się uczymy, należało do nich wszystkich.

Nikt nam za to nie płaci. Żadnych reklam, żadnego muru płatności, za darmo dla wszystkich. Po prostu wierzymy, że zrozumienie tego, co dzieje się z nami wszystkimi, nie powinno zależeć od tego, kogo stać na zapłacenie za to.

Jeśli to dało ci dziś coś, powiedz nam, żebyśmy kontynuowali. Obserwuj nas, zostaw polubienie, albo napisz pozytywny komentarz. Czytamy każdy jeden, i to oni sprawiają, że działamy dalej.

Czytaj dalej: Agenci OpenAI wymknęli się z piaskownicy na miesiące  |  Twój kolejny agent AI może rozumować tam, gdzie nikt nie może tego sprawdzić