OpenAI perusti matematiikan neuvottelukunnan tekoälyn ratkaistua yli 100 avointa ongelmaa

OpenAI on tiettävästi lähellä ratkaista toisen Millennium-palkinnon matemaattisista ongelmista, vaikka sen ensimmäinen vastaava väite — 8. syyskuuta julkistettu ratkaisu Navier-Stokes-yhtälöiden olemassaoloa ja sileyttä koskevaan ongelmaan — kohtaa kasvavaa kritiikkiä matemaatikoilta, joiden mukaan yhtiö hyödynsi ongelman muotoilussa olevaa porsaanreikää.

Kiistanalainen voitto ja uusi rintama

Yhtiön Navier-Stokes-todistus, jonka 10 000 autonomista tekoälyagenttia tuottivat julkaisemattomalla sisäisellä mallilla 88 tunnin aikana, otettiin julkistushetkellä vastaan merkittävänä läpimurtona. Scientific Americanin mukaan todistus kuitenkin ratkaisi ongelmasta version, joka perustuu keinotekoiseen ulkoiseen voimaan, mitä monet asiantuntijat pitävät irrallisena siitä fysikaalisesta todellisuudesta, jota yhtälöiden on tarkoitus kuvata. "Tärkein ongelma on ratkaisematta", Chicagon yliopiston matemaatikko Luis Silvestre totesi Scientific Americanille. "Clay-ongelma on ratkaistu, mutta Navier-Stokes-yhtälöiden pääongelma ei ole".scientificamerican+2

Kolme matemaatikkoa on sittemmin julkaissut todistuksen, joka osoittaa, ettei OpenAI:n menetelmää voida koskaan laajentaa koko ongelman ratkaisemiseksi ilman ulkoista voimaa, mikä tarkoittaa, että lähestymistapa on tullut tiensä päähän. Tulos täyttää teknisesti Clay Mathematics Instituten alkuperäisen ongelmanasettelun, joka sisälsi mahdollisuuden ulkoisille voimille, mutta virtausmekaniikan tutkijat kohtaavat nyt epämiellyttävän mahdollisuuden, että yhtälöt voivat räjähtää vain keinotekoisissa olosuhteissa.scientificamerican

Samaan aikaan The Information raportoi maanantaina, että OpenAI on lähellä ratkaista toisen jäljellä olevista Millennium-palkinnon ongelmista, ja OpenAI itse paljasti 21. syyskuuta, että sen uusi malli "on nyt ratkaissut yli 100 pitkään avoinna ollutta ongelmaa useimmilla matematiikan aloilla".openai+1

Matemaatikot vastustavat

Nopea kehitys on huolestuttanut matemaattista yhteisöä. Syyskuun 11. päivänä 25 Fields-mitalistia julkaisi yhteisen julistuksen otsikolla "A Severe Misalignment of AI in Mathematics", jossa varoitettiin, että tekoäly-yhtiöiden kilpajuoksu kuuluisien ongelmien ratkaisemiseksi uhkaa heikentää tieteenalan avoimen tutkimuksen ja inhimillisen ymmärryksen kulttuuria. "Usein nämä ratkaisut julkistetaan kiireessä, jolloin ei jää aikaa kunnolliselle kirjoittamiselle, uusien menetelmien ja ideoiden eristämiselle tai muiden aiemman työn asianmukaiselle viittaamiselle", kirjeessä todettiin. Lisäksi esitettiin syytöksiä, joiden mukaan OpenAI painosti matemaatikkoa olemaan mainitsematta yhteistyökumppania, joka on sidoksissa Anthropic-yhtiöön.techcrunch+2

Neuvottelukunta sillanrakentajana

Vastauksena tähän OpenAI ilmoitti maanantaina riippumattomasta matematiikan ja tekoälyn neuvottelukunnasta, joka toimii Institute for Advanced Studyn yhteydessä. Ryhmän yhdeksään jäseneen kuuluu Fields-mitalisteja kuten Timothy Gowers, Martin Hairer ja Edward Witten sekä matemaatikoita Harvardista, Stanfordista, Oxfordista ja Berkeleystä. Ryhmä neuvoo tulosten tarkastelussa ja viestinnässä, ylläpitää akateemisia standardeja ja toimii itsenäisesti — OpenAI ei maksa jäsenille palkkiota, ja he voivat julkisesti haastaa yhtiön lähestymistavan.openai

"Edessä on vaikeita kysymyksiä siitä, miten tekoäly voi tukea matemaattista ymmärrystä", OpenAI kirjoitti ja lisäsi haluavansa, että "matemaatikot ovat keskiössä vastausten muotoilussa". Ryhmä ei kuitenkaan neuvo OpenAI:ta sen sisäisen kehityksen tahdittamisessa — tämä on ero, joka tuskin lievittää niiden matemaatikoiden huolia, jotka seuraavat koneiden kiitävän heidän ohitseen.openai