OpenAI objavio 722 matematička rukopisa — provjera tek počinje

OpenAI je 6. listopada 2026. objavio 722 matematička rukopisa u 372 obitelji povezanih rezultata, navodi Axiosov izvještaj. Zbirka je otvorena matematičarima, ali samim objavljivanjem rukopis ne postaje neovisno potvrđen teorem. Broj radova pokazuje razmjer objave, a ne broj rezultata koji su prošli stručnu recenziju.

OpenAI u službenoj objavi navodi da je radove proizveo interni model, da su dostupni na GitHubu i da uz dio dokaza dolaze formalizacije u Leanu; o dopunama kaže: “We will update the repository with more formalizations as we obtain them.” Prema povijesti izmjena repozitorija, 7. listopada povučena su tri povezana rukopisa, pa aktivni katalog ima 719 radova; popravljeno je još 14 rukopisa, a za formalizaciju glavnih rezultata naveden je omjer 300/719, približno 42 %. Zbirka zato već sadrži različite verzije i različite razine provjere.

Zašto rukopis nije isto što i zaseban rezultat

Objavljeni radovi grupirani su prema povezanim rezultatima. Jedna obitelj može sadržavati glavni dokaz, argument koji ga podupire, izvedenu posljedicu ili drugi pristup istoj tvrdnji. Takva organizacija pomaže vidjeti ovisnosti među tekstovima, ali ne dopušta jednostavno izjednačavanje broja rukopisa s brojem riješenih problema. Vrijednost svakog rezultata ovisi o tome što točno tvrdi, pod kojim uvjetima vrijedi i koliko se oslanja na druge radove u zbirci.

Povlačenje je pokazalo važnost tih veza. Pogrešan predznak poništio je argument u jednom rukopisu i konstrukciju koju su koristila još dva povezana rada. Povučeni tekstovi imaju obavijesti o nedostatku i poveznice na arhivirane inačice, pa je moguće razlikovati prvotnu tvrdnju od sadašnjeg statusa. Jedna pogreška tako nije promijenila samo pojedinu rečenicu u dokazu, nego je uklonila oslonac za niz povezanih zaključaka.

Ostali ispravci nisu iste vrste kao povlačenje. Među izmjenama su popravljeni dokazni koraci, preciznije formulirane pretpostavke i razjašnjene ovisnosti među radovima. To su matematički važne promjene: zaključak može ovisiti o uvjetu koji u početnom tekstu nije bio dovoljno jasno iskazan. Kod ovako povezane zbirke važno je i na koju se verziju pomoćnog rada poziva glavni argument.

Što provjerava Lean, a što ostaje matematičarima

Formalizacija prevodi tvrdnju i dokaz u precizan jezik koji Lean može strojno provjeriti. Prihvaćeni zapis znači da izvedeni koraci slijede pravila formalnog sustava uz navedene definicije i pretpostavke. To je drukčija vrsta provjere od čitanja rukopisa napisanog uobičajenim matematičkim jezikom: računalo može sustavno pratiti svaki formalni korak, uključujući one koje bi čitatelj lako previdio.

Međutim, status formalnog zapisa treba vezati uz točno onu tvrdnju koja je unesena u sustav. Stručnjak mora utvrditi odgovara li ona tvrdnji iz rukopisa, jesu li pretpostavke iste i uključuje li formalizacija sve dijelove rezultata koji se predstavljaju kao novi. Ako je računalno provjerena samo uža tvrdnja, pozitivan ishod u Leanu ne obuhvaća automatski širu formulaciju iz teksta.

Ni omjer formaliziranih glavnih rezultata nije ocjena znanstvene važnosti zbirke. Pokazuje koliko je sadržaja dobilo dodatni sloj strojne provjere u trenutačnoj evidenciji. Dio radova zasad postoji samo kao rukopis, a formalizacije se mogu naknadno dodavati. Osim toga, strojna provjera ispravnosti formalnog dokaza ne određuje je li teorem već poznat, je li novi dokaz bitno drukčiji ili otvara plodan smjer daljnjeg istraživanja.

Neovisna ocjena određuje težinu tvrdnji

Neovisni matematičari moraju pročitati točne iskaze i usporediti ih s postojećom literaturom. Tvrdnja o rješenju otvorenog problema ima drukčiju težinu ako vrijedi samo uz dodatnu pretpostavku ili za poseban slučaj. Jednako je važno provjeriti jesu li korišteni pomoćni rezultati valjani i jesu li ispravno preneseni u glavni dokaz. To je posebno zahtjevno kad više radova dijeli istu osnovnu konstrukciju.

Stručna recenzija razdvaja dvije ocjene: je li argument valjan te što mijenja u matematici. Moguće je imati ispravan, ali već poznat ili usko ograničen rezultat; moguće je i imati zanimljivu novu ideju čiji ključni korak još zahtijeva popravak. Objava na GitHubu daje zajednici pristup tvrdnjama i materijalu potrebnom za raspravu, dok će prihvaćanje pojedinog doprinosa proizaći iz provjere njegovih detalja i odnosa prema ranijem radu.

Prvi ispravci u zbirci daju vidljiv trag kako se status može mijenjati nakon objave. Povučeni argument ne postaje valjan zato što je dio velike serije, a ispravljen rukopis treba procjenjivati u novoj verziji. Za preostale tvrdnje ne postoji zajednički pečat potvrde: svaka ovisi o vlastitom iskazu, dokaznim ovisnostima i odgovoru matematičara koji je prouče.

Nove verzije i stručne ocjene

Nove verzije mogu popraviti dokaze, precizirati iskaze ili dodati formalne zapise ondje gdje ih još nema. Budući da su ranije inačice sačuvane, promjene se mogu uspoređivati s prvotno objavljenim tvrdnjama. To je važno kad se popravak u jednom radu prenosi na druge koji ga koriste: nova datoteka ne govori sama po sebi jesu li riješene sve ovisnosti.

Presudne će biti javno obrazložene stručne ocjene konkretnih rezultata, osobito onih koji tvrde da rješavaju poznate otvorene probleme. Njihova će se težina vidjeti u precizno prihvaćenim iskazima, ispravljenim dokazima i u tome mogu li drugi matematičari na tim rezultatima sigurno graditi daljnji rad.

Pročitajte i:

• Lokalni AI s Ollamom: privatnost počinje zatvorenim portom, ne instalacijom
• Cloudflareov Web Search API daje agentima tri tražilice, ali ne provjerava odgovor
• Phishing poruka zna vaše ime — to je razlog za provjeru, ne za povjerenje