Laaja työtila voi selittää osan tekoälyn edusta matematiikassa

Tekoälyjärjestelmän onnistuminen vaikeassa matematiikan tehtävässä ei välttämättä kerro yksin aiempaa paremmasta päättelystä. Kirjoituksessa esitetään, että merkittävä osa edusta voi syntyä ihmistä huomattavasti laajemmasta symbolisesta työtilasta: malli pystyy säilyttämään ongelman, välivaiheet ja aiemmat päätelmät samassa konteksti-ikkunassa.

Ihmisen työmuisti rajoittaa päättelyä

Työmuisti tarkoittaa järjestelmää, jonka varassa ihminen pitää tietoa mielessään ja käsittelee sitä lyhyen ajan. Yhtälöä ratkaistaessa on muistettava muuttujien merkitykset, jo tehdyt laskutoimitukset ja tavoite. Todistuksessa seurattavana voivat olla samanaikaisesti oletukset, välitulokset, poikkeukset ja eri tapaukset. Ihmisen kyky pitää useita vieraita osia aktiivisena on rajallinen.

Tekoälymallin konteksti-ikkunaan voi sen sijaan mahtua koko tehtävänanto, satoja välivaiheen yhtälöitä, hylättyjä ratkaisuyrityksiä, määritelmiä, ehtoja ja aiempia johtopäätöksiä. Kirjoituksen väite on, että tällainen ulkoinen symbolinen työtila hoitaa monia samoja tehtäviä kuin ihmisen työmuisti. Ero voi korostua juuri matematiikassa, jossa pitkä päättelyketju vaatii useiden yksityiskohtien jatkuvaa seurantaa. Mallin ei tarvitse palauttaa jokaista välitulosta uudelleen mieleensä, jos tiedot säilyvät sen käytettävissä koko työskentelyn ajan.

Arkinen esimerkki havainnollistaa eroa. Kahden kolminumeroisen luvun kertominen päässä on hankalaa, vaikka yksittäiset laskutoimitukset ovat yksinkertaisia, koska osatulokset täytyy säilyttää seuraavien vaiheiden aikana. Lukujen kirjoittaminen paperille helpottaa tehtävää. Paperi ei lisää älykkyyttä, vaan kasvattaa käytettävissä olevaa työtilaa.

Suorituskyky ei paljasta yhtä selitystä

Sama periaate ulottuu kirjoituksen mukaan vaativaan matematiikkaan. Matemaatikot käyttävät merkintöjä, luonnospaperia, kaavioita ja aiemmin kirjoitettuja apulauseita paitsi ratkaisun esittämiseen myös itse ajattelun mahdollistamiseen. Kokeneet asiantuntijat lieventävät muistirajoitetta jäsentämällä tietoa suuremmiksi kokonaisuuksiksi, mutta biologinen työmuisti pysyy silti rajallisena.

Muistiselitys ei sulje pois sitä, että tekoälyn koulutusaineisto, vahvistusoppiminen tai kehittyneet päättelystrategiat vaikuttavat tuloksiin. Se kuitenkin muuttaa tapaa, jolla onnistumisia pitäisi tulkita: vaikean ongelman ratkaiseminen ei yksin osoita ihmistä parempaa matemaattista ymmärrystä. Havaittu suorituskyky voi syntyä päättelykyvyn ja poikkeuksellisen laajan työtilan yhteisvaikutuksesta.