OpenAI:n Astra ratkaisee 10 suurta matematiikan ongelmaa, mutta herättää syviä huolenaiheita

Elokuun 1. päivänä OpenAI julkaisi blogikirjoituksen, jossa väitti, että sen seuraavan sukupolven kielimallin Astra-sisäinen versio on ratkaissut tai edistänyt ratkaisevasti kymmentä avointa ongelmaa matematiikassa ja teoreettisessa tietojenkäsittelytieteessä. Ongelmat kattavat edistyneitä aiheita, kuten korkeadimensionaalisen geometrian, koodausteoria, aritmeettinen piirikompleksisuus, ryhmäteoria, operaattorialgebrat, kvanttikompleksisuus, hilaperusteinen kryptografia ja äärimmäinen kombinatoriikka. OpenAI kertoi, että koko suoritus maksoi noin 2000 dollaria tokeneina ongelmaa kohti, ja tulokset varmennettiin Lean-formaalisen todistusavustimen avulla. Ilmoitus herätti sekä innostusta että huolta matemaattisessa yhteisössä. Tutkija Jay Cummins huomautti, että ensimmäistä kertaa tekoäly ratkaisi ongelman, jonka parissa hän oli henkilökohtaisesti työskennellyt vuosia, mikä teki tappiosta vaikean hyväksyä. Sijoittaja Nicolas Bustamante kyseenalaisti Fieldsin mitalin tulevaisuuden ja kysyi, kuka saa tunnustuksen, kun ongelmat ovat vain kehotteen päässä. Huomionarvoista on, että Fieldsin mitalisti Jacob Tsimerman keskeytti virkansa Toronton yliopistossa liittyäkseen OpenAI:hin heinäkuun lopulla, keskittyen ei matemaattisiin kykyihin vaan tekoälyn turvallisuuteen. Toinen Fieldsin mitalisti, Terence Tao, varoitti vaarallisesta muutoksesta: kun tekoäly automatisoi todisteiden tuottamisen, matematiikka siirtyy niukkuudesta runsauteen, mutta tutkijat eivät pysy perässä todisteiden tarkistamisessa ja "sulattamisessa". Hän vertasi raakoja tekoälytodisteita "mysteerieläinten raatoihin", jotka on dumpattu yhteisön ruoka-apajille, eikä kenelläkään ole aikaa siivota ja valmistaa niitä. Tsimerman myös valitteli "matemaattisen roskan" lisääntymistä käyttäjiltä, joilla ei ole asiantuntemusta ja jotka lähettävät raakoja ChatGPT-tulosteita laboratorioihin. Molemmat varoittivat, että muodolliset ratkaisut kuuluisiin otaksumiin voisivat tappaa rahoituksen ja kiinnostuksen näihin aiheisiin, vaikka kukaan ihminen ei ymmärtäisi ratkaisuja, mikä johtaisi tieteenalaan, joka kehittyy ilman ymmärrystä.