ChatGPT ratkaisi itsenäisesti monimutkaisen matematiikan ongelman

Tekoäly on ottanut askeleen, joka vielä äskettäin vaikutti tieteiskirjallisuudelta: ChatGPT:n uusin versio ratkaisi itsenäisesti yhden monimutkaisista matematiikan avoimista ongelmista. Tutkija ja kehittäjä Neil Somani esitteli mallille vaativan tehtävän ja antoi sen työskennellä ilman ihmisen väliintuloa. Noin 15 minuutin jälkeen järjestelmä tuotti yksityiskohtaisen ratkaisun, jonka Somani tarkisti ja formalisoi käyttäen Harmonic-matemaattista työkalua – vahvistaen, että todistus oli oikein.

Somanin tavoitteena oli ymmärtää, missä nykyisten suurten kielimallien kykyjen rajat matematiikassa menevät. Kokeelliset tulokset osoittautuivat yllättävän vahvoiksi: uusin ChatGPT-versio käsitteli varmasti monimutkaisia käsitteitä ja osoitti päättelykykyä, jota aiemmin pidettiin tekoälyn ulottumattomissa. Tutkijan mielestä tämä siirtää merkittävästi käsitystämme siitä, mitä tehtäviä koneet voivat ratkaista omin avuin.

Päätelyprosessissaan malli ei pelkästään löytänyt vastausta, vaan sovelsi peräkkäin perusmatemaattisia ideoita ja kaavoja, nojautuen ammattiyhteisössä yli vuosikymmen sitten käsiteltyihin töihin. Lopullinen ratkaisu ei ollut kopio tunnetuista lähestymistavoista, vaan itsenäinen ja täydellisempi johtaminen Paul Erdősin alun perin muotoileman ongelmavariantin osalta. Tällainen yleistys- ja sopeutumiskyky oli aiemmin ominainen vain ihmisille.

Somani huomauttaa, että huomattava harppaus tapahtui version GPT 5.2 julkaisun jälkeen: tekoälyn ilman suoraa apua käsittelemien ongelmien määrä on kasvanut jyrkästi. Vaikka varhaisia autonomisia menestyksiä tällä alalla on kirjattu aiemminkin, edistys on nyt vaikea ohittaa huomiotta. Asiantuntijat korostavat, että tekoäly ei korvaa matemaatikkoja, vaan on yhä enemmän voimakas työkalu, joka kykenee nopeuttamaan ratkaisujen löytämistä ja laajentamaan ihmisen tiedon rajoja.