„OpenAI“ teigia išsprendusi per 100 matematikos uždavinių, tačiau įrodymų nepateikia

„OpenAI“ rugsėjo 21 d. paskelbė, kad neįvardytas vidinis modelis, pradėtas treniruoti rugpjūčio 28 d., išsprendė daugiau nei 100 ilgai spręstų atvirų problemų daugumoje matematikos sričių, įskaitant Navjė-Stokso tūkstantmečio premijos uždavinį. Bendrovė nepateikė jokių įrodymų, jokio problemų sąrašo ar išorinio patikrinimo, todėl visas teiginys remiasi tik jų žodžiais.chosun+1

Kartu su pranešimu „OpenAI“ atskleidė, kad suformuota Matematikos ir dirbtinio intelekto patariamoji grupė, įsikūrusi Pažangiųjų studijų institute Prinstone, kurios tikslas – peržiūrėti kylančius matematinius dirbtinio intelekto sistemų rezultatus prieš jiems tampant pripažintais.the-decoder+1

Reikšmingas teiginys be dokumentacijos

Navjė-Stokso egzistavimo ir glotnumo problema yra viena iš septynių Tūkstantmečio premijos problemų, kurias 2000 m. nustatė Klėjaus matematikos institutas, už kiekvieną skiriant 1 mln. dolerių premiją. Lygtys aprašo skysčių judėjimą ir kasdien naudojamos fizikoje bei inžinerijoje, tačiau jų matematiniai pagrindai vis dar menkai suprantami.npr

„OpenAI“ rugsėjo 8 d. pirmą kartą pareiškė, kad jų dirbtinis intelektas per 88 valandas išsprendė Navjė-Stokso problemą, naudodamas maždaug 10 000 dirbtinio intelekto agentų. Rugsėjo 21 d. pranešimas gerokai išplėtė aprėptį, pridėdamas daugiau nei 100 papildomų išspręstų problemų ir, kaip teigia „The Decoder“, antrąją Tūkstantmečio premijos problemą – Hodžo hipotezę.the-decoder+2

Matematikai, išnagrinėję ankstesnį 166 puslapių Navjė-Stokso rankraštį, teigia, kad jo „Lean“ formalizavimas kompiliuojamas teisingai, o tai rodo, kad įrodymas techniškai galioja, tačiau pats dokumentas beveik neįskaitomas. „Straipsnis nėra skirtas žmonėms“, – sakė Brauno universiteto matematikas Javieras Gómez-Serrano. Oksfordo universiteto atstovas Jamesas Maynardas pridūrė, kad „buvo labai sunku išgauti bet kokį žmogišką supratimą iš šio naujo dirbtinio intelekto įrodymo“.npr

Ginčai dėl skubėjimo publikuoti

Šis epizodas sulaukė aštrios matematikos bendruomenės kritikos. 25 Fildso premijos laureatai, įskaitant Terence'ą Tao ir June Huh, rugsėjo 11 d. paskelbė atvirą laišką pavadinimu „Didelis dirbtinio intelekto neatitikimas matematikoje“, įspėdami, kad problemų sprendimo laikymas dirbtinio intelekto sistemų etalonu menkina konceptualų supratimą, kuris yra svarbiausias šiai disciplinai.the-decoder+1

Tristanas Buckmasteris, Niujorko universiteto matematikas, kartu su bendradarbiu Leventu Alpöge iš „Anthropic“ artėjęs prie Navjė-Stokso sprendimo, apkaltino „OpenAI“, kad šie sužinojo apie jų metodą ir skubėjo publikuoti pirmieji. Pasak Buckmasterio, „OpenAI“ siūlė įtraukti jį į savo straipsnį, jei jis atsisakytų Alpöge. „Yra tiek daug aplinkybių, rodančių, kad jie žinojo daug daugiau apie mūsų darbą, nei leido suprasti“, – NPR sakė Buckmasteris. „OpenAI“ neigė naudojusi jų darbą.npr

Patariamoji grupė su apribojimais

Naujojoje patariamojoje grupėje yra devyni matematikai, tarp jų Fildso premijos laureatai Timothy Gowersas ir Martinas Haireris, kurie veikia nepriklausomai ir negauna atlygio iš „OpenAI“. Nariai gali teikti neprašytus patarimus ir skelbti savo rekomendacijas.mixed-news+1

Tačiau grupė turi įmontuotą apribojimą: ji neturi įgaliojimų spręsti, kaip greitai „OpenAI“ siekia naujų atradimų. „Svarbu tai, kad grupė nebus atsakinga už patarimus, kaip mums spartinti savo vidinę pažangą matematikos srityje“, – rašė „OpenAI“.the-decoder+1

Klėjaus matematikos institutas, per visą savo istoriją skyręs tik vieną Tūkstantmečio premiją, rugsėjo 11 d. pareiškime pažymėjo, kad jų vertinimo procesas yra „sąmoningai neskubotas“, reikalaujantis publikavimo kvalifikuotame žurnale ir bent dvejų metų bendro pripažinimo prieš svarstant bet kokią premiją. Nė vienas iš „OpenAI“ teigiamų rezultatų nebuvo publikuotas, o tai reiškia, kad tas laikrodis dar nepradėjo tiksėti.mixed-news