25 Fieldsin mitalistia varoittavat: Tekoälyyritysten väitteet matemaattisista läpimurroista uhkaavat tieteenalaa

OpenAI ilmoitti 8. syyskuuta, että sen julkaisematon sisäinen tekoälymalli on ratkaissut Navier-Stokesin olemassaoloa ja sileyttä koskevan ongelman, joka on yksi seitsemästä Millennium-palkintoon oikeuttavasta matemaattisesta ongelmasta. Ratkaisu syntyi koordinoimalla noin 10 000 tekoälyagenttia 88 tunnin ajan. Väite, joka odottaa yhä riippumatonta vahvistusta, on sytyttänyt kiivaan kiistan kunnianosoituksista, tietosuojasta ja tekoälyn roolista tieteellisessä tutkimuksessa.venturebeat+2

Todistus ja kiista

Navier-Stokes-yhtälöt kuvaavat nesteiden, kuten veden ja ilman, liikettä ja ovat modernin tieteen ja tekniikan perusta. OpenAI kertoi mallinsa osoittaneen, että yhtälöt voivat kehittää singulariteetin eli nopeuden räjähdysmäisen kasvun äärellisessä ajassa, mikä on kysymys, joka on vaivannut matemaatikkoja vuosikymmeniä. Yhtiö kertoi aloittaneensa hankkeen kuultuaan huhuja, joiden mukaan kilpailevan Anthropicin tutkijat olivat lähellä ratkaisua.galaxy+3

Muutamaa tuntia ennen OpenAI:n ilmoitusta NYU:n matemaatikko Tristan Buckmaster julkaisi lausunnon, jossa hän paljasti työskennelleensä yli vuoden saman ongelman parissa yhdessä Anthropicin tutkijan Levent Alpögen kanssa käyttäen useita suuria kielimalleja, mukaan lukien OpenAI:n Codexia. Buckmaster kertoi, että kun hän otti yhteyttä OpenAI:hin työstään, yhtiön tutkija Sebastien Bubeck kutsui hänet yhteistyöhön sillä ehdolla, että Alpögen nimi poistetaan tämän Anthropic-kytkösten vuoksi. Kun Buckmaster kieltäytyi, Bubeckin kerrotaan kysyneen: "Miksi pilaisit urasi?" OpenAI on kiistänyt väitteen.singularityhub+4

OpenAI myönsi myös, ettei se voinut täysin sulkea pois mahdollisuutta, että käyttäjädata olisi auttanut sen mallien kouluttamisessa. "Vaikka se on epätodennäköistä, emme voi sulkea pois sitä, että tuotteidemme käytöstä johdettu tunnistetiedot poistettu data auttoi parantamaan mallejamme", yhtiö totesi.venturebeat+1

Matemaatikot vastustavat

Syyskuun 11. päivänä 25 Fieldsin mitalistia, mukaan lukien Terence Tao, allekirjoitti avoimen kirjeen, jossa varoitetaan, että tekoälyyritysten kiire julistaa matemaattisia läpimurtoja uhkaa tieteenalan perustaa. Allekirjoittajat väittivät, että hätiköiden ilmoitetut ratkaisut ilman asianmukaisia kuvauksia tai aiemman työn tunnustamista nakertavat matematiikkaa ylläpitävää yhteistyökulttuuria. "Ilman halukkaita matemaatikkoja, joiden on huolehdittava niiden kehittämisestä ja integroinnista matemaattiseen kaanoniin, tekoälyn ideoimat ajatukset eivät koskaan tulisi täysin eläviksi", kirjeessä todettiin.techcrunch+1

Tao varoitti erikseen, että jos tekoälyyritykset "hyppäävät lupaavaa työtä koskevien huhujen perään ja heittävät miljoonia dollareita yrittäessään ohittaa kilpailijat, tutkijat saattavat lopulta lakata jakamasta lupaavaa tutkimusta laajemman yhteisön kanssa". OpenAI veti tällä viikolla tukensa Caltechin matemaattiselta tapahtumalta siellä työskentelevien tutkijoiden kritiikin vuoksi.singularityhub+1

Laajemmat vaikutukset

Tapaus on herättänyt kysymyksiä, jotka ulottuvat matematiikkaa laajemmalle. Clay Mathematics Institute listaa yhä Navier-Stokes-ongelman "aktiiviseksi" eikä "ratkaistuksi", ja sen sääntöjen mukaan palkintoa ei voida myöntää ennen kuin julkaisusta on kulunut vähintään kaksi vuotta. OpenAI on ilmoittanut, ettei se aio lunastaa miljoonan dollarin palkintoa.theweek+2

Kiista syntyy samaan aikaan, kun sekä OpenAI että Anthropic valmistautuvat suunniteltuihin pörssilistautumisiin, mikä antaa molemmille yrityksille kannustimen esitellä malliensa kyvykkyyttä. Kuten Fieldsin mitalistit kirjoittivat: "Matemaattisen yhteisön kohtaamat ongelmat ovat samankaltaisia kuin ne, joita muut tieteelliset ja luovat ammatit kohtaavat, ja ne osoittavat haasteita, joita koko ihmiskunta saattaa kohdata".galaxy+1