Tekoälysovellus Chat GPT:n kehittänyt yhtiö Open AI kertoo ratkaisseensa matemaattisen ongelman, joka on vaivannut matemaatikkoja 1940-luvulta lähtien.
Asiasta uutisoi muun muassa brittiläinen Guardian.
Unkarilainen matemaatikko Paul Erdős esitti vuonna 1943 pulman, joka tunnetaan vapaasti suomennettuna nimellä tasoyksikköetäisyysongelma (the planar unit distance problem).
Jos piirrät paperille pisteitä, montako pisteparia voi sijaita täsmälleen yhtä kaukana toisistaan?
Erdős arvioi, että parien määrä kasvaisi vain hieman nopeammin kuin pisteiden määrä.
Open AI:n tekoälymalli päätyi toiseen tulokseen. Se yhdisteli eri matematiikan osa-alueita ja löysi täysin uudenlaisia pistejärjestelyjä, jotka ylittävät Erdősin esittämän rajan.
Open AI kirjoitti viestipalvelu X:ssä, että lähes 80 vuotta matemaatikot uskoivat parhaiden mahdollisten ratkaisujen muistuttavan karkeasti neliöruudukkoja.
– Open AI:n malli on nyt kumonnut tämän uskomuksen löytämällä kokonaan uuden rakenteiden perheen, joka toimii paremmin, yhtiö kirjoitti.
Matemaatikkopiireissä on väristy tekoälyn kyvyistä
Matemaatikot ovat iloinneet tekoälyn menestyksestä.
Teollisuusmatematiikan professori Samuli Siltanen Helsingin yliopistosta sanoo, että kyseessä on ensimmäinen merkki siitä, että tekoäly kykenee samaan tai parempaan kuin ihmismatemaatikot.
– Kyllä tämä on aiheuttanut väristystä matemaatikkopiireissä, että se pystyy tällaisenkin ongelman ratkomaan, joka on ihmisille ja matemaatikoille merkityksellinen.
Hän selventää, että vaikka matematiikan kysymykset eivät aina näytä liittyvän mihinkään, pulmien ratkomisesta kertyy vähitellen uutta tietosisältöä, josta voi olla apua vaikkapa tietojen salauksessa.
Siltasen mukaan Erdősin pulman ratkominen ei välittömästi tarjoa apua johonkin arjen sovellukseen.
– Säännöllisin väliajoin se [matematiikan ongelmien ratkominen] tarjoaa kuitenkin ihmiskunnalle uusia edistysaskeleita.
Ihmisen rooli ongelmanratkaisussa yhä keskeinen
Erdősin ongelmia käsittelevää verkkosivustoa ylläpitävä matemaatikko Thomas Bloom muistuttaa ihmisen roolista matemaattisten ongelmien ratkaisemisessa.
– Vaikka tekoälyn tuottama todistus oli alun perin täysin pätevä, Open AI:n tutkijat ja muut mukana olleet matemaatikot kehittivät sitä huomattavasti eteenpäin, sanoo Bloom.
Hänen mukaansa ihmisellä on olennainen rooli muun muassa todistuksen käsittelyssä, sisäistämisessä ja seurausten tutkimisessa.