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 historyu 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 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 ostaje nedokazana. Obaveštenje za The rational Hodge conjecture for products of K3 surfaces 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 entry7. 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 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 objašnjava kako se fiksira verzija i razlikuje rukopis od artefakata njegovog formalnog dokaza; naše opinion on research-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 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, i 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. 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 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.