OpenAI je označen kao dobitnik Justin Sunove nagrade od 1 milion dolara za dokaz Navier–Stokes jednačina, ali novac nije preuzet. Kompanija tvrdi da je dokaz proizveden uz intenzivnu upotrebu AI agenata, dok dvojica matematičara navode da su njihova neobjavljena istraživanja bila korišćena — optužbu koju OpenAI odbacuje. Justin Sun Prize nagrađuje i autorstvo dokaza i njegovu formalizaciju u mašinski proverljiv kod, ali prihvatanje dokaza od strane matematičke zajednice još nije potvrđeno.
OpenAI Proglašen Pobednikom Justin Sunove Nagrade Od 1 Mio $, Ali Novac Nije Preuzet
Justin Sun, TRON founder. Photo by BeInCrypto
OpenAI je zvanično naveden kao dobitnik prve Justin Sunove nagrade od 1 milion dolara za dokaz Navier–Stokes jednačina, ali, kao i kod iste ponude Clay Mathematics Institute-a, nagrada ostaje nepreuzeta.
Šta se tačno dogodilo?
Kompanija je 8. septembra objavila navodni dokaz problema Navier–Stokes u tri dimenzije i tvrdila da je na rešavanju radilo 10.000 njenih AI agenata tokom 88 sati, dok je poseban model, GPT‑6 Astra, proveo dodatnih 17 sati proveravajući logiku.
Clay Mathematics Institute je ovaj problem uvrstio 2000. godine među sedam Millennium Prize Problems, od kojih svaki nosi nagradu od 1 milion dolara; institut i dalje vodi Navier–Stokes kao aktivan problem na svojoj veb-stranici. OpenAI je ranije saopštio da neće zahtevati Clay nagradu.
Spor oko originalnosti rada
Dvoje matematičara tvrdilo je da su njihova neobjavljena istraživanja sadržana u nekom OpenAI proizvodu, što je kompanija odbacila. Tristan Buckmaster, profesor na New York University, rekao je:
Justin Sin Problem Index. Source: GitHub
„Ne znam šta je njihov model radio, niti kako. Ne znam da li su naša data korišćena. Nisam nikoga ničim optužio.“
Justin Sun Prize — drugačiji pristup nagrađivanju
Osam dana nakon što je spor izbio, kancelarija Justina Suna pokrenula je Justin Sun Prize: sistem koji favorizuje mašinski proverljive (formalizovane) dokaze umesto tradicionalne peer review recenzije. Svaki rezultat može biti nagrađen dvaput — jednom autoru dokaza i još jednom osobi koja formališe dokaz kao kod koji mašina može verifikovati.
Po pravilima Suna, ako je problem već rešen pre nego što bude dodat na listu, isplatu dobija osoba koja ga prevede u mašinski proverljiv oblik, a ne nužno autor prvobitnog dokaza. Navier–Stokes je označen kao rešen u Sunovom indeksu (Justin Sun Problem Index na GitHub-u), pripisan OpenAI‑jevom timu i podoban za preuzimanje — ali novac još nije podignut. Pored unosa stoji upozorenje da OpenAI‑jevo objavljivanje nije isto što i prihvatanje od strane matematičke zajednice.
Šta sledi?
Dok se zahtev za nagradu ne preuzme i dok matematička zajednica ne potvrdi ili odbaci dokaz kroz formalnu verifikaciju i recenziju, slučaj će ostati sporan. Justin Sunovi kriterijumi podstiču formalizaciju dokaza, pa bi formalno kodiranje i verifikacija mogli promeniti ko će na kraju preuzeti nagradu.
Konkretniji ishod zavisi od daljeg razvoja događaja: da li će OpenAI podneti zahtev za isplatu, da li će formalizatori preuzeti nagradu i kako će matematička zajednica proceniti valjanost dokaza.
Pomozite nam da budemo bolji.
