Markdown izdanje

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

# OpenAI povlači tri matematička rukopisa zbog greške u znaku

> OpenAI je povukao tri matematička rukopisa zbog greške u znaku. Obaveštenja navode korak dokaza koji nije uspeo, čuvaju ranije PDF-ove i ne dokazuju iznete tvrdnje.

By BIG CHANGE Editorial

Published: 2026-10-08T16:17:52.496Z
Updated: 2026-10-08T22:15:14.321Z
Canonical: https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error

![A plain wall-mounted blackboard bears a single minus sign over a faint, partly erased plus-shaped chalk mark; a small eraser rests on its attached ledge.](https://bigchange.ai/api/media/file/openai-math-sign-correction-hero-v1.png)
AI-generated conceptual illustration by BIG CHANGE. The board and marks are symbolic; no real proof, source document, repository, review or theorem validation is depicted.

OpenAI je povukao tri povezana rukopisa iz svoje javne matematičke zbirke nakon što je pronašao grešku u znaku u dokazu prvog rada. Istorija repozitorijuma kompanije [repository history](https://github.com/openai/math/blob/main/history.md)u zapisu od 7. oktobra beleži i izmene 14 drugih rukopisa i ažurirane reference u još 13. Sva tri obaveštenja o povlačenju datirana su 6. oktobra. Ona ukazuju na nedostatak u dokazima, a ne na pobijanje matematičkih tvrdnji.

## Velika promena

- **Šta se promenilo:** OpenAI je tri rukopisa zamenio obaveštenjima o povlačenju. Kompanija kaže da je greška u znaku poništila korak skraćivanja korišćen u prvom radu i konstrukciju na koju su se oslanjala druga dva.
- **Zašto je važno:** Svako ko citira ili nadograđuje ove konkretne tvrdnje sada ima precizno obaveštenje i arhiviranu verziju za proveru. Ranije javno objavljivanje nije dovoljno da se prvobitni dokazi smatraju potvrđenim.
- **Šta pratiti:** Repozitorijum obećava da će čuvati ranije verzije i beležiti izmene. Nezavisna provera mora da razmotri svaku izmenjenu tvrdnju i dokaz; sam dnevnik izmena ne potvrđuje da je ostatak zbirke pouzdan.

## Gde je dokaz stao

Prvi povučeni rad, „  *Algebraicity of Weil classes on split abelian eightfolds*“, tvrdio je da uspostavlja rezultat o algebričnosti u određenom kontekstu Abelovih mnogostrukosti. Njegovo [withdrawal notice](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026/README.md) objašnjava problem prema sopstvenoj konvenciji rada za potpisane dvostruke tačke. Dokaz je počeo prebrojavanjem `-m`, gde je `m` pozitivno. Svakom od `m` tragova obrnute stabilizacije dodeljen je znak `+1`, pa je izgledalo da se zbir poništava na nulu. OpenAI sada kaže da svaki trag ima znak `-1` zbog suprotnih izvornih orijentacija dve grane standardne kuspe. Prema tom objašnjenju, zbir iznosi `-2m`, a ne nulu.

Teorema o poništavanju na koju se taj korak oslanja zahteva da zbir potpisanih dvostrukih tačaka bude nula. OpenAI kaže da dokaz zato ne potkrepljuje kasniju konstrukciju orijentisane hirurgije i ugrađenih brana, niti uspostavlja teoremu koju rad tvrdi. Obaveštenje ne **kaže da je tvrdnja teoreme** netačna.

Druga dva obaveštenja povezuju nedostatak sa prilagođavanjem te konstrukcije. OpenAI kaže da tvrdnja o algebričnosti u radu [*Algebraicity of Kuga–Satake Correspondences for K3 Surfaces*](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Kuga-Satake-Correspondences-for-K3-Surfaces-October-3-2026/README.md) ostaje nedokazana. Obaveštenje za [*The rational Hodge conjecture for products of K3 surfaces*](https://github.com/openai/math/blob/main/preprints/The-rational-Hodge-conjecture-for-products-of-K3-surfaces-October-4-2026/README.md) kaže isto za teoremu tog rada o proizvodima projektivnih K3 površi. To su tri rukopisa navedena u istorijskoj datoteci; obaveštenja ne navode nepovezane rezultate iz zbirke kao povučene.

Svako obaveštenje vodi do PDF-a pre povlačenja, na reviziji repozitorijuma `adc7f1241b42e322a6451854ab7e4b4c146bf78a`. BIG CHANGE je proverio tri linka iz obaveštenja i odredišta arhiviranih PDF-ova. To je bio pregled javnih dokumenata, a ne matematička recenzija argumenata niti provera dokaza u Lean-u.

## Šira revizija sa užim zaključcima

U istom zapisu istorije od [October 7 history entry](https://github.com/openai/math/blob/main/history.md)7. oktobra OpenAI navodi da je izmenio još 14 rukopisa. Kompanija opisuje popravke dokaza i izmene tvrdnji, pretpostavki i zavisnosti u više oblasti, kao i ispravku jedne zastarele reference. Prema zapisu, još 13 rukopisa dobilo je ažurirane reference na izmenjena prateća izdanja. OpenAI prijavljuje i šest novih formalizacija, čime broj formalizovanih glavnih rezultata iznosi 300 od 719, odnosno oko 42%.

Ove brojke opisuju OpenAI-jevo izveštavanje o ažuriranju repozitorijuma. One ne mere ispravnost izmenjenih argumenata i ne pokazuju da je proverena svaka tvrdnja u formalizovanom rukopisu. Sam [README](https://github.com/openai/math) repozitorijuma navodi da zbirka sadrži radove u različitim fazama provere i upozorava da neki neformalizovani rezultati mogu imati probleme. Tokom ovog izveštavanja nismo našli pravovremenu nezavisnu matematičku procenu ove konkretne greške u znaku i dokaza koji od nje zavise.

Objava od 6. oktobra učinila je javno dostupnom veliku zbirku rukopisa koje je izradila veštačka inteligencija. Naš raniji [repository inspection](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs) objašnjava kako se fiksira verzija i razlikuje rukopis od artefakata njegovog formalnog dokaza; naše [opinion on research-review capacity](https://bigchange.ai/blog/ai-research-discovery-review-capacity) razmatra obim posla potrebnog za procenu objave ove veličine. Novi zapis o povlačenju daje konkretan razlog da se ta razlika sačuva. Za ova tri rada OpenAI je naveo koji korak dokaza nije uspeo i ostavio prethodne PDF-ove dostupnim. Da li će budući dokaz uspostaviti neku od njihovih tvrdnji ostaje otvoreno matematičko pitanje.

## Izvori i dodatno čitanje

OpenAI-jeva [repository history](https://github.com/openai/math/blob/main/history.md) beleži tri povlačenja, izmene 14 rukopisa, ažuriranje pratećih referenci u 13 radova i broj formalizacija u zapisu od 7. oktobra 2026. Pojedinačna obaveštenja za [Weil-class](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026/README.md), [ i ](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Kuga-Satake-Correspondences-for-K3-Surfaces-October-3-2026/README.md) and [ opisuju navedene nedostatke, datiraju povlačenja na 6. oktobar i povezuju arhivirane PDF-ove na fiksnoj reviziji. Ovo su zapisi OpenAI-ja: oni neposredno potvrđuju šta je kompanija objavila, a ne predstavljaju nezavisnu proveru dokaza.](https://github.com/openai/math/blob/main/preprints/The-rational-Hodge-conjecture-for-products-of-K3-surfaces-October-4-2026/README.md) notices explain the claimed gaps, label the withdrawals October 6 and link archived PDFs at a fixed revision. These are OpenAI's records; they are direct evidence of what the company disclosed, not independent proof review.

OpenAI-jeva [October 6 announcement](https://openai.com/index/sharing-ai-progress-in-mathematics/) objašnjava prvobitnu javnu objavu i planirane dodatke. BIG CHANGE je 8. oktobra pregledao aktuelnu istorijsku datoteku, tri obaveštenja i njihove arhivske linkove. Nismo pokretali Lean, pregledali svaki izmenjeni rukopis niti nezavisno proveravali matematiku.

## Sources

- [Istorija OpenAI matematičkog repozitorijuma](https://github.com/openai/math/blob/main/history.md) — OpenAI-jev opis greške u znaku, tri povlačenja, četrnaest izmena, ažuriranja pratećih referenci i dodatnih formalizacija.
- [OpenAI matematički repozitorijum](https://github.com/openai/math) — Pregledajte obaveštenja za pogođene rukopise, arhivirane verzije i metapodatke revizija; oni potvrđuju stanje dokumenata, a ne matematičku ispravnost.
- [Deljenje napretka veštačke inteligencije u matematici](https://openai.com/index/sharing-ai-progress-in-mathematics/) — Služi samo kao kontekst za prvobitnu zbirku; nemojte ponavljati njene široke tvrdnje kao potvrdu.