Tálsýn um hugsun Þorsteinn Siglaugsson skrifar 15. júní 2025 15:32 Snemma í júní birti Apple Machine Learning Research nýja rannsókn á stórum mállíkönum (Large Language Models), sem vakið hefur verðskuldaða athygli og bendir til að rökleg geta mállíkana sé takmarkaðri en margir hafa talið. Mállíkön og rökleg líkön Rannsakendur bera saman getu „venjulegra“ mállíkana og þróaðri líkana sem markaðssett hafa verið undir heitinu Large Reasoning Models, sem þýða mætti sem stór rökleg mállíkön. Til skýringar falla líkön á borð við ChatGPT 3.5 og 4 í fyrri flokkinn, en líkön á borð við ChatGPT o1 í þann síðari. Titill rannsóknarinnar er „The Illusion of Thinking – Understanding the Strengths and Weaknesses of Reasoning Models via the Lens of Problem Complexity“. Þetta mætti þýða þannig: „Tálsýn um hugsun: Styrkleikar og veikleikar röklegra mállíkana skoðaðir í ljósi flækjustigs úrlausnarefna.“ Báðar gerðir mállíkana byggjast á sömu grunnvirkninni; að spá fyrir um næsta orð í setningu á grundvelli líkinda sem byggjast á þjálfunargrunni líkansins. Það sem hin svonefndu röklegu líkön hafa umfram þau upprunalegu er að þau eru þjálfuð til að beita ytri aðferðum, t.d. keðju hugsana (Chain-of-Thought), til að gera niðurstöður þeirra traustari. Niðurstöður Apple benda til að aukin stærð mállíkana muni ekki geta leitt til þess að þau öðlist raunverulega rökhugsun og jafnframt að það að tala um rökleg mállíkön sé í besta falli ónákvæm orðanotkun. Þótt þau kunni að virðast hugsa séu þau í raun ófær um að beita óhlutbundinni hugsun heldur takmarkist geta þeirra við flækjustig þeirra dæma sem er að finna í þjálfunargrunninum. Hæfni til að leysa rökfræðileg vandamál prófuð Til að bera saman getu líkananna notuðust höfundarnir við fjórar röklegar gátur sem sjá má á skýringarmynd sem fengin er úr ritgerðinni. Allar gáturnar snúast um að prófa óhlutbundna rökhugsun. Fyrsta gátan, „Tower of Hanoi“, snýst til dæmis um að færa hringina til, einn í einu, þannig að aldrei sé stærri hringur ofan á smærri, þar til þeir raðast eins upp á þriðja pinnanum og þeir gera í upphafi á þeim fyrsta. Verkefnið er að gera þetta með eins fáum tilfærslum og mögulegt er. Þriðja gátan, „River Crossing“ samsvarar þekktri íslenskri vísnagátu: Hvernig flutt skal yfir á úlfur lamb og heypokinn? Ekkert granda öðru má, eitt og mann tók báturinn. Gáturnar fjórar sem vísindamenn Apple notuðu til að prófa röklega getu líkananna. Efsta línan sýnir upphaflega stöðu, neðst er lokastaðan þegar þrautin er leyst og í miðjunni dæmi um milliskref. Myndin er úr greininni sem vitnað er til. Í tilrauninni voru gáturnar gerðar flóknari og flóknari og geta líkananna til að leysa þær borin saman. Þau réðu jafn vel við gáturnar í sinni einföldustu mynd og almennu líkönin voru raunar fljótari að leysa þær. Við aukið flækjustig kom fram munur á getunni, röklegu mállíkönunum í vil. En þegar gáturnar voru orðnar mjög flóknar hættu báðar gerðir líkananna alfarið að ráða við þær, þar var enginn munur. Þessar niðurstöður eru talsvert ólíkar niðurstöðum prófana með stærðfræðiþrautum sem gjarna hafa sýnt gríðarmikinn mun á getu þessara tveggja gerða mállíkana og jafnvel að röklegu líkönin standi sig umtalsvert betur en doktorsnemar. En niðurstöður Apple benda til mun meiri takmarkana þegar kemur að óhlutbundinni rökhugsun. Veigamiklar takmarkanir Höfundar varpa fram þeirri tilgátu að takmarkandi þátturinn hér sé fjöldi dæma um úrlausnir á sambærilegum gátum í þjálfunargrunni líkananna, þ.e. að þótt líkönin virðist beita rökhugsun séu þau í raun bara að spá fyrir um úrlausnir út frá fyrri úrlausnum sem þau hafa þegar vitneskju um. Þegar er vitað að mállíkön geta lært og jafnvel myndað með sér nýja hæfni, einfaldlega vegna aukinnar stærðar og flækjustigs. Ritgerð Michals Kosinski við Stanford háskóla, „Theory of Mind Might Have Spontaneously Emerged in Large Language Models“ (2023) fjallar um hvernig ChatGPT líkönin öðluðust hæfni til að setja sig inn í hugarheim annarra - beita svonefndri hugarkenningu (Theory of Mind) - án þess að neitt breyttist nema umfang þjálfunargrunnsins og breytufjöldi í líkönunum. En rannsókn Apple gefur til kynna að ólíklegt sé að líkönin geti öðlast raunverulega rökhugsun með aukinni stærð. Þar sem rökhugsun er forsenda sjálfstæðrar ákvarðanatöku og gagnrýnins mats á eigin ályktunum vekur þetta þá spurningu hvort almenn gervigreind (General Artificial Intelligence), líkön sem ráða við allt sem maðurinn ræður við og jafnvel betur, sé mun fjær því að vera handan við hornið en margir hafa talið. Hagfræðingur og sérfræðingur í hagnýtingu gervigreindar. Viltu birta grein á Vísi? Kynntu þér reglur ritstjórnar um skoðanagreinar. Senda grein Þorsteinn Siglaugsson Gervigreind Mest lesið Þegar Ólafur Ragnar Grímsson vísar veginn Einar Páll Svavarsson Skoðun Að velja evruna fyrir sig en krónuna fyrir okkur hin Þórður Snær Júlíusson Skoðun Hvar eru eigendur Icelandair? Kjartan Björgvinsson Skoðun Viltu minni verðbólgu og lægri vexti? Hjörtur J. Guðmundsson Skoðun Þú þarft ekki að vera ESB-sinni til að segja já Baldur Johnson Skoðun Hálfgert vandræðabarn Sigmar Guðmundsson Skoðun Bæjarráð Hveragerðis krefst svara frá ríkinu um strætó Lárus Jónsson Skoðun Greining SFS. Hver er óttinn? Halldór Jörgen Olesen Skoðun Sirkussleggja forsætisráðherra sló í bjölluna Sveinn Óskar Sigurðsson Skoðun Evrópusambandið og heilbrigðismál - saman værum við sterkari Alma D. Möller Skoðun Skoðun Skoðun Já, fyrir vísindi, nýsköpun og menningu Logi Einarsson skrifar Skoðun Viltu minni verðbólgu og lægri vexti? Hjörtur J. Guðmundsson skrifar Skoðun Sirkussleggja forsætisráðherra sló í bjölluna Sveinn Óskar Sigurðsson skrifar Skoðun Evruna fyrir sig? Nei, Þórður Snær. Reikningsskil virka ekki þannig. Páll Steingrímsson skrifar Skoðun Hvernig bætum við lífsgæði síðustu 20-30 æviárin? Þorvaldur Ingi Jónsson skrifar Skoðun Þegar Ólafur Ragnar Grímsson vísar veginn Einar Páll Svavarsson skrifar Skoðun Greining SFS. Hver er óttinn? Halldór Jörgen Olesen skrifar Skoðun Þú þarft ekki að vera ESB-sinni til að segja já Baldur Johnson skrifar Skoðun Sama framtíðarsýn í Reykjavík og Brussel Ingvar Sverrisson skrifar Skoðun Réttindi barna til framtíðar Guðrún Pétursdóttir,Brynjar Bragi Einarsson skrifar Skoðun Bæjarráð Hveragerðis krefst svara frá ríkinu um strætó Lárus Jónsson skrifar Skoðun Evrópusambandið og heilbrigðismál - saman værum við sterkari Alma D. Möller skrifar Skoðun Það sem raunverulega skiptir máli fyrir fólkið í landinu Sveinn Atli Gunnarsson skrifar Skoðun Við eigum rétt á að kjósa, sama hvað þið segið Atli Már Haraldsson Zebitz,Sunna Dögg Ágústsdóttir,Sveinbjörn Benedikt Eggertsson skrifar Skoðun Hvar eru eigendur Icelandair? Kjartan Björgvinsson skrifar Skoðun Hálfgert vandræðabarn Sigmar Guðmundsson skrifar Skoðun Að velja evruna fyrir sig en krónuna fyrir okkur hin Þórður Snær Júlíusson skrifar Skoðun Hvar liggur ábyrgðin? Guðrún Ebba Ólafsdóttir skrifar Skoðun Kosturinn sem er ekki á kjörseðlinum Egill Gauti Þorkelsson skrifar Skoðun „Þið þurfið stærri bát“ Erlingur Erlingsson skrifar Skoðun Verð gæti stórlækkað á Íslandi Gauti B. Eggertsson skrifar Skoðun ESB: Hvað kostar að vera utangarðs? Innviðir, tæknilegt samstarf og varnarmál Sigurður Emil Pálsson skrifar Skoðun Gigtin sést ekki alltaf – en hún getur breytt öllu Hrönn Stefánsdóttir skrifar Skoðun Hversu miklar umferðartafir má bjóða þér með skólaárinu? Valur Elli Valsson skrifar Skoðun Atvinnuviðtal hjá ESB? Brynjar Níelsson skrifar Skoðun Kvalajárn Rósa Líf Darradóttir skrifar Skoðun Að kaupa atkvæði þjóðar Yngvi Ómar Sigrúnarson skrifar Skoðun Framtíðin, björt eða svört? Ólafur Hannesson skrifar Skoðun Ert þú þessi hálfviti? Guðrún Tinna Ólafsdóttir skrifar Skoðun Þegar reikniformúla verður að ráðningarþaki sjúkraliða Sandra B. Franks skrifar Sjá meira
Snemma í júní birti Apple Machine Learning Research nýja rannsókn á stórum mállíkönum (Large Language Models), sem vakið hefur verðskuldaða athygli og bendir til að rökleg geta mállíkana sé takmarkaðri en margir hafa talið. Mállíkön og rökleg líkön Rannsakendur bera saman getu „venjulegra“ mállíkana og þróaðri líkana sem markaðssett hafa verið undir heitinu Large Reasoning Models, sem þýða mætti sem stór rökleg mállíkön. Til skýringar falla líkön á borð við ChatGPT 3.5 og 4 í fyrri flokkinn, en líkön á borð við ChatGPT o1 í þann síðari. Titill rannsóknarinnar er „The Illusion of Thinking – Understanding the Strengths and Weaknesses of Reasoning Models via the Lens of Problem Complexity“. Þetta mætti þýða þannig: „Tálsýn um hugsun: Styrkleikar og veikleikar röklegra mállíkana skoðaðir í ljósi flækjustigs úrlausnarefna.“ Báðar gerðir mállíkana byggjast á sömu grunnvirkninni; að spá fyrir um næsta orð í setningu á grundvelli líkinda sem byggjast á þjálfunargrunni líkansins. Það sem hin svonefndu röklegu líkön hafa umfram þau upprunalegu er að þau eru þjálfuð til að beita ytri aðferðum, t.d. keðju hugsana (Chain-of-Thought), til að gera niðurstöður þeirra traustari. Niðurstöður Apple benda til að aukin stærð mállíkana muni ekki geta leitt til þess að þau öðlist raunverulega rökhugsun og jafnframt að það að tala um rökleg mállíkön sé í besta falli ónákvæm orðanotkun. Þótt þau kunni að virðast hugsa séu þau í raun ófær um að beita óhlutbundinni hugsun heldur takmarkist geta þeirra við flækjustig þeirra dæma sem er að finna í þjálfunargrunninum. Hæfni til að leysa rökfræðileg vandamál prófuð Til að bera saman getu líkananna notuðust höfundarnir við fjórar röklegar gátur sem sjá má á skýringarmynd sem fengin er úr ritgerðinni. Allar gáturnar snúast um að prófa óhlutbundna rökhugsun. Fyrsta gátan, „Tower of Hanoi“, snýst til dæmis um að færa hringina til, einn í einu, þannig að aldrei sé stærri hringur ofan á smærri, þar til þeir raðast eins upp á þriðja pinnanum og þeir gera í upphafi á þeim fyrsta. Verkefnið er að gera þetta með eins fáum tilfærslum og mögulegt er. Þriðja gátan, „River Crossing“ samsvarar þekktri íslenskri vísnagátu: Hvernig flutt skal yfir á úlfur lamb og heypokinn? Ekkert granda öðru má, eitt og mann tók báturinn. Gáturnar fjórar sem vísindamenn Apple notuðu til að prófa röklega getu líkananna. Efsta línan sýnir upphaflega stöðu, neðst er lokastaðan þegar þrautin er leyst og í miðjunni dæmi um milliskref. Myndin er úr greininni sem vitnað er til. Í tilrauninni voru gáturnar gerðar flóknari og flóknari og geta líkananna til að leysa þær borin saman. Þau réðu jafn vel við gáturnar í sinni einföldustu mynd og almennu líkönin voru raunar fljótari að leysa þær. Við aukið flækjustig kom fram munur á getunni, röklegu mállíkönunum í vil. En þegar gáturnar voru orðnar mjög flóknar hættu báðar gerðir líkananna alfarið að ráða við þær, þar var enginn munur. Þessar niðurstöður eru talsvert ólíkar niðurstöðum prófana með stærðfræðiþrautum sem gjarna hafa sýnt gríðarmikinn mun á getu þessara tveggja gerða mállíkana og jafnvel að röklegu líkönin standi sig umtalsvert betur en doktorsnemar. En niðurstöður Apple benda til mun meiri takmarkana þegar kemur að óhlutbundinni rökhugsun. Veigamiklar takmarkanir Höfundar varpa fram þeirri tilgátu að takmarkandi þátturinn hér sé fjöldi dæma um úrlausnir á sambærilegum gátum í þjálfunargrunni líkananna, þ.e. að þótt líkönin virðist beita rökhugsun séu þau í raun bara að spá fyrir um úrlausnir út frá fyrri úrlausnum sem þau hafa þegar vitneskju um. Þegar er vitað að mállíkön geta lært og jafnvel myndað með sér nýja hæfni, einfaldlega vegna aukinnar stærðar og flækjustigs. Ritgerð Michals Kosinski við Stanford háskóla, „Theory of Mind Might Have Spontaneously Emerged in Large Language Models“ (2023) fjallar um hvernig ChatGPT líkönin öðluðust hæfni til að setja sig inn í hugarheim annarra - beita svonefndri hugarkenningu (Theory of Mind) - án þess að neitt breyttist nema umfang þjálfunargrunnsins og breytufjöldi í líkönunum. En rannsókn Apple gefur til kynna að ólíklegt sé að líkönin geti öðlast raunverulega rökhugsun með aukinni stærð. Þar sem rökhugsun er forsenda sjálfstæðrar ákvarðanatöku og gagnrýnins mats á eigin ályktunum vekur þetta þá spurningu hvort almenn gervigreind (General Artificial Intelligence), líkön sem ráða við allt sem maðurinn ræður við og jafnvel betur, sé mun fjær því að vera handan við hornið en margir hafa talið. Hagfræðingur og sérfræðingur í hagnýtingu gervigreindar.
Skoðun Evruna fyrir sig? Nei, Þórður Snær. Reikningsskil virka ekki þannig. Páll Steingrímsson skrifar
Skoðun Við eigum rétt á að kjósa, sama hvað þið segið Atli Már Haraldsson Zebitz,Sunna Dögg Ágústsdóttir,Sveinbjörn Benedikt Eggertsson skrifar
Skoðun ESB: Hvað kostar að vera utangarðs? Innviðir, tæknilegt samstarf og varnarmál Sigurður Emil Pálsson skrifar