OpenAI publikuje 722 matematyczne manuskrypty wygenerowane przez nieudostępniony model AI

Repozytorium dowodów matematycznych

OpenAI opublikowało we wtorek 6 października 2026 r. na GitHubie 722 manuskrypty pogrupowane w 372 rodziny wyników. Inne źródła skatalogowały to wydanie jako 377 odrębnych wyników matematycznych. Repozytorium obejmuje takie dziedziny jak algebra, teoria liczb, teoretyczne podstawy informatyki, logika matematyczna oraz topologia. Jeden z artykułów zawartych w publikacji zawiera dowód formuły wyrazu wiodącego Bircha-Swinnertona-Dyera dla krzywych eliptycznych nad liczbami wymiernymi, w przypadku gdy grupa Selmera q-potęgi ma korang zero lub jeden przy liczbie pierwszej q. OpenAI dołączyło do prac szacunki zużycia mocy obliczeniowej oraz podsumowania procesu rozumowania modelu dla 10 rozwiązań. Według OpenAI każdy wynik wymagał mocy obliczeniowej odpowiadającej około trzem godzinom czasu myślenia modelu ChatGPT Pro.

Dowody zostały wygenerowane przez nieudostępniony model wewnętrzny AI, którego trenowanie OpenAI rozpoczęło 28 sierpnia 2026 r. Część dowodów została sformalizowana przy użyciu Lean, interaktywnego asystenta dowodzenia i języka programowania umożliwiającego automatyczną weryfikację argumentów matematycznych. OpenAI stwierdziło w dokumentacji repozytorium, że nie wszystkie manuskrypty zostały sformalizowane, przyznając, że niektóre niesformalizowane wyniki mogą zawierać błędy, dodając jednocześnie, że firma będzie kontynuować publikację formalizacji i poprawek.

Rekomendacje grupy doradczej

Publikacja jest efektem konsultacji z Grupą Doradczą ds. Matematyki i Sztucznej Inteligencji (AGMAI), niezależnym komitetem działającym przy Institute for Advanced Study w Princeton w stanie New Jersey. Grupę doradczą powołano w celu opracowania standardów komunikowania wyników matematycznych generowanych przez AI. Melanie Wood, matematyczka z Uniwersytetu Harvarda zasiadająca w radzie doradczej, opisała cel komitetu w wiadomości e-mail.

Chcemy stworzyć standardy i praktyki, aby wyniki publikowane przez laboratoria AI mogły być zrozumiałe dla matematyków i mogły rozwijać tę dziedzinę.

Pod koniec września AGMAI opublikowała rekomendacje wzywające laboratoria sztucznej inteligencji do publikowania wyników za pośrednictwem uznanych kanałów akademickich, ujawniania zasobów obliczeniowych i zapisów promptów oraz unikania wykorzystywania odkryć matematycznych jako narzędzi marketingowych. W poście na blogu opublikowanym 29 września komitet odradził przeprowadzanie ocen modeli za zamkniętymi drzwiami.

Obecnie niektóre laboratoria zajmujące się zaawansowaną sztuczną inteligencją testują trudne problemy matematyczne na autorskich modelach, które pozostają niedostępne dla szerszej społeczności naukowej.

Obawy środowiska akademickiego i wcześniejsze publikacje

Napięcia między twórcami AI a środowiskiem matematyków narastały w poprzednich miesiącach. W sierpniu 2026 r. OpenAI zwołało około 40 matematyków, aby omówić konsekwencje rozwiązywania otwartych problemów przez systemy AI. Uczestnicy, w tym matematyczka z Northwestern University Bryna Kra, poprosili OpenAI o niepublikowanie setek rozwiązań jednocześnie i zażądali artykułów wyjaśniających, które badacze mogliby przyswoić i zweryfikować.

Najwyraźniej te uwagi zostały zignorowane.

We wrześniu 2026 r. OpenAI poinformowało, że ten sam model wewnętrzny wygenerował wyjątek obalający równania Naviera-Stokesa, jeden z problemów milenijnych ustanowionych przez Clay Mathematics Institute z nagrodą 1 mln USD. Ta publikacja wywołała debatę na temat autorstwa, gdy okazało się, że system dokończył pracę rozpoczętą przez inny zespół matematyków. Rzeczniczka OpenAI Lindsay McCallum powiedziała, że firma korzysta z rekomendacji AGMAI, aby kierować sposobem udostępniania wyników, a OpenAI zobowiązało się do finansowania warsztatów, konferencji i programów badawczych, aby pomóc matematykom w ocenie wygenerowanych prac.