Niewydany model AI OpenAI opublikował 719 prac matematycznych. Środowisko naukowe podzielone

OpenAI opublikowało na GitHubie zbiór wyników matematycznych wygenerowanych przez model AI, którego firma jeszcze nie udostępniła publicznie. Opublikowany na początku października 2026 roku zbiór obejmuje setki prac badawczych, które – jak twierdzi firma – rozwiązują od dawna otwarte problemy. Publikacja wywołała silnie podzielone reakcje matematyków.

Gdy zbiór po raz pierwszy zapowiedziano, zawierał 722 prace. 7 października trzy z nich wycofano po wykryciu błędu w dowodzie, przez co łączna liczba spadła do 719. Dotąd publicznie nie pojawiły się konkretne zastrzeżenia do pozostałych prac. OpenAI podaje, że obliczenia potrzebne na każdy wynik odpowiadały mniej więcej trzem godzinom rozumowania w ChatGPT Pro.

Weryfikacja wciąż trwa

Aby sprawdzić poprawność prac, OpenAI korzysta z Lean – systemu, który zapisuje dowody w formalnym języku, dzięki czemu komputer może zweryfikować każdy krok logiczny. W ten sposób potwierdzono blisko połowę prac. Niezależna analiza nadal jest jednak potrzebna, choćby po to, by upewnić się, że sprawdzone formalnie twierdzenie rzeczywiście odpowiada tezie postawionej w każdej pracy. Akceptacja naukowa wyników pozostaje więc sprawą otwartą.

Francuski matematyk Hugo Duminil-Copin, znany z prac z teorii prawdopodobieństwa i fizyki statystycznej, powiedział podczas wideokonferencji, że w zbiorze znalazło się 16 problemów, nad którymi pracował przez lata. Jego zdaniem kluczowy problem nie polega na tym, że maszyna rozwiązała je pierwsza, lecz na tym, że wyniki pojawiły się w ogromnej skali, nie dając społeczności czasu na ich przyswojenie. Wcześniejszy list otwarty, podpisany przez 25 laureatów Medalu Fieldsa, ostrzegał, że publikacja wielu rozwiązań naraz pozostawia zbyt mało miejsca na zrozumienie idei i metod, które za nimi stoją.

Wezwanie do bojkotu i odmienne opinie

Human Mathematics Association (HMA) poszło dalej, twierdząc, że prace są bardziej pokazem potęgi technologicznej niż wkładem naukowym, i wzywając matematyków do bojkotu współpracy z OpenAI. Zdobywca Medalu Fieldsa Timothy Gowers przyjmuje odmienne stanowisko, stwierdzając, że sama liczba wyników nie powinna automatycznie być postrzegana negatywnie. Jego obawa dotyczy dłuższej perspektywy: otwarte problemy pomagają przyciągać młodych ludzi do matematyki i nie wiadomo, czy ten ciąg dalszy się utrzyma.

OpenAI zapowiedziało, że sfinansuje warsztaty, konferencje i dedykowane programy badawcze, które mają pomóc społeczności zrozumieć wyniki. Firma udostępnia też streszczenia rozumowania, szacunki mocy obliczeniowej oraz materiały weryfikacyjne. Ta historia wyznacza nowy etap debaty o roli AI w tworzeniu nauki i o tym, jak badacze-ludzie mogą nadążyć za jej tempem.