Markdown izdanje

AI-translated from English; not yet reviewed by a fluent editor.

# Udruženje za ljudsku matematiku osporava OpenAI-jevo objavljivanje matematičkih radova

> Udruženje za ljudsku matematiku protivi se OpenAI-jevim vlasničkim matematičkim istraživanjima i masovnom objavljivanju. Povlačenja i popravke dokaza pokazuju da se evidencija menja, a ne da je cela zbirka presuđena.

By BIG CHANGE Editorial

Published: 2026-10-09T18:23:58.826Z
Updated: 2026-10-09T18:23:58.826Z
Canonical: https://bigchange.ai/blog/association-human-mathematics-openai-math-release

![A wheeled library cart holds many plain manuscript booklets beside one separate blank response sheet in a freestanding holder.](https://bigchange.ai/api/media/file/ahm-math-release-response-hero-v1.png)
Conceptual illustration of AHM's response to OpenAI's large mathematics-manuscript release. It does not show AHM's actual statement, a repository screen, a proof, or a verdict on the manuscripts. AI-generated illustration by BIG CHANGE.

Udruženje za ljudsku matematiku (AHM) pozvalo je matematičare da prestanu da sarađuju sa OpenAI-jem nakon što je kompanija 6. oktobra objavila veliku zbirku matematike generisane veštačkom inteligencijom. U svojoj [izjavi od 7. oktobra](https://www.ahmath.org/statements), glavna primedba grupe jeste korišćenje privatnog modela za rešavanje naprednih otvorenih problema i istovremena objava stotina nastalih radova. Grupa osporava tvrdnju OpenAI-ja da takav način objavljivanja unapređuje matematiku, iako javni fajlovi omogućavaju proveru pojedinačnih tvrdnji.

To je stav komunikacione radne grupe AHM-a. To nije glasanje matematičke zajednice niti zaključak da je svaki rukopis pogrešan. Terence Tao je [ponovo objavio tekst kao gostujuću izjavu AHM-a](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/), uz navođenje autorstva umesto predstavljanja teksta kao sopstvene izjave.

## Velika promena

- **Šta se promenilo:**Rasprava o OpenAI-jevoj arhivi sada seže dalje od valjanosti pojedinačnih rezultata. AHM osporava ulogu kompanije u izboru istraživačkih problema i određivanju uslova pod kojima matematičari dobijaju rezultate.
- **Zašto je važno:**Spor se tiče toga ko može da pregleda alat koji je rezultate generisao i ko snosi posao provere i objašnjavanja masovne objave. Ta pitanja ostaju čak i kada se pojedinačni dokaz popravi ili formalizuje.
- **Šta pratiti:**OpenAI kaže da će dodati formalizacije. Nezavisna procena izmenjenih tvrdnji i eventualne dalje ispravke označene verzijama razjasniće koje konkretne rezultate matematičari mogu da provere i razumeju.

## Čemu se AHM protivi

AHM kaže da matematičari nisu tražili ovaj rad. Objavu više od 700 fajlova naziva pokazivanjem moći, a ne naučnim radom, i poziva čitaoce da sumnjaju u njegovu vrednost za oblast. Izjava se poziva i na nezavisnu Savetodavnu grupu za matematiku i veštačku inteligenciju (AGMAI), tvrdeći da je OpenAI zanemario početni zahtev te grupe da prestane da testira naprednu matematiku na internim modelima.

Za to pozivanje postoji jasan osnov. [Smernice AGMAI-ja od 29. septembra ](https://agmai.org/general-sep29/)kažu da bi vodeće laboratorije trebalo da prestanu da testiraju napredne probleme na vlasničkim modelima. Isti dokument zatim daje uslovne preporuke za objavljivanje rezultata ako su ih laboratorije već proizvele: jasno matematičko pisanje, odgovarajuće arhive, obelodanjivanje načina nastanka rada, formalizacija kada je moguća i podrška ljudskom razumevanju. U dokumentu se navodi da su preporuke zasnovane na više od 600 odgovora na anketu i da ih je podržala pluralnost ispitanika. Te činjenice ne pretvaraju kasniji poziv AHM-a da se prekine saradnja sa OpenAI-jem u direktivu AGMAI-ja niti odluku cele oblasti.

U svom [odgovoru na objavu od 6. oktobra](https://agmai.org/), AGMAI je izričito rekao da njegova savetodavna uloga ne znači podršku OpenAI-jevom postupku niti ocenu uticaja rezultata. Objavljivanje je opisao kao početak ljudske procene i naveo da samo matematička zajednica može da utvrdi koliko su preporuke ispoštovane. OpenAI je ranije [opisao grupu kao nezavisnu](https://openai.com/index/advisory-group-on-mathematics-and-ai/) i rekao da će ona savetovati o pregledu i komunikaciji, ali ne i kontrolisati tempo internog istraživanja kompanije. Razlika između saveta i ovlašćenja ovde je bitna: kritika AHM-a osporava odluke OpenAI-ja, ali nije dokaz da ih je spoljni odbor odobrio ili stavio veto na njih.

## Evidenciju koja se menja i dalje treba proveravati

OpenAI-jeva [arhiva  ](https://github.com/openai/math)kaže da zbirka sadrži radove u različitim fazama provere. Trenutni katalog navodi **719 rukopisa u 372 porodice**. Jedna porodica može sadržati više radova. Arhiva navodi da nekim rukopisima nedostaju Lean formalizacije i da neki neformalizovani rezultati mogu imati probleme; izveštava da je formalizovano oko 42% glavnih rezultata. Formalizacija je precizan, mašinski proverljiv argument za određenu tvrdnju, a ne opšta potvrda svake tvrdnje u okolnom radu; status arhive nije zamena za nezavisnu matematičku proveru. Naš raniji [pregled fajlova i podešavanja dokaza ](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs)objašnjava kako pratiti taj obim.

Broj se promenio zato što su povučena tri rukopisa. OpenAI-jeva [istorijska beleška od 7. oktobra ](https://github.com/openai/math/blob/main/history.md)povezuje povlačenja sa greškom u znaku u jednom dokazu koja je uticala i na dva zavisna rada. Beleška navodi izmene još 14 rukopisa, ažuriranje referenci u još 13 i šest dodatnih formalizacija. Naš [izveštaj o tri obaveštenja o povlačenju ](https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error)objašnjava uži zaključak: navedeni argumenti više ne potkrepljuju tvrdnje tih radova; obaveštenja ne pobijaju matematičke tvrdnje. Povučeni dokaz, ispravljen rukopis i formalizovan rezultat različiti su statusi.

Izmene pokazuju koliko posla na proveri može zahtevati velika zbirka sa neujednačenom formalizacijom. To je naša analiza evidencije arhive, a ne tvrdnja iz izjave AHM-a. AHM se protivi odluci da se zbirka generiše i objavi pomoću vlasničkog modela. OpenAI je, s druge strane, obezbedio materijale označene verzijama koje istraživači mogu da pregledaju, isprave i o njima raspravljaju. [Naša ranija analiza kapaciteta za proveru ](https://bigchange.ai/blog/ai-research-discovery-review-capacity)bavila se radom potrebnim da se veliki skup predloženih rezultata pretvori u razumljivu matematiku. Sadašnji spor dodaje oštrije pitanje: da li ovakva proizvodnja tolikog obima služi ljudima od kojih se očekuje da je procenjuju.

## Izvori i dodatno čitanje

- [Udruženje za ljudsku matematiku, izjava o OpenAI-jevoj objavi od 6. oktobra](https://www.ahmath.org/statements), 7. oktobar 2026. Primarni izvor za primedbe AHM-a i poziv da se obustavi saradnja. Izražava stav radne grupe; ne utvrđuje mišljenje svih matematičara niti presuđuje pojedinačnim dokazima.
- [Gostujuće ponovno objavljivanje AHM-a kod Terencea Taoa](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/), 7. oktobar 2026. Označava tekst kao gostujuću izjavu AHM-a i upućuje čitaoce na izvornu stranicu udruženja.
- [Smernice AGMAI-ja za odgovorno objavljivanje](https://agmai.org/general-sep29/), 29. septembar 2026, i [odgovor na OpenAI-jevu objavu](https://agmai.org/), 6. oktobar 2026. Prikazuju primedbu grupe na vlasnička testiranja, uslovne preporuke za objavu i izričita ograničenja značenja njene savetodavne uloge.
- [Najava OpenAI-jeve savetodavne grupe](https://openai.com/index/advisory-group-on-mathematics-and-ai/), 21. septembar 2026. Navodi kako je OpenAI opisao nezavisnost i mandat grupe i njen nedostatak kontrole nad tempom internog istraživanja.
- [OpenAI-jeva matematička arhiva](https://github.com/openai/math) i [istorija verzija](https://github.com/openai/math/blob/main/history.md), pregledano 9. oktobra 2026. Primarni zapisi o trenutnom broju od 719 rukopisa i 372 porodice, neujednačenoj formalizaciji i povlačenjima i izmenama od 7. oktobra. To su OpenAI-jevi zapisi o sopstvenim tvrdnjama i ispravkama, a ne nezavisna potvrda matematike.

## Sources

- [Izjava AHM-a o OpenAI-jevoj objavi od 6. oktobra](https://www.ahmath.org/statements) — Primarna izjava komunikacione radne grupe AHM-a, ne glasanje cele oblasti.
- [Gostujući tekst AHM-a Terencea Taoa](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/) — Označava ponovo objavljenu izjavu kao gostujući tekst AHM-a.
- [Smernice AGMAI-ja za odgovorno objavljivanje](https://agmai.org/general-sep29/) — Početna primedba na vlasnička testiranja i uslovne preporuke za objave.
- [Odgovor AGMAI-ja na OpenAI-jevu objavu](https://agmai.org/) — Odriče se podrške i procene uticaja, a procenu prepušta matematičkoj zajednici.
- [Najava OpenAI-jeve savetodavne grupe](https://openai.com/index/advisory-group-on-mathematics-and-ai/) — OpenAI-jevo objašnjenje nezavisnosti i mandata grupe i njenog nedostatka ovlašćenja nad tempom istraživanja.
- [OpenAI-jeva matematička arhiva](https://github.com/openai/math) — Trenutni brojevi od 719 rukopisa i 372 porodice, napomene o proveri i oko 42% formalizacije, prema OpenAI-ju.
- [Istorija OpenAI-jeve matematičke arhive](https://github.com/openai/math/blob/main/history.md) — Tri povlačenja, izmene, ažuriranja referenci i dodate formalizacije.