Tekoälyavusteinen Navier-Stokes-läpimurto sytytti kiistan OpenAI:n ja Anthropicin tutkijoiden välille

Yksi matematiikan tunnetuimmista ratkaisemattomista ongelmista ajautui tiistaina kiistan keskiöön, kun NYU:n matemaatikko Tristan Buckmaster syytti OpenAI:ta kiirehtimisestä kunnian viemiseksi hänen tutkimukseensa perustuvasta työstä. Buckmasterin mukaan yhtiö painosti häntä poistamaan yhteistyökumppaninsa tekijäluettelosta tämän kilpailevan tekoäly-yhtiön työsuhteen vuoksi.

Matematiikka

Buckmaster ja Anthropicilla työskentelevä matemaatikko Levent Alpöge käyttivät noin vuoden tekoälytyökaluja laajentaakseen Diego Córdoban ja Luis Martínez-Zoroan aloittamaa tutkimusohjelmaa. Heidän työnsä, joka julkaistiin maanantaina yhdessä Lean-todistusavustajalla tehdyn muodollisen varmennuksen kanssa, osoitti, että useat Navier-Stokes-yhtälöihin läheisesti liittyvät nesteiden yhtälöt, mukaan lukien 3D-inkompressiibeli Eulerin yhtälöt, voivat muodostaa singulariteetteja äärellisessä ajassa tasaisessa pakotuksessa. Fieldsin mitalisti Terence Tao kutsui tuloksia "merkittäväksi saavutukseksi" ja totesi, ettei hän näe "perustavanlaatuista estettä" menetelmien laajentamiselle täysiin Navier-Stokes-yhtälöihin.newscientist+2

Navier-Stokes-yhtälöt, jotka kuvaavat nesteiden liikettä, ovat yksi Clay Mathematics Instituten seitsemästä Millennium-palkinto-ongelmasta, joista jokaisesta on luvassa miljoonan dollarin palkinto. Matemaatikot ovat kamppailleet kaksi vuosisataa selvittääkseen, pysyvätkö yhtälöiden ratkaisut aina tasaisina vai voivatko ne kasvaa singulariteeteiksi.scientificamerican

Kiista

Buckmasterin julkisen lausunnon mukaan huhut hänen ja Alpögen edistymisestä saavuttivat OpenAI:n noin 3. syyskuuta. Päiviä myöhemmin OpenAI:n tutkija Sébastien Bubeck kertoi hänelle, että sisäinen malli oli tuottanut noin 100-sivuisen todistuksen, joka laajensi tuloksen täysiin pakotettuihin Navier-Stokes-yhtälöihin. Buckmaster väittää, että yhtiön ponnistelut alkoivat vasta heidän työnsä tultua ilmi ja että se seurasi samaa kapeaa teknistä lähestymistapaa, jota hän ja Alpöge olivat hiljaisesti tavoitelleet.officechai+1

Buckmaster kertoo Bubeckin painostaneen kahdesti Alpögen poistamista tekijäluettelosta vedoten tämän työsuhteeseen Anthropicilla. Kun Buckmaster ilmoitti aikovansa viedä asian julkisuuteen, hän väittää Bubeckin vastanneen: "Miksi pilaisit urasi?" Hän kertoo myös kysyneensä, oliko OpenAI:n malli koulutettu hänen yksityisellä Codex-istunnon datallaan, joka sisälsi todistusluonnoksia. Hän sanoo, ettei saanut selkeää vastausta.scientificamerican+1

Bubeck vastasi X-palvelussa kutsuen väitteitä "valheellisiksi ja provosoiviksi" ja totesi toimineensa "akateemisia normeja noudattaen". Hän lupasi antaa kattavamman lausunnon.officechai

Ratkaisemattomat kysymykset

OpenAI:n väittämää Navier-Stokes-todistusta ei ole julkaistu tai ulkopuolisten matemaatikoiden vahvistama. Jopa varmennetut Buckmaster-Alpöge-tulokset käsittelevät liittyvien yhtälöiden pakotettuja versioita, eivät pakottamatonta Navier-Stokes-ongelmaa, kuten useimmat asiantuntijat Millennium-palkinnon tulkitsevat. David Silvester Manchesterin yliopistosta huomautti, että nykyinen työ saattaa silti riittää palkinnon saamiseen, kun taas Camilla Nobili Surreyn yliopistosta varoitti, että täyteen Navier-Stokes-yhtälöön laajentaminen vaatii muutakin kuin saman tekniikan toistamista.glitchwire+3

"Mikään ei muutu niissä sovelluksissa, joissa Navier-Stokesia käytetään tämän tuloksen vuoksi", Silvester sanoi. "Se on rehellisesti sanottuna matemaattinen hienous." Suurempi kysymys, eli se, vääristävätkö kilpailevat tekoälylaboratoriot tieteellisen löytämisen normeja, saattaa osoittautua vaikeammaksi ratkaista kuin itse yhtälöt.newscientist