An Renaissance Néara-Shiombalach: Cén Fáth a gComhcheanglaíonn Todhchaí na hIntleachta Saorga Intuition le Loighic

An Renaissance Néara-Shiombalach: Cén Fáth a gComhcheanglaíonn Todhchaí na hIntleachta Saorga Intuition le Loighic

Ailtireacht na hIntleachta Daonna

Sa bhliain 2002, thug an síceolaí Daniel Kahneman a léacht Nobel i Stócólm. Do lucht éisteachta eacnamaithe a raibh cothromóidí agus graif ag súil leo, d’inis sé scéalta dóibh ina ionad sin. Scéalta faoi thiománaithe tacsaí, imreoirí cispheile, agus daoine a dhéanann cinntí uafásacha le muinín iomlán. Ba é a phríomhtheoiric, a d’fhorbair sé le 30 bliain lena chomhoibrí déanach Amos Tversky, rud simplí ach réabhlóideach: oibríonn an aigne dhaonna trí dhá chóras chognaíoch atá go bunúsach difriúil, agus tá ár sibhialtacht ar fad tógtha ar an teannas eatarthu.

Thug Kahneman Córas 1 agus Córas 2 orthu. Ní fealsúnacht acadúil amháin atá i dtuiscint ar na córais seo. Is é an eochair é chun tuiscint a fháil ar an fáth a bhfuil AI ag teip faoi láthair agus cad a chaithfidh teacht ina dhiaidh.

Córas 1 (Smaointeoireacht Thapa) is intuigthe, mothúchánach, uathoibríoch, agus fo-chomhfhiosach é. Oibríonn sé go leanúnach gan stró. Is é seo an córas a úsáideann tú chun aghaidh cara a aithint i slua, liathróid a ghabháil gan ruthaig a ríomh, bealach aithnidiúil a thiomáint agus d’intinn ag fánaíocht in áit eile, fearg a bhrath i nglór duine ó aon siolla amháin, nó abairt a thuiscint gan ghramadach a anailísiú go comhfhiosach. Tá Córas 1 tapaidh mar níl aon rogha aige. Tháinig sé chun cinn le maireachtáil i ndomhan ina raibh bás mar thoradh ar mhoill. Mothaíonn sé an freagra sula mbíonn tú in ann a mhíniú cén fáth.

Córas 2 (Smaointeoireacht Mhall) is loighciúil, machnamhach, ríomhach, agus comhfhiosach é. Éilíonn sé iarracht agus aird. Is é seo an córas a úsáideann tú chun 17 x 24 a réiteach i do cheann, foirm chánach a líonadh i gceart, conradh dlíthiúil a sheiceáil le haghaidh clásail fholaigh, a fhíorú go bhfuil cruthúnas matamaiticiúil bailí, nó fiúntais choibhneasta dhá thairiscint poist a chur i gcomparáid. Tá Córas 2 mall mar tá sé dian. Ríomhann sé an freagra agus is féidir leis a chuid oibre a thaispeáint. Is é córas na heolaíochta, na hinnealtóireachta, an dlí, agus na loighce é.

Seo léargas ríthábhachtach Kahneman: ritheann Córas 1 go leanúnach agus ní féidir é a mhúchadh. Tá Córas 2 leisciúil agus ní ghníomhaíonn sé ach nuair a bhíonn sé éigeantach. Nuair a fheiceann tú an chothromóid 2+2=?, soláthraíonn Córas 1 "4" láithreach gan Córas 2 a mhealladh. Ach nuair a fheiceann tú 17x24=?, ní féidir le Córas 1 cabhrú leat (mura savant thú), agus caithfidh Córas 2 seilbh a ghlacadh go saothrach.

Míníonn an t-idirghníomhú idir na córais seo beagnach gach teip chognaíoch dhaonna. Nuair a tháirgeann Córas 1 freagra a mhothaíonn "ceart", glacann Córas 2 leis go minic gan fíorú. Seo mar a oibríonn seachmaill optúla. Seo mar a oibríonn caimiléirí. Seo mar a oibríonn laofachtaí cognaíocha. Déanaimid dearmad ar an mothú eolais a mheascadh le fíor-eolas.

Conas a Thóg Silicon Valley Córas 1 Ollmhór

Le deich mbliana anuas, tá an tionscal AI ar fad tugtha do chóras 1 a thógáil. Is meaisíní iomasach sileacain-bhunaithe ollmhóra iad Líonraí Néarúla Domhain, agus go sonrach na hailtireachtaí Transformer a chumhachtaíonn ChatGPT, Claude, Gemini, agus beagnach gach múnla AI "teorann" eile.

Oibríonn siad trí mheaitseáil patrún ardtoiseach. Nuair a thugtar seicheamh ionchuir dóibh, tuarann siad an chéad chomhartha eile bunaithe ar chomhghaolta staitistiúla a foghlaimíodh ó thrilliúin samplaí oiliúna. Ní "thuigeann" siad in aon chiall bhríoch. Aithníonn siad patrúin agus tuarann siad cé na patrúin a leanann patrúin eile de ghnáth.

Ní masla é seo. Cur síos teicniúil atá ann. Agus le haghaidh tascanna Córas 1, tá siad iontach i ndáiríre. Is féidir le Múnlaí Teanga Móra filíocht a scríobh a chorraíonn daoine chun deora, íomhánna osréadúla a ghiniúint a bhuann comórtais ealaíne, réitigh chruthaitheacha a bhrainseáil do fhadhbanna oscailte, agus comhráite a dhéanamh a mhothaíonn iontach daonna. Is iad seo go díreach na tascanna a bhfuil Córas 1 an duine go maith orthu.

Ach seo an fhadhb: tá siad thar a bheith dona ag tascanna Córas 2.

Iarr ar LLM íon dhá uimhir 6-dhigit a iolrú. Is dócha go dtabharfaidh sé uimhir duit a fhéachann cosúil le freagra ceart (tá an líon ceart digití aige, b'fhéidir go mbeadh na chéad digití ceart fiú), ach beidh an freagra mícheart go matamaiticiúil. Cén fáth? Toisc nach bhfuil an múnla ag ríomh. Tá sé ag tuar cad a fhéachann ríomh mar. Chonaic sé na milliúin samplaí iolraithe le linn oiliúna, mar sin is féidir leis rud éigin a ghiniúint a mheaitseálann patrún le "toradh iolraithe," ach níl aon inneall uimhríochta aige.

Sin an fáth a ndéanann LLManna seachmall go muiníneach. Níl siad ag insint bréag (a mbeadh eolas ar an bhfírinne ag teastáil chuige sin). Tá siad ag críochnú patrún. Má chuireann úsáideoir ceist a fhuaimeann mar go mba chóir go mbeadh freagra uirthi, gineann an múnla rud éigin a fhéachann cosúil le freagra. Ní féidir leis idirdhealú a dhéanamh idir críochnú patrún agus cruinneas fíorasach toisc nach bhfuil aon mheicníocht fíoraithe aige.

Balla na Dlíthe Scálaithe

Ar feadh blianta, chreid taighdeoirí AI go réiteodh an fhadhb seo í féin. Léirigh na "Dlíthe Scálaithe" (Kaplan et al. 2020, Hoffmann et al. 2022) caidrimh intuartha idir méid an mhúnla, sonraí oiliúna, ríomh, agus feidhmíocht. Bhí an impleacht mealltach: déan na múnlaí níos mó, tabhair níos mó sonraí dóibh, agus tiocfaidh réasúnaíocht chun cinn.

Táimid tar éis an balla a bhualadh anois.

Is timpeall 1.8 trilliún paraiméadar i nGPT-4. Tá Claude 3 Opus, Gemini Ultra, agus samhlacha ceannródaíocha eile sa raon céanna. Cosnaíonn rith oiliúna na céadta milliún dollar. Ídíonn siad an oiread cumhachta le cathracha beaga. Agus fós, leanann an fhadhb bhunúsach: ní féidir leis na samhlacha seo uimhríocht il-dhigiteach a dhéanamh go hiontaofa fós, déanann siad seachmall le muinín, agus teipeann orthu i réasúnú loighciúil bunúsach.

Is féidir linn níos mó sraitheanna a chur leis. Is féidir linn níos mó sonraí a chothú. Is féidir linn braislí GPU níos mó a thógáil. Ach níl réasúnú níos fearr á fháil againn. Tá aithris phatrún níos fearr á fháil againn. Is éan é pearóid níos mó fós.

Léirigh taighde 2024 ó Allen Institute for AI go dteipeann fiú na LLManna is forbartha ar phuzail loighce shimplí a fhéadfadh aon leanbh daonna a réiteach, ní toisc go mbíonn easpa sonraí oiliúna acu, ach toisc nach bhfuil an ailtireacht acu le haghaidh tátal loighciúil. Ní féidir leat cumais Chórais 2 a fháil trí Chóras 1 a scálú. Is paraidímí ríomhaireachta bunúsacha difriúla iad.

Filleadh na hIntleachta Siombailí

Chun tuiscint a fháil ar an áit a bhfuil an AI ag dul, ní mór dúinn tuiscint a fháil ar an áit ar tháinig sé. Roimh réabhlóid an fhoghlama dhomhain, sular tháinig líonraí néaracha chun cinn mar an ceannasach, bhí paraidím eile ann: an Intleacht Shaorga Siombailí, ar a dtugtar "AI Sean-aimseartha Mhaith" (GOFAI) uaireanta.

Ba é an AI Siombalach an cur chuige ba mhó a bhí i réim ó na 1950idí go dtí na 1990idí. Níor úsáid sé líonraí néaracha. Ina ionad sin, d'úsáid sé rialacha follasacha, crainn loighce, ontologies, gramadaí foirmiúla, agus graif eolais. Léirigh sé eolas mar shiombailí agus d'oibrigh sé ar na siombailí sin de réir rialacha loighciúla.

D'fhéadfadh córas AI Siombalach le haghaidh diagnóis leighis rialacha a bheith aige mar: "MÁ tá fiabhras ar othar AGUS tá casacht air AGUS an fad níos mó ná 7 lá ANSIN smaoinigh ar niúmóine le dóchúlacht 0.7." D'fhéadfadh sé na rialacha seo a cheangal le chéile, a réasúnaíocht a rianú, agus a mhíniú go beacht cén fáth ar tháinig sé ar aon chonclúid.

Bhí airíonna iontacha ag an AI Siombalach:

• Foirfe ag loighic: Má insíonn tú do chóras siombalach go bhfuil "Gach duine so-ghabhálach" agus "Is duine é Sócraitéas," tiocfaidh sé ar an gconclúid le cinnteacht 100% go bhfuil "Sócraitéas so-ghabhálach." Ní dhéanann sé seachmall. Ní dhéanann sé buille faoi thuairim. Cruthaíonn sé.
• Go hiomlán in-mhínithe: Tá cosán cruthúnais inrianaithe ag gach conclúid. Is féidir leat "cén fáth" a iarraidh ag aon phointe agus díorthú foirmiúil a fháil.
• Ceartacht ráthaithe: Maidir le fearainn dea-shainithe le rialacha iomlána, is féidir córais shiombalacha a fhíorú go matamaiticiúil chun aschuir chearta a tháirgeadh i gcónaí.

Mar sin cén fáth ar theip ar an AI Siombalach? Cén fáth ar thréig an réimse é ar son líonraí néaracha?

Is é an freagra ná leochaileacht. Éilíonn córais shiombalacha ar dhaoine na rialacha go léir a ionchódú de láimh. D'oibrigh sé seo don fhicheall (rialacha seasta, stáit chríochnaithe) ach theip sé go tubaisteach do thascanna domhain oscailte. Ní féidir leat tacar rialacha IF/THEN a scríobh a aithníonn cat i ngach coinníoll soilsithe, staidiúir, clúdach, agus cáilíocht íomhá is féidir. Tá an fíordhomhan ró-phraiseach, ró- débhríoch, ró-ardtoiseach do rialacha lámhdhéanta.

Tugadh "Bréag an Eolais a Fháil" air seo. Bhí ar shaineolaithe daonna na rialacha go léir den domhan a chlóscríobh de láimh, agus tharla sé go raibh rialacha gan teorainn ag an domhan. Sheachnaigh líonraí néaracha é seo trí phatrúin a fhoghlaim go díreach ó shonraí.

An Sintéis: AI Néara-Shiombalach

Seo an léargas atá ag athmhúnlú na hintleachta saorga: ní gá dúinn rogha a dhéanamh idir Néaracha agus Siombalach. Is féidir linn iad a chomhcheangal.

AI Néara-Shiombalach is paraidím ailtireachta é a shannann gach tasc don chomhpháirt is fearr a oireann dó:

• An Chomhpháirt Néarach (Dearcadh): Láimhseálann sí an t-ionchur céadfach trína chéile, neamhstruchtúrtha. Féachann sí ar an domhan (íomhánna, fuaim, téacs, sonraí ó bhraiteoirí) agus tiontaíonn sí é ina shiombail struchtúrtha ar féidir leis an gcóras réasúnaíochta iad a phróiseáil. Is é Córas 1 í: tapa, comhthreomhar, láidir i gcoinne torainn.
• An Chomhpháirt Shiombalach (Réasúnaíocht): Láimhseálann sí an loighic, na rialacha, an mhatamaitic, na srianta, an fíorú. Tógann sí na siombailí ón líonra néarach agus próiseálann sí go cinntitheach iad de réir rialacha foirmiúla. Is é Córas 2 í: d'aon ghnó, seicheamhach, cruthaitheach go cinnte.

Tugann an teaglaim seo cruas agus déine duit araon. Láimhseálann an chomhpháirt néarach débhríocht an domhain fhíor (botúin chló i dtéacs, torann i bhfuaim, éagsúlachtaí in íomhánna). Cinntíonn an chomhpháirt shiombalach go mbíonn do réasúnaíocht ráthaithe ceart a luaithe a bhíonn siombailí glana agat.

Ní smaoineamh nua é seo. Tá taighdeoirí ag iniúchadh cur chuige néar-shiombalach le blianta fada. Ach tá dul chun cinn le déanaí tar éis é a dhéanamh praiticiúil ar scála mór den chéad uair. Agus tá an cur chun feidhme is forbartha den pharaidím seo tógtha ag Dweve trínár n-ailtireacht Binary Constraint Discovery.

Conas a Chuirfidh Dweve AI Néara-Shiombalach i bhFeidhm

Is é ailtireacht Dweve an cur i bhfeidhm is airde chun cinn de phrionsabail néara-shiombalacha i dtáirgeadh inniu. Seo mar a oibríonn sé:

An Ciseal Braistinte: Próiseáil Ionchuir Néarúil

Nuair a thagann sonraí isteach sa chóras Dweve (téacs, íomhánna, fuaim, sonraí struchtúrtha), téann siad ar dtús trínár 31 Aisghabhálaí Gné Braistinte. Is comhpháirteanna néarúla iad seo atá optamaithe chun sonraí céadfacha amha a thiontú ina n-ionadaíochtaí struchtúrtha. Láimhseálann siad an t-ionchur messy ón bhfíorshaol nach féidir le córais shiombalacha próiseáil go díreach: botúin chlóscríbhneoireachta, earráidí OCR, torann íomhá, saobhadh fuaime, débhríocht teanga nádúrtha.

Go ríthábhachtach, ní dhéanann an ciseal braistinte iarracht "réasúnú" a dhéanamh ar an ionchur. Is é an t-aon phost atá aige ná eastóscadh agus struchtúrú. Tiontaíonn sé "Is é cúig mhilliún euro an caipín dliteanais dá dtagraítear in Alt 4.2" ina shiombailí struchtúrtha: liability_cap = 5000000, currency = EUR, reference = section_4_2. Is tasc é seo atá foirfe do mheaitseáil phatrúin néarúil.

An Ciseal Ródaithe: Roghnú 456 Sainchórais Réimse

Chomh luath agus a bhíonn an t-ionchur struchtúrtha, cinneann córas ródaithe Permuted Agreement Popcount (PAP) de chuid Dweve Loom cé acu de na 456 tacar srianta speisialaithe atá ábhartha. Seo an áit a bhfuil Dweve difriúil go bunúsach ó chur chuige caighdeánacha meascán-sainchórais-réimse.

Úsáideann samhlacha traidisiúnta MoE líonraí ródaithe foghlamtha a bhfuil na fadhbanna céanna acu agus atá ag comhpháirteanna néarúla eile: tá siad dóchasach, ní cinntitheach. Is féidir leo ceisteanna a ródú chuig sainchórais réimse míchearta bunaithe ar mheaitseáil phatrúin superficial.

Úsáideann ródú PAP brath patrún struchtúrach a théann thar chosúlacht shimplí. Braitheann sé nuair a bhíonn "na siombailí cearta i láthair ach i gcaidrimh mhíchearta" agus seachnaíonn sé ródú dearfach bréagach. Tá an cinneadh ródaithe féin inbhainistithe: is féidir leat a fheiceáil go díreach cén fáth ar ródaíodh ceist chuig an sainchóras anailíse conarthaí dlí seachas chuig an sainchóras diagnóis leighis.

An Ciseal Réasúnaíochta: Fionnachtain Srianta Dénártha

Seo é an nuálaíocht lárnach. In ionad eolas a léiriú mar mheáchain líonra néarúil (veicteoirí snámhphointe ardtoiseach nach féidir a iniúchadh ná a fhíorú), léiríonn Dweve eolas mar shrianta dénártha criostalaithe.

Is caidreamh loighciúil é srian atá aimsithe ó shonraí agus fíoraithe a bheith iontaofa. Mar shampla:

• "I gconarthaí bailí M&A, ní mór go mbeadh an caipín dliteanais níos mó ná nó cothrom leis an uasmhéid cúitimh"
• "I dtaifid othar, má tá an diagnóis niúmóine AGUS cóireáil antaibheathach X, AN SIN ní mór go mbeadh an fad >= 7 lá"
• "I ráitis airgeadais, ní mór go mbeadh sócmhainní iomlána cothrom le dliteanais iomlána móide cothromas scairshealbhóirí"

Ní fhoghlaimítear na srianta seo mar phatrúin intuigthe i meáchain néarúla. Aimsítear, fíoraítear agus stóráiltear iad go sainráite mar rialacha loighciúla. Le linn tátail, cuireann an réiteoir srianta i bhfeidhm go cinntitheach iad. Má sháraíonn an t-ionchur srian, cuireann an córas in iúl é le cinnteacht mhatamaiticiúil, ní le muinín staitistiúil.

Sin an fáth nach ndéanann córais Dweve seachmall. Tá seachmall dodhéanta nuair is é gach aschur toradh rialacha loighciúla fíoraithe a chur i bhfeidhm ar ionchuir struchtúrtha. Ní féidir leis an gcóras ach aschuir a tháirgeadh atá intuigthe óna shrianta. Mura dtacaíonn aon srian le dearbhú, deir an córas "níl a fhios agam" seachas rud éigin inchreidte a chumadh.

An Ciseal Aschuir: Torthaí Inmhínithe

Tagann díorthú iomlán le gach aschur Dweve. Is féidir leat "cén fáth" a iarraidh ag aon phointe agus an slabhra beacht srianta a fháil a tháirg an chonclúid. Ní míniú iar-hoc é seo a ghineann "modúl míniúcháin" ar leith (mar a dhéanann go leor uirlisí inmhínithe AI). Is é an cosán réasúnaíochta iarbhír é.

Do thionscail rialáilte (cúram sláinte, airgeadas, dlí), tá sé seo claochlaitheach. Is féidir le hiniúchóirí a fhíorú go bhfuil na conclúidí ceart trí sheiceáil a dhéanamh ar dhíorthú na srianta. Is féidir le rialtóirí a dheimhniú go leanann cinnteoireacht loighic cheadaithe. Is féidir le húsáideoirí tuiscint a fháil go beacht ar an bhfáth ar tháinig an córas ar a chonclúid.

Sampla: Tacaíocht Diagnóis Leighis

Smaoinigh ar chóras AI a thacaíonn le dochtúirí i seomra éigeandála. Is é an cúram ná diagnóisí féideartha a mholadh bunaithe ar chomharthaí an othair, ar a stair, agus ar thorthaí tástálacha.

Cur Chuige Íon LLM: Clóscríobhann an dochtúir cur i láthair an othair isteach i ChatGPT. Gineann an tsamhail rud éigin mar: "Bunaithe ar na comharthaí a ndearnadh cur síos orthu, d'fhéadfadh sé go bhfuil niúmóine, bronchitis, nó COVID-19 ar an othar. Molaim X-ghathú cliabhraigh agus tástáil PCR." Fuaimeann sé seo cabhrach, ach níl aon bhealach ag an tsamhail a cuid moltaí a fhíorú i gcoinne fianaise leighis iarbhír. Tá sí ag meaitseáil patrún ó shonraí oiliúna a d'fhéadfadh faisnéis as dáta nó mhíchruinn a bheith iontu. Ní féidir léi a mhíniú cén fáth ar thug sí tosaíocht do niúmóine thar bronchitis. D'fhéadfadh sí riocht annamh ach criticiúil a chailleann nach n-oireann do phatrúin choitianta.

Cur Chuige Néar-Shiombalach Dweve:

1. Dearcadh Néarach: Próiseálann an córas ionchur teanga nádúrtha an dochtúra, ag baint amach comharthaí struchtúrtha (fiabhras: 39.2C, casacht tháirgiúil, fad: 8 lá), stair an othair (diaibéiteach, 67 mbliana d'aois, neamh-chaiteoir), agus torthaí tástálacha (WBC ardaithe, CRP 85 mg/L).
2. Ródú speisialtóra réimse: Gníomhaíonn ródú PAP an tacar srianta leighis scamhógacha, an tacar srianta galar tógálach, agus an tacar srianta fachtóirí riosca d'othair scothaosta.
3. Réasúnú Srianta: Cuireann an córas srianta leighis fíoraithe i bhfeidhm:
   • Srian 1: "Casacht tháirgiúil + fiabhras > 38C + fad > 7 lá + WBC ardaithe molann ionfhabhtú riospráide íochtarach"
   • Srian 2: "Othar diaibéiteach + aois > 65 + ionfhabhtú riospráide méadaíonn riosca niúmóine faoi fhachtóir 3.2"
   • Srian 3: "CRP > 50 mg/L i gcur i láthair riospráide cuireann bronchitis víreasach as an áireamh le muinín 94%"
4. Aschur: "Diagnóis: Niúmóine pobail-fhaighte (ard-mhuinín). Réasúnú: Comhlíonann an t-othar critéir CURB-65 le haghaidh déine mheasartha. Méadaíonn stádas diaibéiteach agus aois an riosca aimhréidh. Moltar X-ghathú cliabhraigh chun deimhniú, tús a chur le antaibheathaigh eimpíreacha de réir treoirlínte áitiúla. Tá an slabhra réasúnaithe iomlán ar fáil le hathbhreithniú."

Ní hé an cruinneas amháin an difríocht. Is í an chuntasacht í. Is féidir leis an dochtúir cliceáil tríd an slabhra réasúnaithe agus gach céim a fhíorú i gcoinne a gcuid eolais leighis féin. Má rinne an córas earráid, is féidir leo a aithint go díreach cá háit. Má fhorbraíonn aimhréidh ar an othar, is féidir le foireann dhlíthiúil an ospidéil iniúchadh a dhéanamh go díreach ar an bhfaisnéis a bhí ag an gcóras agus conas a réasúnaigh sé.

Sampla: Teagasc AI san Oideachas

Smaoinigh ar theagascóir AI atá ag cabhrú le dalta le halgéabar. Uaslódálann an dalta grianghraf dá chuid obair bhaile lámhscríofa a thaispeánann a iarracht 2x + 5 = 15 a réiteach.

Cur Chuige Íon LLM: Féachann an tsamhail ar an íomhá agus gineann aiseolas spreagthach: "Iarracht iontach! Tá do chur chuige réasúnta. Coinnigh ag cleachtadh agus tiocfaidh feabhas ort san algaéabar." Tá sé seo gan úsáid. Ní féidir leis an tsamhail a fhíorú i ndáiríre an bhfuil obair an dalta ceart mar níl inneall algaéabair aici. Tá sí ag giniúint "aiseolas cosúil le múinteoir" bunaithe ar phatrúin, ní ar fhíorú matamaiticiúil.

Cur Chuige Dweve Neuro-Symbolic:

1. Dearcadh Néarach (Fís): Próiseálann samhail fís ríomhaire (ceann de na 31 eastóscóir gné) an íomhá lámhscríofa agus tiontaíonn sí go nodaireacht mhatamaiticiúil struchtúrtha í: Scríobh an dalta "2x + 5 = 15, 2x = 10, x = 6".
2. Fíorú Siombalach: Seiceálann an réiteoir srianta algaéabair an obair céim ar chéim:
   • Céim 1: 2x + 5 = 15. Ceart (fadhb tugtha).
   • Céim 2: 2x = 10. Ceart (dhealaigh 5 ón dá thaobh).
   • Céim 3: x = 6. MÍCHEART. 10/2 = 5, ní 6.
3. Aschur: "Tá do shocrú agus do chéad chéim ceart. I gCéim 3, roinn tú 10 ar 2 ach scríobh tú 6 in ionad 5. Is cosúil gur botún uimhríochta é seo seachas earráid choincheapúil. Bain triail as an roinnt arís: cad é 10 / 2?"

Soláthraíonn an córas aiseolas spriocdhírithe, fíoraithe go matamaiticiúil. Tá a fhios aige go díreach cá dtarlaíonn an earráid agus is féidir leis idirdhealú a dhéanamh idir míthuiscintí coincheapúla (a dteastaíonn leigheas difriúil uathu) agus botúin uimhríochta (nach dteastaíonn uathu ach leid cheartaithe).

Cén Fáth a Bhfuil Srianta Dénártha Tábhachtach

B'fhéidir go n-iontas tú: cén fáth a dtugann Dweve "Binary Constraint Discovery" air seo seachas "AI néar-shionbalach" amháin? Cad atá speisialta faoin ngné dhénártha?

Léiríonn córais AI shiombalacha thraidisiúnta eolas mar mheáchain snámhphointe, dáiltí dóchúlachta leanúnacha, nó foirmlí loighciúla casta. Tá fadhb bhunúsach ag baint leis na léirithe seo: tá siad costasach le stóráil, costasach le ríomh, agus deacair le fíorú.

Is é cúil bheag Dweve ná srianta a léiriú i bhfoirm dhénártha ag baint úsáide as ríomh 1-giotán le hoibreoirí giotánacha (XNOR, AND, OR, POPCNT). Ní teorannú é seo ach buntáiste:

• Comhbhrú 32x: Tógann srian dénártha 1 ghiotán i gcás ina n-úsáideann córais thraidisiúnta snámhphointí 32-giotán.
• Éifeachtúlacht fuinnimh: Ídíonn oibríochtaí dénártha thart ar 0.15 picseoigil i gcomparáid le thart ar 4.6 picseoigil don snámhphointe, feabhas 30x.
• Simplíocht fíoraithe: Bíonn srianta dénártha sásta (1) nó sáraithe (0). Níl aon débhríocht ann, níl aon "is dócha go bhfuil sé sásta," níl aon earráidí cruinnis snámhphointe ann.
• Leas iomlán a bhaint as crua-earraí: Tá treoracha an-optamaithe ag LAPanna nua-aimseartha d'oibríochtaí dénártha. Tá 1,937 halgartam Dweve i Dweve Core deartha go sonrach chun leas a bhaint as treoracha SIMD cosúil le AVX-512 le haghaidh comhthreomhaireachta ollmhór.

Is é an toradh ná córas ar féidir leis réasúnaíocht loighciúil sofaisticiúil a dhéanamh ar chodán de chostas agus d'fhuinneamh na gcur chuige traidisiúnta agus infhíoraitheacht iomlán á coinneáil aige.

An Múscailt Fhiontraíochta

Le dhá bhliain anuas, tá rírá ar fad i Silicon Valley. Dheifrigh gach fiontar chun LLManna a imscaradh, ag súil le gnóthachain tháirgiúlachta claochlaitheacha. Bhí an réaltacht uafásach.

Fuair suirbhé in 2024 le Deloitte go dteipeann ar 68% de thionscadail AI fiontar na hionchais a chomhlíonadh. Ba iad na príomhchúiseanna a luadh ná hallucination (42%), neamhábaltacht aschuir a fhíorú (38%), agus imní chomhlíonta (35%). Is iad seo go díreach na fadhbanna nach féidir le cur chuige íon néarúil a réiteach.

Fuair staidéar chur i bhfeidhm AI McKinsey in 2024 go bhfuil cuideachtaí ag éileamh níos mó "AI cuntasach" do chinntí ard-geallta. Teastaíonn uathu córais ar féidir leo a réasúnaíocht a mhíniú, oibriú laistigh de shrianta sainithe, agus rianta iniúchta a sholáthar do chomhlíonadh rialála. Seo é an paraidím néar-shionbalach.

Tá an margadh ag athrú. Cé go leanann gnólachtaí nuathionscanta ag saothrú an chéad GPT-5 eile, tá fiontair ag infheistiú go ciúin in ailtireachtaí hibrideacha ar féidir muinín a bheith astu i ndáiríre. Ní hé an cheist a thuilleadh "cé chomh hiontach is atá an taispeántas?" ach "an féidir linn cáil ár gcuideachta a chur i ngeall ar an aschur seo?"

An Ghaoth Chúil Rialála

Éilíonn an tAcht AI AE, a thiocfaidh i bhfeidhm go hiomlán in 2026, go sainráite insintitheacht agus maoirseacht dhaonna do chórais AI ardriosca. Ordaíonn Airteagal 13 go ndéanfaí córais AI a "dhearadh agus a fhorbairt ar bhealach a chinntíonn go bhfuil a n-oibriú trédhearcach go leor chun go mbeidh úsáideoirí in ann aschur an chórais a léirmhíniú agus é a úsáid go cuí."

Teipeann ar líonraí néarúla íona an tástáil seo go bunúsach. Ní féidir leat aschur trasfhoirmeora 1.8 trilliún paraiméadar a "léirmhíniú" ar aon bhealach bríoch. Tá na meáchain dothuigthe. Tarlaíonn an réasúnaíocht (mar atá sí) i spásanna leabaithe ardtréimhseacha nach féidir le haon duine a shamhlú ná a fhíorú.

Tá córais néar-shionbalacha, i gcodarsnacht leis sin, deartha le haghaidh insintitheachta. Tagann cruthúnas le gach conclúid. Tagraíonn gach cinneadh do shrianta sainráite. Is féidir le hiniúchóirí comhlíonadh a fhíorú ní trí mhuinín a bheith acu as an AI, ach trína dhíorthuithe loighciúla a sheiceáil.

Éilíonn Airteagal 22 GDPR cheana féin "faisnéis bhríoch faoin loighic atá i gceist" do chinnteoireacht uathoibrithe a dhéanann difear do dhaoine aonair. Éilíonn rialacháin airgeadais (Basel IV, MiFID II) insintitheacht do thrádáil algartamach agus do chinntí creidmheasa. Éilíonn rialacháin cúram sláinte (treoir FDA ar fheistí leighis AI/ML) bailíochtú cliniciúil ar réasúnaíocht AI.

Níl an timpeallacht rialála naimhdeach don AI. Tá sí naimhdeach don AI nach féidir a mhíniú. Níl ailtireachtaí néar-shionbalacha níos fearr go teicniúil amháin; tá siad réidh ó thaobh rialála de.

Ag Tógáil an Todhchaí

Ag Dweve, táimid ag tógáil i dtreo na huaire seo ó bunaíodh muid. Cé go raibh an chuid eile den tionscal gafa le cogaí scálaithe, ag traenáil trasfhoirmeoirí níos mó agus níos mó ar shonraí níos mó fós, bhí muid ag infheistiú i réiteoirí srianta, i ngraif eolais, i bhfíorú foirmiúil, agus sna halgartaim bhunúsacha a dhéanann AI néar-shionbalach praiticiúil ar scála.

Ní 456 billiún paraiméadar atá inár n-ailtireacht 456-rialtóir-speisialtóir in Dweve Loom. Is éard atá ann ná 456 tacar srianta speisialaithe, gach ceann ina bhfuil 64-128MB de shrianta comhchosúla fíoraithe. Ní ghníomhaíonn ach 4-8 díobh d'aon cheist ar leith, ag cinntiú éifeachtúlachta agus ábharthachta.

Soláthraíonn ár 1,937 n-algartam in Dweve Core an bonn ríomhaireachtúil, optamaithe d'oibríochtaí comhchosúla ar gach mór-ardán crua-earraí: LAP (SSE2, AVX2, AVX-512, ARM NEON), GPU (CUDA, ROCm, Metal, Vulkan), FPGA, agus fiú WebAssembly le haghaidh feidhmiú brabhsálaí.

Cinntíonn ár bpíblíne eipistéimeolaíoch seacht-gcéim in Dweve Spindle go bhfíoraítear eolas a théann isteach sa chóras sula n-éiríonn sé ina shrianta. Gabhann an t-ordlathas 32-ghníomhaire earráidí, fíoraíonn sé foinsí, agus coinníonn sé cáilíocht eolais.

Ní ailtireacht níos fearr amháin é seo. Fealsúnacht dhifriúil atá ann. Creidimid nach é todhchaí an AI ná aschuir a ghineann cuma phlásúil a tháirgeadh níos tapúla agus níos saoire. Is éard atá i gceist ná córais a thógáil ar féidir muinín a bheith iontu i ndáiríre, córais ar féidir leo a gcuid oibre a thaispeáint, córais ar féidir le fiontair a ngnóthaí a chur iontu.

Cad a Thagann Ina Dhiaidh

Ní tuar é an athbheochan néar-shionbalach. Tá sé ag tarlú cheana féin. D'fhoilsigh DeepMind de chuid Google taighde ar chur chuige néar-shionbalacha. Tá infheistíocht déanta ag Meta AI i gcórais réasúnaíochta hibrideacha. Tá IBM Watson, a bhí chun tosaigh i gcórais shaineolacha luatha, ag filleadh ar chomhtháthú AI siombalach.

Ach is tionscadail taighde iad seo. Córas táirgeachta is ea Dweve. Tá ár n-ardán ag próiseáil ualaí oibre fiontar inniu, ag seachadadh na hiontaofachta nach féidir le cur chuige íon néarúil a mheaitseáil.

Ní hé an cheist do cheannairí AI fiontar an bhfuil cur chuige néar-shionbalach le glacadh acu. Tá sé sin dosheachanta cheana féin mar gheall ar riachtanais rialála agus éilimh iontaofachta. Is í an cheist an é an cumas seo a thógáil go hinmheánach (iarracht ilbhliantúil a éilíonn saineolas speisialaithe), fanacht le mór-theicneolaíocht é a tháirgeadh (ag géilleadh buntáiste iomaíoch), nó comhpháirtíocht a dhéanamh le cuideachta a bhfuil na fadhbanna deacra réitithe aici cheana féin.

Comhcheanglaíonn Dweve cumhacht aireachtála líonraí néaracha le déine loighciúil réasúnaíochta siombalaí. Láimhsímid an fhíorshaol praiseach (botúin chló, torann, débhríocht) agus ráthaíocht mhatamaiticiúil á cinntiú againn go mbíonn an cheartacht i gceist do chinntí criticiúla. Déanaimid é seo le 96% níos lú fuinnimh ná AI traidisiúnta, rud a chuireann ar chumas imscaradh ar ghnáthchrua-earraí gan bonneagar ollmhór GPU.

Má tá AI de dhíth ar do ghnó ar féidir leis réasúnú a dhéanamh, ní hamháin freagairt, ba chóir dúinn labhairt. Má tá do thionscal rialaithe agus má tá cinnteoireacht inláithrithe uait, táimid réidh. Má dódh tú le chatbots a bhíonn ag déanamh siabhránachtaí agus más mian leat AI ar féidir leat muinín a bheith agat as i ndáiríre, thóg muid é seo duitse.

Ní Córas 1 níos mó é todhchaí an AI. Is é sintéis an dá chóras chognaíoch é: an tEalaíontóir agus an Cuntasóir, an Tuisceana agus an Loighic, an Néarógach agus an Siombalach.

Tá an Renaissance anseo. Agus is é Dweve atá á threorú.