OpenAI väittää 10 000 tekoälyagentin ratkaisseen 90 vuotta vanhan matematiikan ongelman

OpenAI ilmoitti tiistaina, että julkaisematon sisäinen tekoälymalli, joka työskenteli noin 10 000 koordinoidun agentin kautta, oli tuottanut ehdotuksen Navier-Stokesin olemassaolo- ja sileyden ongelman ratkaisuksi. Kyseessä on yksi seitsemästä Millennium-palkinto-ongelmasta, joista jokaisesta Clay Mathematics Institute maksaa miljoonan dollarin palkinnon. Väite, jos se vahvistetaan riippumattomasti, edustaisi edistyneintä matemaattista tulosta, jonka tekoäly on koskaan tuottanut.bbc+1

Ilmoitus joutui kuitenkin välittömästi tutkimuksen kunniaa koskevaan kiistaan, kun New Yorkin yliopiston matemaatikko syytti yritystä julkaisun kiirehtimisestä saatuaan tietää hänen vastaavasta työstään.

Todistus ja sen hinta

OpenAI kertoi aloittaneensa uuden, edistyneillä matemaattisilla kyvyillä varustetun mallin kouluttamisen 28. elokuuta ja asettaneensa tuhansia agentteja työskentelemään Navier-Stokes-ongelman parissa 1. syyskuuta. Agentit vaihtoivat lähes 3 miljoonaa viestiä 88 tunnin aikana ja kuluttivat noin 130 miljardia tulostokenia ennen kuin päätyivät tulokseen 5. syyskuuta. Todistus formalisoitiin sitten Lean-järjestelmässä, joka on tietokoneavusteinen varmennusjärjestelmä, vielä 17 tunnin aikana.businessinsider+2

Pelkkä laskennallinen ponnistus olisi maksanut arviolta 10 miljoonaa dollaria OpenAI:n kaupallisen hinnoittelun perusteella. Toimitusjohtaja Sam Altman kutsui tulosta "yhdeksi yrityksen historian hämmästyttävimmistä hetkistä". OpenAI ilmoitti, ettei se aio vaatia palkintorahoja.benzinga+2

Tulos on kuitenkin osittainen. OpenAI kertoi, että sen työ ratkaisi kaksi Millennium-palkinnon vaatimista neljästä väittämästä, eikä todistusta ole riippumattomasti vahvistettu tai hyväksytty Clay Mathematics Institute -instituutissa.bbc+1

Karvas kiista kunniasta

Muutamaa tuntia ennen OpenAI:n julkaisua NYU:n professori Tristan Buckmaster julkaisi lausunnon, jossa väitettiin, että OpenAI oli saanut tietää edistyksestä, jota hän ja Anthropic-tutkija Levent Alpöge olivat tehneet läheisesti liittyvässä ongelmassa, ja mobilisoinut sitten resursseja ehtiäkseen julkaisemaan ennen heitä. Buckmaster kertoi, että kaksikko oli työskennellyt lähes vuoden ajan käyttäen tekoälytyökaluja, mukaan lukien OpenAI:n Codexia, ja oli saavuttanut tuloksen 22. elokuuta.rollingout+1

Buckmaster väitti, että OpenAI ehdotti julkaisuvaihtoehtoja, joihin kuului versio, josta Alpögen nimi oli jätetty pois hänen kilpailevan Anthropicin palveluksessa olemisensa vuoksi. OpenAI:n Sébastien Bubeck ja Altman kiistivät molemmat tämän kuvauksen, Altmanin sanoessa, että OpenAI "olisi suuresti suosinut koordinointia" ja että toinen tiimi "uhkasi meitä perusteettomilla plagiointisyytöksillä". OpenAI myönsi, ettei se "voi sulkea pois sitä, että tuotteidemme käytöstä johdetut tunnistamattomat tiedot auttoivat parantamaan mallejamme", mutta sanoi todistusten "eroavan merkittävästi".bbc+3

Muuttunut ja levoton ala

Fieldsin mitalisti Terence Tao tarjosi raittiin arvion kirjoittaen, että "jopa huhu siitä, että joku työskentelee ongelman parissa, voi laukaista massiivisen määrän tekoälypohjaista ponnistelua sen ratkaisemiseksi ennen kuin alkuperäinen tutkimusprojekti ehtii saavuttaa täyden potentiaalinsa". Hän varoitti, että dynamiikka voisi työntää tutkijoita kohti salailua, mikä kääntäisi "vuosisatojen avoimen tieteen perinteet".indiatoday

Kumpikaan OpenAI:n 100-sivuinen todistus eikä Buckmasterin ja Alpögen edistynein tulos ole vielä läpäisseet riippumatonta arviointia.rollingout