Matemaatikot: OpenAI:n tekoälytodistus on lähes käsittämätön

OpenAI ilmoitti maanantaina 21. syyskuuta tekevänsä yhteistyötä riippumattoman matematiikan ja tekoälyn neuvoa-antavan ryhmän kanssa. Princetonin Institute for Advanced Study -laitoksessa toimiva ryhmä perustettiin viikkoja kestäneen kiistan jälkeen, joka koski kiistanalaista ja pitkälti lukukelvotonta tekoälyn tuottamaa todistusta Navier-Stokes-yhtälön Millennium-ongelmaan.openai+1

Todistus, jota kukaan ei voi lukea

OpenAI paljasti aiemmin tässä kuussa, että 10 000 tekoälyagenttia työskenteli 88 tuntia tuottaakseen 166-sivuisen todistuksen. Sen mukaan Navier-Stokes-yhtälöiden kuvaamat nesteet voivat kehittää singulariteetin äärellisessä ajassa. Jos tulos vahvistetaan, se ratkaisisi yhden kuudesta jäljellä olevasta Clay Mathematics Instituten Millennium-ongelmasta. Matemaatikot pitävät todistusta teknisesti oikeana, osittain siksi, että se sisälsi muodollisen Lean-ohjelmointikielellä tehdyn varmennuksen. Ihmisen ymmärrys tuloksesta on kuitenkin jäänyt saavuttamattomaksi.openai+2

"Tähän asti on ollut hyvin vaikeaa saada tästä uudesta tekoälytodistuksesta irti mitään inhimillistä ymmärrystä", Oxfordin yliopiston matemaatikko James Maynard kertoi NPR:lle. "Paperia ei ole kirjoitettu ihmisille", säesti Brownin yliopiston matemaatikko Javier Gómez-Serrano. Hänen mukaansa todistus voisi auttaa alaa "vakavan uudelleenkirjoituksen" jälkeen, mutta "tänään paperi ei opeta meille juuri mitään".nprillinois

Ilmoitus herätti myös kiistan tekijänoikeuksista. NYU:n matemaatikko Tristan Buckmaster syytti OpenAI:ta julkaisemattoman tutkimuksensa hyödyntämisestä ilman asianmukaista mainintaa. Hän väitti yhtiön tarjonneen hänelle tekijän nimeä vain, jos hän jättäisi pois yhteistyökumppaninsa Levent Alpögen, joka työskentelee Anthropicilla. OpenAI kiisti käyttäneensä Buckmasterin työtä, mutta myönsi, ettei se "voi sulkea pois sitä, että heidän tuotteidensa käytöstä johdettu tunnistamaton data auttoi parantamaan mallejamme".futurism+2

Eliittitason neuvoa-antava paneeli

Uuteen yhdeksänhenkiseen ryhmään kuuluu useita Fields-mitalisteja sekä tutkijoita muun muassa Stanfordista, Harvardista, Oxfordista ja Cambridgesta. OpenAI ei maksa jäsenille palkkaa, ja he voivat kommentoida julkisesti yhtiön vaikutusta matematiikkaan, tarjota pyytämätöntä neuvontaa ja hallita omaa jäsenyyttään.theverge+2

"Sen arvo riippuu siitä, että jäsenet voivat käyttää omaa harkintaansa ja haastaa meidän näkemyksemme", OpenAI totesi blogikirjoituksessaan. Yhtiö teki kuitenkin selväksi, että ryhmä "ei vastaa neuvomisesta siitä, miten etenemme sisäisessä matematiikan kehityksessämme".techcrunch+1

Jotkut matemaatikot kyseenalaistivat, voiko paneeli todella edustaa laajempaa yhteisöä. "Tämä tuntuu norsunluutornilta", sanoi Heriot-Wattin yliopiston professori Francesco Fournier-Facio. ETH Zürichin tutkija Simon Machado kutsui paneelin muodostamista "mysteerin verhoamaksi" ja kyseenalaisti jäsenten valintaprosessin.theverge

Mitä seuraavaksi?

Ryhmän välittömin haaste saattaa olla suurin. Paneelin julkistamisen yhteydessä OpenAI paljasti, että sama julkaisematon malli on "ratkaissut yli 100 pitkään avoinna ollutta ongelmaa useimmilla matematiikan osa-alueilla". Paneelin mukaan näiden tulosten julkaisun koordinointi on sen ensisijainen tehtävä.indiatoday+2

Paneelin jäsen ja Fields-mitalisti Martin Hairer kirjoitti blogissaan, että ryhmä perustettiin, koska tekoäly-yhtiöt ovat "tuottaneet korkean profiilin matemaattisia tuloksia", joiden "julkaiseminen ja levittäminen on jäänyt kauas hyväksyttävistä matemaattisista käytännöistä". Hän kuitenkin varoitti, että jäsenet "olisivat hyvin naiiveja uskoessaan, etteivät tekoälylaboratoriot yrittäisi kääntää sanomisiamme PR-koneistolleen sopivalla tavalla".theverge