OpenAI julkaisi valtavan tekoälyn tuottaman matemaattisen tutkimuskokonaisuuden, herättäen ihailua ja huolta matemaatikoiden keskuudessa

Kuva: The Verge · Lähde

OpenAI on julkaissut lähes 400 tekoälyn tuottamaa matemaattista tulosta eri aloilta. Julkaisu on herättänyt innostusta ja huolta matemaatikoissa, sillä laajan materiaalin ymmärtäminen ja varmistaminen voi viedä vuosia.

Yllättävällä ja ennennäkemättömällä tavalla OpenAI julkaisi tällä viikolla valtavan määrän tekoälyn generoimia matemaattisia julkaisuja – lähes 400 tulosta yli 700 käsikirjoituksessa. Työt kattavat laajan valikoiman matematiikan aloja, mukaan lukien kombinatoriikka, geometria, lukuteoria, algebra, topologia, todennäköisyyslaskenta, tilastollinen mekaniikka, matemaattinen fysiikka sekä teoreettinen tietojenkäsittelytiede. Tämä äkillinen suurtilaepä julkaisu on herättänyt reaktioita aina innostuksesta ja ihmetyksestä syvään huoleen ja hämmentyneisyyteen matematiikan tutkimusyhteisössä.

Monet matemaatikot kertoivat The Vergelle, että tuotannon laajuus ja määrä ovat järkyttäviä, kutsuen sitä "puhdistamaksi mielenvikaisuudeksi" ja korostaen, että kokonaisuuden ymmärtäminen ja varmistaminen voi viedä vuosia. Kokoelma sisältää formalisoituja todistuksia, jotka on kirjoitettu Lean-ympäristössä, joka on todistusten avustajaohjelmisto, joka voi tietokoneellisesti varmistaa oikeellisuuden. OpenAI kuitenkin myöntää avoimesti, että vain noin 42 % käsikirjoituksista on formalisoitu, ja varmistamisen laatu ja tarkkuus vaihtelevat merkittävästi työkokoelman sisällä.

Siitä huolimatta vallitsee laaja yksimielisyys siitä, että julkaistuissa tuloksissa on aidosti vaikuttavia saavutuksia, joista osa käsittelee matematiikan yhteisössä arvostettuja pitkään ratkaisemattomia ongelmia. Stanfordin matemaatikko Jared Duker Lichtman mainitsi useita merkittäviä edistysaskeleita, mukaan lukien edistystä kuuluisan Riemannin hypoteesin, Hodge-konjektuurin tapausten sekä nelidimensionaalisen Kakeyan konjektuurin ratkaisuissa. Nämä ovat suuria haasteita, joita ei ole saatu ratkaistua vuosikymmeniin ja jotka ovat matemaattisesti erittäin arvostettuja.

Monet tutkijat ilmaisivat kuitenkin turhautumista artikkeleiden epäjohdonmukaiseen laatuun, niiden lyhyeen ja toisinaan epäselvään muotoon sekä puutteisiin asianmukaisessa lähdeviittauksessa ja esitystavassa. Jotkut pelkäävät, että tekoälyn tuottaman tutkimuksen tulva ilman perusteellista ihmistarkastusta voi horjuttaa akateemista kulttuuria ja häiritä perinteisiä tutkimuspolkuja. Huoli kohdistuu myös aloitteleviin matemaatikoihin, joiden tutkimusaiheet ja urat perustuvat vielä ratkaisemattomiin ongelmiin, jotka tekoäly nyt näyttää pystyvän ratkaisemaan nopeasti.

OpenAI on pyrkinyt toimimaan vastuullisesti matematiikan yhteisön kanssa, tehden yhteistyötä Matematiikan ja tekoälyn neuvontaryhmän (AGMAI) kanssa ja lupaamalla työpajoja sekä jatkuvia päivityksiä. He ovat myös ottaneet käyttöön protokollia julkaisujen tarkistuksille ja viittauksille, poistaen joitakin artikkeleita virheiden löydyttyä julkaisun jälkeen. Kuitenkaan he eivät ole paljastaneet tarkkoja käytettyjä tekoälymalleja tai käskyrakenteita, ja monet formalisaatiot ovat vielä tähtäimessä.

Matematiikan yhteisö kohtaa nopeasti muuttuvan maiseman, sillä tekoäly nopeuttaa ongelmanratkaisukykyjä tavallisen ihmisen kapasiteetin ulkopuolelle. Monet matemaatikot ennustavat vuosien työn tarvittavan näiden tekoälyn tuottamien löydösten tarkistamiseen, kontekstualisointiin ja jatkokehittämiseen. Tätä julkaisua pidetään historiallisena virstanpylväänä matematiikassa, jota jotkut vertaavat Eukleideen Elementtien merkitykseen, mutta se tuo mukanaan myös syvää epävarmuutta ihmistutkijoiden tulevasta roolista. Julkaisun täytävät vaikutukset tutkimuskulttuuriin, urakehitykseen ja matemaattiseen löytämiseen ovat vielä kehittymässä, kun yhteisö kamppailee tämän mullistavan muutoksen kanssa.