OpenAI väittää tekoälyn ratkaisseen yli sata matemaattista ongelmaa ilman todisteita

OpenAI ilmoitti 21. syyskuuta, että nimeämätön sisäinen malli, jonka koulutus alkoi 28. elokuuta, on ratkaissut yli 100 pitkään avoinna ollutta ongelmaa useimmilla matematiikan osa-alueilla, mukaan lukien Navier-Stokesin Millennium-palkinto-ongelma. Yhtiö ei julkaissut todisteita, luetteloa ongelmista tai ulkopuolista vahvistusta, joten koko väite perustuu vain yhtiön omaan sanaan.chosun+1

Ilmoituksen yhteydessä OpenAI paljasti perustaneensa matematiikan ja tekoälyn neuvoa-antavan ryhmän, joka toimii Princetonin Institute for Advanced Study -instituutissa. Ryhmän on tarkoitus arvioida tekoälyjärjestelmien tuottamia uusia matemaattisia tuloksia ennen kuin niitä pidetään ratkaistuina.the-decoder+1

Merkittävä väite ilman dokumentaatiota

Navier-Stokesin olemassaolo- ja sileyden ongelma on yksi seitsemästä Clay Mathematics Instituten vuonna 2000 määrittelemästä Millennium-palkinto-ongelmasta, joista jokaisesta on luvassa miljoonan dollarin palkinto. Yhtälöt kuvaavat nesteiden liikettä ja niitä käytetään päivittäin fysiikassa ja tekniikassa, mutta niiden matemaattiset perusteet ovat edelleen huonosti ymmärrettyjä.npr

OpenAI väitti ensimmäisen kerran 8. syyskuuta, että sen tekoäly oli ratkaissut Navier-Stokes-ongelman 88 tunnissa käyttäen noin 10 000 tekoälyagenttia. Syyskuun 21. päivän ilmoitus laajensi soveltamisalaa merkittävästi lisäten yli 100 ratkaistua ongelmaa ja The Decoderin mukaan myös väitteen toisen Millennium-palkinto-ongelman, Hodgen konjektuurin, ratkaisemisesta.the-decoder+2

Matemaatikot, jotka ovat tarkastelleet aiempaa 166-sivuista Navier-Stokes-käsikirjoitusta, sanovat sen Lean-formalisaation kääntyvän oikein, mikä viittaa todistuksen tekniseen pätevyyteen, mutta itse paperi on lähes lukukelvoton. "Paperia ei ole kirjoitettu ihmisille", totesi Brownin yliopiston matemaatikko Javier Gómez-Serrano. Oxfordin yliopiston James Maynard lisäsi, että "tästä uudesta tekoälytodistuksesta on ollut hyvin vaikea saada irti mitään inhimillistä ymmärrystä".npr

Kiista julkaisukiireestä

Tapaus on herättänyt jyrkkää kritiikkiä matematiikan yhteisössä. Kaksikymmentäviisi Fields-mitalistia, mukaan lukien Terence Tao ja June Huh, julkaisivat 11. syyskuuta avoimen kirjeen otsikolla "A Severe Misalignment of AI in Mathematics", jossa varoitetaan, että ongelmanratkaisun pitäminen tekoälyjärjestelmien mittapuuna heikentää tieteenalalle keskeistä käsitteellistä ymmärrystä.the-decoder+1

New Yorkin yliopiston matemaatikko Tristan Buckmaster, joka oli lähestymässä Navier-Stokes-ratkaisua yhteistyökumppaninsa Levent Alpögenin kanssa Anthropicilla, syytti OpenAI:ta heidän lähestymistapansa omimisesta ja kiirehtimisestä julkaisemaan tulokset ensin. Buckmasterin mukaan OpenAI tarjosi hänelle paikkaa paperissaan, jos hän jättäisi Alpögenin. "On niin paljon epäsuoria todisteita siitä, että heillä oli paljon enemmän tietoa tekemisistämme kuin he antoivat ymmärtää", Buckmaster kertoi NPR:lle. OpenAI on kiistänyt käyttäneensä heidän työtään.npr

Rajoitettu neuvoa-antava ryhmä

Uuteen neuvoa-antavaan ryhmään kuuluu yhdeksän matemaatikkoa, mukaan lukien Fields-mitalistit Timothy Gowers ja Martin Hairer, ja se toimii itsenäisesti ilman OpenAI:n maksamaa palkkiota. Jäsenet voivat antaa pyytämättömiä neuvoja ja julkaista suosituksiaan.mixed-news+1

Ryhmällä on kuitenkin sisäänrakennettu rajoite: sillä ei ole valtaa siihen, kuinka nopeasti OpenAI tavoittelee uusia tuloksia. "Tärkeää on, että ryhmä ei vastaa neuvomisesta siitä, miten etenemme sisäisessä matematiikan kehityksessämme", OpenAI kirjoitti.the-decoder+1

Clay Mathematics Institute, joka on myöntänyt historiassaan vain yhden Millennium-palkinnon, totesi 11. syyskuuta antamassaan lausunnossa, että sen arviointiprosessi on "tarkoituksellisen kiireetön" ja vaatii julkaisua pätevässä lehdessä sekä vähintään kahden vuoden yleistä hyväksyntää ennen kuin palkintoa harkitaan. Mitään OpenAI:n väittämistä tuloksista ei ole julkaistu, mikä tarkoittaa, ettei kyseinen kello ole vielä käynnistynyt.mixed-news