Clay-instituutti ottaa kantaa OpenAI:n Navier-Stokes-väitteeseen

OpenAI ilmoitti 8. syyskuuta, että sen julkaisematon sisäinen tekoälymalli oli tuottanut noin 10 000 autonomisen agentin voimin 88 tunnissa todistuksen siitä, että kolmiulotteiset Navier-Stokes-yhtälöt voivat kehittää singulariteetin äärellisessä ajassa. Tulos ratkaisisi vahvistuessaan yhden kuudesta jäljellä olevasta Millennium-ongelmasta, jotka Clay Mathematics Institute määritteli vuonna 2000. Ilmoitusta on kuitenkin varjostanut kärjistyvä riita NYU:n matemaatikko Tristan Buckmasterin ja Anthropicin tutkija Levent Alpögen kanssa tutkimuksen tekijänoikeuksista ja yksityisen datan mahdollisesta roolista.nature+2

Väitetty läpimurto virtausdynamiikassa

Navier-Stokes-yhtälöt kuvaavat nesteiden ja kaasujen, kuten veden ja ilman, liikettä. Kysymys siitä, pysyvätkö niiden ratkaisut aina säännöllisinä vai voivatko ne "räjähtää", eli tuottaa fyysisesti mahdottomia äärettömiä nopeuksia, on ollut avoinna vuosikymmeniä. OpenAI kertoi todistuksensa osoittavan, että aluksi tasainen ja levossa oleva neste voi kehittää tällaisen singulariteetin tasaisen ulkoisen voiman alaisena. Tulos todennettiin muodollisella lauseentodistuskielellä Leanilla. Työ maksoi laskentatehossa "miljoonia dollareita", OpenAI:n johdon mukaan lehdistöpuhelussa.axios+3

Scientific American S&P Global Inc. ↘ 0.98% uutisoi Lean-varmistuksen "lähes takaavan" todistuksen oikeellisuuden, vaikka laajempi matemaatikkoyhteisö ei ole vielä saattanut vertaisarviointia päätökseen. Clay Mathematics Institute totesi 11. syyskuuta "jakavansa innostuksen", kun tulosta "analysoidaan ja tutkitaan perusteellisesti", mutta välttelemällä ongelman julistamista vielä ratkaistuksi.scientificamerican+1

Riita tekijänoikeuksista

Saavutus syntyi syytösten keskellä, joiden mukaan Buckmaster väittää OpenAI:n vauhdittaneen työtään saatuaan tietää hänen ja Alpögen tekemästä vastaavasta tutkimuksesta, jota oli osittain tehty OpenAI:n Codex-työkalulla. Buckmaster ja Alpöge julkaisivat omat tuloksensa 7. syyskuuta. Ne osoittivat äärellisen ajan räjähtämisen vastaavissa mutta yksinkertaistetuissa virtausyhtälöissä. TechRepublicin uutisoinnin mukaan Buckmaster väittää OpenAI:n tarjonneen hänelle yksinomaista tekijyyttä Navier-Stokes-ratkaisussa sillä ehdolla, että Alpögen nimi poistettaisiin, minkä väitteen OpenAI:n tutkija Sébastien Bubeck kiistää.techrepublic+3

OpenAI ilmoitti, että sen tutkijat ja agentit "eivät nähneet mitään heidän työstään millään tavalla ennen kuin se julkaistiin julkisesti" ja että "tämän ongelman ratkaisemiseksi ei käytetty mitään tiettyjä käyttäjätietoja". Yhtiö kuitenkin myönsi, ettei se "voi sulkea pois sitä mahdollisuutta, että heidän tuotteidemme käytöstä johdettu anonymisoitu data auttoi parantamaan mallejallemme". Buckmaster kutsui Bubeckin selitystä julkisesti "täysin perättömäksi", minkä jälkeen Bubeck pyysi anteeksi heidän keskustelunsa aikana tekemäänsä huomautusta The Next Web -sivuston mukaan.thenextweb+4

Laajemmat seuraukset

Riita on heijastunut laajalle matemaatikkoyhteisöön. Johtavien matemaatikoiden allekirjoittamassa avoimessa kirjeessä arvosteltiin tekoälyyhtiöitä kuuluisien ongelmien ratkaisemisen kiirehtimisestä ilman asianmukaisia tekijäviittauksia. Fields-mitalisti Deng Yu lohkaisi sosiaalisessa mediassa, että jos tekoäly ratkaisee kaikki matematiikan ongelmat, "menen kotiin ja kirjoitan yuri-romaanini", varoittaen samalla, että tekoäly on luonut "levottomuuden ja kärsimättömyyden ilmapiirin matematiikkapiireihin". Clay-instituutin virallisessa vastauksessa kehuttiin huomattavasti mahdollisuutta "uuteen ihmisen ymmärrykseen", mutta siinä ei mainittu sanallakaan palkintokelpoisuutta.thenews+1