Masowe wydanie OpenAI z matematyki wywołuje obawy o kariery wśród akademickich matematyków

Wieczorem 6 października 2026 roku OpenAI otworzyła publiczne repozytorium zawierające 722 manuskrypty matematyczne, pogrupowane w 372 rodziny problemów, utworzone przez niewydane wewnętrzne modelu, zgodnie z wiadomościami technologicznym Unite.AI. Firma stwierdziła, że postawiła systemowi około 4000 otwartych problemów w sumie i opublikowała tylko podzbiór, który uznała za wartościowy do wydania, obejmujący algebrę, teorię liczb, topologię, teoretyczną informatykę i logikę matematyczną.

Co OpenAI wydała

Serwis Unite.AI podał, że szkolenie wewnętrznego modelu rozpoczęło się 28 sierpnia 2026 roku, a przebieg oceny uruchomiono 1 września. Model został umieszczony, aby utwierdzić dowód w Lean adresujący kwestię osobliwości Naviera-Stokesa — jeden z siedmiu problemów Millenium Prize Instytutu Matematycznego Claya — około 5 września, przy czym OpenAI ogłosiła wynik publicznie 8 września. Firma stwierdziła, że nie będzie ubiegać się o związaną z tym nagrodę w wysokości 1 miliona dolarów. Fortune doniosła, że OpenAI również twierdziła o częściowym postępie w trzech innych problemach Millenium Prize w wydaniu z 6 października bez ich pełnego rozwiązania.

Nie każdy manuskrypt został dostarczony ze sprawdzeniem zweryfikowanym przez maszynę. Serwis Unite.AI zauważył, że wiele, ale nie wszystkie artykuły zawierały formalizacje w asystencie dowodu Lean, który automatycznie sprawdza każdy krok logiczny; niesformalizowane wyniki niosą wyższe ryzyko ukrytych błędów. Fortune doniosła, że do 8 października OpenAI już wycofała co najmniej trzy opublikowane rozwiązania po znalezieniu błędów.

Medalista Fieldsa mówi, że płakał

Wydanie uderzyło niektórych badaczy osobiście. Francuski portal SenePlus poinformował, że Hugo Duminil-Copin, który zdobył Medal Fieldsa w 2022 roku za pracę nad przejściami fazowymi w fizyce statystycznej, odkrył, że 16 jego własnych otwartych pytań badawczych znalazło się wśród problemów, które OpenAI twierdziła, że rozwiązała, mówiąc, że firma faktycznie zakończyła to kierunek badań. Powiedział, że płakał w nocy z wtorku, 6 października, na 7 października, do tego stopnia, że obudził swoją córkę.

Według SenePlus, Duminil-Copin argumentował podczas wideokonferencji zorganizowanej przez Francuskie Towarzystwo Matematyczne 8 października, że celem badacza jest nie tylko dowodzenie twierdzeń, ale także tworzenie rozumienia dla innych ludzi. Powiedział, że najbardziej martwi się początkującymi matematykami, którymi, jak się obawiał, będą najbardziej dotkniętymi, gdy nieformalna kultura rozpowszechniania idei i częściowych wyników między kolegami znika, jeśli matematycy rozpoczną wstrzymywanie pracy ze względu na presję konkurencyjną.

Matematycy dają kontrę

Wydanie skłoniło do otwartego oświadczenia ze strony Stowarzyszenia Matematyki Humanitarnej (AHM), grupy, której Grupa Robocza ds. Komunikacji opublikowała je jako zaproszony wpis na blogu matematyka Terence'a Tao 7 października. Oświadczenie mówiło, że matematycy nie prosili o to ciało pracy i że OpenAI zignorowała wcześniejsze wskazówki od Doradczej Grupy ds. Matematyki i Sztucznej Inteligencji, niezależnego organu, który doradza, jak firmy zajmujące się sztuczną inteligencją powinny testować i publikować twierdzenia matematyczne, zgodnie z oświadczeniem AHM. Oświadczenie opisało wydanie ponad 700 plików jednocześnie jako odzwierciedlające skalę zasobów OpenAI, a nie staranną recenzję naukową.

Fortune doniosła, że Terence Tao, pisząc na Mastodonie, powiedział, że epizod oznacza koniec tego, co on nazwał Math 1.0, argumentując, że problemy są coraz częściej rozwiązywane przez użytkowników sztucznej inteligencji, którzy nie interesują się szerszą dziedziną i że dyscyplina powinna przypisywać większą wartość ekspozycji i budowaniu społeczności, a nie tylko rozwiązywaniu problemów. Matematyk Uniwersytetu Nowojorskiego Tristan Buckmaster, który wcześniej podnosił obawy dotyczące pracy Naviera-Stokesa, powiedział The New York Times, cytowany przez Fortune, że podejrzewał, że niektóre z opublikowanych wyników rozszerzyły poprzednią pracę innych matematyków do ukończenia bez odpowiedniej wiadomości.

Matematyk Uniwersytetu Kolumbii Peter Woit, pisząc na swoim blogu Not Even Wrong, opisał wydanie jako źle zorganizowane i powiedział, że OpenAI zignorowała rekomendacje grupy doradczej, zanim przerzuciła odpowiedzialność za posortowanie wyników na matematyczną społeczność. Woit zidentyfikował system stojący za artykułami jako model, który nazwał 'Astra'. Komentatorzy jego posta powiedzieli, że wiele z wygenerowanych przez sztuczną inteligencję dowodów było technicznie gęsto, ale oferowało niewiele matematycznej intuicji lub nowego teoretycznego zrozumienia, nawet gdy były poprawne.

Nie nowa walka

Tarcie między OpenAI a matematykami poprzedza wydanie z października. TechCrunch doniosła, że w październiku 2025 roku wiceprezydent OpenAI Kevin Weil opublikował — a później usunął — twierdzenie, że GPT-5 znalazło rozwiązania 10 wcześniej nierozwiązanych problemów Erdősa i osiągnęło postęp w 11 innych. Thomas Bloom, który utrzymuje publiczną bazę danych problemów Erdősa, powiedział, że ramy były wysoce mylące, wyjaśniając, że problemy oznaczone jako 'otwarte' na jego stronie po prostu oznaczały, że nie wiedział o opublikowanym rozwiązaniu, a nie że go nie ma; powiedział, że GPT-5 znalazła istniejące odwołania, które pominął. Badacz OpenAI Sebastien Bubeck później przyznał, że model po prostu zlokalizował istniejące rozwiązania w opublikowanej literaturze, a nie odkrył nowe, chociaż powiedział, że to nadal miało wartość.

Zwolennicy mówią, że dziedzina może się dostosować

Nie każdy matematyk traktował wydanie jako kryzys. Fortune cytował matematyka Uniwersytetu Toronto Dana Litta, który powiedział, że ogólnie uważa to rozwój za pozytywny dla matematyki, zastrzegając, że społeczeństwo musi dalej finansować matematyków-ludzi, aby dziedzina nie straciła wsparcia instytucjonalnego w wyniku. Litt również zauważył, że OpenAI nie zatrudnia wystarczającej liczby matematyków, aby napisać wszystkie swoje wyniki jako konwencjonalne artykuły, co on powiedział, pomogło wyjaśnić, bez usprawiedliwienia, skalę i szybkość wydania.

• 722 manuskrypty generowane przez sztuczną inteligencję obejmujące 372 rodziny problemów wydane 6 października 2026 (Unite.AI).
• OpenAI testował model na około 4000 otwartych problemach przed opublikowaniem wybranego podzbioru (Unite.AI).
• Co najmniej trzy opublikowane wyniki zostały wycofane do 8 października po znalezieniu błędów (Fortune).
• Medalista Fieldsa Hugo Duminil-Copin powiedział, że 16 jego własnych otwartych pytań znalazło się wśród rozwiązywanych problemów (SenePlus).
• Stowarzyszenie Matematyki Humanitarnej wezwało matematyków do zaprzestania współpracy z OpenAI (blog Terence'a Tao).