OpenAIn Astra-mallin matematiikkatulokset poikivat plagiointisyytöksiä

OpenAIn seuraava suuri tekoälymalli, työnimeltään Astra, on ratkaissut 10 pitkään avoinna ollutta ongelmaa matematiikan ja teoreettisen tietojenkäsittelytieteen aloilla. Julkistusta ovat kuitenkin varjostaneet syytökset tutkimusvilpistä: matemaatikkojen mukaan yhtiö jätti viittaamatta aiempiin tutkimuksiin.

2 000 dollarin läpimurto matematiikassa

OpenAI julkaisi 31. heinäkuuta blogikirjoituksen, jossa esiteltiin tuloksia "seuraavan suuren mallimme Astran sisäisestä versiosta". Yhtiö väitti saavuttaneensa edistysaskeleita muun muassa moniulotteisessa pallonpakkauksessa, kvanttipeliteoriassa, ryhmäteoriassa ja ekstremaalikombinatoriikassa. Yhtiön mukaan matemaattisten argumenttien luomisen kokonaiskustannus tokeneina oli vain 2 000 dollaria. Jokainen tulos formalisoitiin Lean-todistusavustimella, ja OpenAI ilmoitti ottavansa "vastuun niiden oikeellisuudesta".mashable+3

Saavutukset jatkavat tekoälyllä tehtyjen matemaattisten läpimurtojen sarjaa tänä vuonna. Toukokuussa OpenAI kumosi Erdősin yksikköetäisyyskonjektuurin, ja Anthropic oli mukana kumoamassa Jacobin konjektuuria.mashable

Plagiointisyytökset nousevat pintaan

Kun matemaatikot perehtyivät lähes 250-sivuiseen tutkimuspaperiin, turhautuminen kasvoi. Yeshiva-yliopiston matemaatikko Steven Miller kertoi Scientific Americanille, että OpenAIn pallonpakkaustulos perustuu argumenttiin, joka "ilmestyi todellisuudessa ensimmäisen kerran vuonna 2016 julkaistussa tutkimuksessa", jonka toisena kirjoittajana hän oli. "He jyräävät tietoisesti muiden heitä ennen työtä tehneiden saavutukset", Miller sanoi. "Tämä vaikuttaa minusta täysin järjestelmälliseltä ja viittaa tutkimusvilppiin."scientificamerican

Toinen tulos, joka koskee ei-sofisia ryhmiä, herätti kritiikkiä Cambridgen yliopiston Francesco Fournier-Faciolta. Hän huomasi, että ratkaisun keskeinen vaihe yhdisteli ideoita vuosina 2016 ja 2019 julkaistuista tutkimuksista. Tämä oli ristiriidassa OpenAIn alkuperäisen väitteen kanssa, jonka mukaan ongelmat "ovat olleet avoimia eikä niiden päätuloksessa ole tapahtunut edistystä ainakin vuosikymmeneen". OpenAI on sittemmin muuttanut tätä sanamuotoa.scientificamerican

"Taustalla on suuri PR-koneisto, joka haluaa kuulostaa mahdollisimman vaikuttavalta eikä välitä siitä, onko kaikki sataprosenttisen tarkkaa", Fournier-Facio sanoi Scientific Americanille.scientificamerican

Mitä seuraavaksi tapahtuu

Astran julkisesta julkaisusta on tihkunut vain vähän tietoja. OpenAI ei ole kertonut, julkaistaanko Astra nimellä GPT-5.7, GPT-6:n alkuna vai jollakin muulla nimellä. Yhtiön raportoidaan esittelevän mallia ennakkoon Washingtonissa, ja Valkoisen talon vapaaehtoinen kehysmalli edistyksellisten tekoälymallien testaamiseksi ennen julkaisua saattaa vaikuttaa aikatauluun.mashable

Columbian yliopiston matemaatikko Andrew Blumberg esitti maltillisen arvion. Tulokset ovat "melko lyhyitä" rakenteita: "joko vastaesimerkkejä tai pieniä, erittäin ovelia rakenteita, jotka rakentuvat tunnettujen asioiden varaan", eivätkä niinkään syvällisiä käsitteellisiä läpimurtoja. "Jos ihminen olisi tehnyt useita näistä asioista, häntä ylistettäisiin ansaitusti", hän sanoi Mashablelle, "mutta ne eivät muuta aiempia käsityksiäni."mashable