OpenAI uvodi tri modela provere AI naučnih rezultata
OpenAI je 26. oktobra 2026. objavio tri rezultata koje su njegovi modeli proizveli u matematici, teoriji složenosti i fizici: dokaz pretpostavke lokalnog zaglađivanja u svim dimenzijama, opovrgavanje Exponential Time Hypothesis (ETH) i rigorozne konstrukcije kvantnih teorija polja koje obuhvataju kvantnu hromodinamiku (QCD). Kompanija za svaki rezultat primenjuje drugačiji režim objavljivanja i stručne provere.
Za matematiku su javno dostupni tekstualni izlaz modela i Lean formalizacija. Za računarstvo OpenAI objavljuje materijale, ali je tumačenje prepustio eksternoj grupi. Za fiziku saradnička grupa zasad odlaže objavljivanje materijala koje je proizvela veštačka inteligencija i radi na sopstvenom zapisu rezultata.
Tri discipline, tri načina otvaranja rezultata
Matematički rezultat odnosi se na harmonijsku analizu. Soggeova pretpostavka lokalnog zaglađivanja iz 1991. opisuje ponašanje talasa pri fokusiranju: ekstremno fokusiranje mora biti kratkotrajno. OpenAI navodi da dokaz važi u svim dimenzijama, oslanja se na novu pomoćnu parcijalnu diferencijalnu jednačinu i, posledično, rešava Kakeyinu i Steinovu restrikcionu pretpostavku u svim dimenzijama.
Model je, prema objavi, generisao matematički izlaz 18. oktobra 2026, a on je formalizovan u Lean-u narednog dana. OpenAI je potom, po preporuci stručnjaka, objavio i zapis na prirodnom jeziku i Lean dokaz u javnom GitHub repozitorijumu.
Drugi rezultat tiče se ETH, dugogodišnje pretpostavke o računskoj složenosti zadovoljivosti Bulovih formula. ETH je korišćen u stotinama radova za uslovne rezultate o težini problema u oblastima kao što su teorija grafova, računarska biologija, baze podataka i računarska geometrija. OpenAI tvrdi da je njegov sistem dokazao da je ETH netačna, a da je rezultat zatim formalizovan u Lean-u.
Stručne grupe i granice objavljivanja
Rad na ETH tvrdnji vodi grupa koju predvode Russell Impagliazzo i Ramamohan Paturi sa UC San Diego, kao i Ryan Williams sa MIT-a. Grupa je zatražila javnu dostupnost sirovih materijala radi nezavisne provere, a OpenAI je najavio i finansiranje konferencije o posledicama rada za oblast.
Fizički deo obuhvata tvrdnju o matematički rigoroznom postojanju određenih interagujućih kvantnih teorija polja sa baždarnim poljima i fermionima u četiri dimenzije, uključujući QCD i objedinjeni završetak Standardnog modela. Rad se nadovezuje na Balabanov pristup konstruktivnoj kvantnoj teoriji polja i uključuje dokaz postojanja čiste Yang–Mills teorije, povezane sa Milenijumskim problemom Clay Mathematics Institute-a.
Ovaj rad vodi David Gross sa Michaelom Douglasom, Arthurom Jaffeom, Igorom Klebanovim i Nikitom Nekrasovim. Zbog obima i složenosti materijala, grupa je odlučila da ne objavljuje AI artefakte dok ne pripremi vlastiti prikaz, iako OpenAI navodi da je Lean formalizacija postojanja Yang–Mills teorije završena 16. oktobra 2026.
Šta znači ovakav pristup
OpenAI saradnje zasniva na transparentnosti, odsustvu akademskog kredita za kompaniju, priznanju rada stručnih grupa i njihovoj nezavisnosti. Učesnici rade dobrovoljno i bez ugovora o poverljivosti, a mogu javno da raspravljaju, dele međurezultate i objave sopstvene zaključke.
Za organizacije koje prate primenu AI u istraživanju, ključna poruka nije da su navedene tvrdnje završena naučna činjenica, već da generisani rezultat zahteva proveru, objašnjenje i kontekstualizaciju. Razdvajanje nastanka rezultata, formalizacije i nezavisne stručne interpretacije može biti koristan obrazac za upravljanje visokorizičnim AI nalazima u poslovnim i istraživačkim procesima.