Ir-Rinaxximent Newro-Simboliku: Għaliex il-Futur tal-AI Jgħaqqad l-Intuwizzjoni mal-Loġika

It-tagħlim fil-fond laqat ħajt. Jista’ jikteb poeżija imma ma jistax jagħmel il-matematika. Jalluċina b’kunfidenza u jirraġuna bil-vibes. Il-futur hu ta’...

Ir-Rinaxximent Newro-Simboliku: Għaliex il-Futur tal-AI Jgħaqqad l-Intuwizzjoni mal-Loġika

L-Arkitettura tal-Intelliġenza tal-Bniedem

Fl-2002, il-psikologu Daniel Kahneman ta l-lezzjoni tiegħu tal-Premju Nobel fi Stokkolma. Għal udjenza ta' ekonomiisti li kienu jistennew ekwazzjonijiet u graffi, minflok qalilhom stejjer. Stejjer dwar sewwieqa tat-taxis, plejers tal-baskitbol, u nies li jieħdu deċiżjonijiet terribbli b'kunfidenza sħiħa. It-teżi ċentrali tiegħu, żviluppata fuq 30 sena mal-kollaboratur tard tiegħu Amos Tversky, kienet sempliċi iżda rivoluzzjonarja: il-moħħ tal-bniedem jaħdem permezz ta' żewġ sistemi konjittivi fundamentalment differenti, u ċ-ċiviltà kollha tagħna nbniet mit-tensjoni bejniethom.

Kahneman sejħilhom Sistema 1 u Sistema 2. Il-fehim ta' dawn is-sistemi mhuwiex biss filosofija akkademika. Huwa ċ-ċavetta biex nifhmu għaliex l-AI attwali qed tonqos u x'irid jiġi wara.

Sistema 1 (Ħsieb Mgħaġġel) hija intuwittiva, emozzjonali, awtomatika, u subkonxja. Taħdem kontinwament mingħajr sforz. Din hija s-sistema li tuża biex tagħraf wiċċ ħabib f'folol, taqbad ballun mingħajr ma tikkalkula t-trajettorji, issuq rotta familjari waqt li moħħok jintilef x'imkien ieħor, tiskopri rrabja fil-leħen ta' xi ħadd minn sillaba waħda, jew tifhem sentenza mingħajr ma tipparsja l-grammatika b'mod konxju. Is-Sistema 1 hija mgħaġġla għaliex m'għandhiex għażla. Evolviet għas-sopravivenza f'dinja fejn il-ħesja kienet tfisser il-mewt. Tħoss it-tweġiba qabel ma tkun tista' tispjega għaliex.

Sistema 2 (Ħsieb Bil-mod) hija loġika, deliberattiva, kalkolanti, u konxja. Teħtieġ sforz u attenzjoni. Din hija s-sistema li tuża biex issolvi 17 x 24 f'rasek, timla formola tat-taxxa b'mod korrett, tiċċekkja kuntratt legali għal klawżoli moħbija, tivverifika li prova matematika hija valida, jew tqabbel il-merti relattivi ta' żewġ offerti ta' xogħol. Is-Sistema 2 hija bil-mod għaliex hija rigoruża. Tikkalkula t-tweġiba u tista' turi l-ħidma tagħha. Hija s-sistema tax-xjenza, tal-inġinerija, tal-liġi, u tal-loġika.

Hawnhekk hemm l-għarfien kruċjali ta' Kahneman: Is-Sistema 1 taħdem kontinwament u ma tistax tintefa. Is-Sistema 2 hija għażżiena u tattiva biss meta tkun imġiegħla. Meta tara l-ekwazzjoni 2+2=?, is-Sistema 1 minnufih tipprovdi "4" mingħajr ma tinvolvi s-Sistema 2. Iżda meta tara 17x24=?, is-Sistema 1 ma tistax tgħinek (sakemm ma tkunx savant), u s-Sistema 2 trid tieħu f'idejha b'xogħol iebes.

L-interazzjoni bejn dawn is-sistemi tispjega kważi l-fallimenti konjittivi kollha tal-bniedem. Meta s-Sistema 1 tipproduċi tweġiba li "tħossha" tajba, is-Sistema 2 spiss taċċettaha mingħajr verifikazzjoni. Hekk jaħdmu l-illużjonijiet ottiċi. Hekk jaħdmu l-frodisti. Hekk jaħdmu l-preġudizzji konjittivi. Aħna nħalltu s-sentiment ta' li nafu mal-għarfien attwali.

Iż-Żewġ Sistemi ta' Kahneman: L-Arkitettura tal-Intelliġenza tal-Bniedem Għaliex l-intelliġenza artifiċjali teħtieġ kemm il-perċezzjoni KIF UKOLL ir-raġunament biex tikseb l-affidabbiltà SISTEMA 1: L-INTUIZZJONI "Il-Ħsieb Mgħaġġel" (Kahneman 2011) KARATTERISTIĊI Operazzjoni awtomatika u mingħajr sforz Rikonoxximent ta' mudelli b'mod parallel Emozzjonali u assoċjattiv Ma jistax jitfi b'mod konxju Jopera fuq "vibes" u sentimenti EĊĊELLENTI FIH + Rikonoxximent tal-wiċċ (0.1 sek) + Fehim tal-lingwa + Brainstorming kreattiv + L-iskoperta ta' sinjali soċjali ĦAŻIN FIH - Kalkolu matematiku - Deduzzjoni loġika SISTEMA 2: IL-LOĠIKA "Il-Ħsieb Bil-mod" (Kahneman 2011) KARATTERISTIĊI Operazzjoni deliberata u b'sforz Segwitu ta' regoli b'mod sekwenzjali Loġiku u algoritmiku Jeħtieġ attenzjoni konxja Jista' juri l-ħidma tiegħu (spjegabbli) EĊĊELLENTI FIH + Provi matematiċi + Analiżi ta' klawżoli kuntrattwali + Verifikazzjoni formali + Raġunament pass pass ĦAŻIN FIH - L-immaniġġjar ta' ambigwità/storbju - L-ipproċessar ta' data mhux strutturata DWEVE: NEWRO-SIMBOLIKU L-Iskoperta ta' Restrizzjonijiet Binarji L-ARKITETTURA Saff ta' perċezzjoni newrali (input) Saff ta' raġunament ta' restrizzjonijiet (qalba) 456 sistema speċjalizzata fid-dominju Routing PAP għall-assenjazzjoni tal-kompiti Deċiżjonijiet 100% spjegabbli KAPAĊITAJIET + Jimmaniġġja input tad-dinja reali mħawwad + Verifikabbli matematikament + L-ebda alluċinazzjoni possibbli + Traċċi ta' verifika kompluti IL-VANTAĠĠ TA' DWEVE L-aħjar taż-żewġ dinjiet: robust U rigoruż L-intelliġenza artifiċjali vera teħtieġ IŻ-ŻEWĠ sistemi konjittivi jaħdmu flimkien, mhux biss Sistema 1 akbar
Ir-riskji f'"The Architecture of Human Intelligence" isiru maniġġabbli ladarba jkollhom isem u sid.

Kif Silicon Valley Bniet Sistema 1 Ġganteska

Għall-aħħar għaxar snin, l-industrija kollha tal-AI kienet ossessjonata bil-bini ta' Sistema 1. In-Netwerks Newrali Profondi, u b'mod speċifiku l-arkitetturi Transformer li jħaddmu lil ChatGPT, Claude, Gemini, u kważi kull mudell ieħor "frontier" tal-AI, huma essenzjalment magni kbar tal-intuwizzjoni bbażati fuq is-silikon.

Jaħdmu permezz ta' tqabbil ta' mudelli f'dimensjonijiet għoljin. Meta jingħataw sekwenza ta' input, ibassru t-token li jmiss abbażi ta' korrelazzjonijiet statistiċi mgħallma minn triljuni ta' eżempji ta' taħriġ. Ma "jifhmux" f'ebda sens sinifikanti. Jagħrfu mudelli u jbassru liema mudelli tipikament isegwu mudelli oħra.

Dan mhux insult. Din hija deskrizzjoni teknika. U għall-kompiti ta' Sistema 1, huma tassew notevoli. Il-Mudelli Lingwistiċi Kbar jistgħu jiktbu poeżija li ċċaqlaq lin-nies sad-dmugħ, jiġġeneraw immaġini surreali li jirbħu kompetizzjonijiet tal-arti, jibrainjaw soluzzjonijiet kreattivi għal problemi miftuħa, u jkomplu konversazzjonijiet li jħossuhom sorprendentement umani. Dawn huma eżattament il-kompiti li s-Sistema 1 tal-bniedem teċċella fihom.

Imma hawn il-problema: huma katastrofikament ħżiena fil-kompiti ta' Sistema 2.

Itlob lil LLM pur biex immoltiplika żewġ numri ta' 6 ċifri. X'aktarx jagħtik numru li jidher bħala risposta korretta (għandu n-numru t-tajjeb ta' ċifri, l-ewwel ftit ċifri jistgħu saħansitra jkunu korretti), imma r-risposta tkun matematikament ħażina. Għaliex? Għax il-mudell mhux qed jikkalkula. Qed ibassar kif tidher kalkulazzjoni. Ra miljuni ta' eżempji ta' multiplikazzjoni waqt it-taħriġ, għalhekk jista' jiġġenera xi ħaġa li taqbel mal-mudell ta' "riżultat ta' multiplikazzjoni," imma m'għandu l-ebda magna aritmetika attwali.

Għalhekk l-LLMs jalluċinaw b'kunfidenza. Mhumiex qed jigdbu (li jkun jeħtieġ li jafu l-verità). Qed jikkompletaw mudelli. Jekk utent jagħmel mistoqsija li tinstema' li għandu jkollha risposta, il-mudell jiġġenera xi ħaġa li tidher bħala risposta. Ma jistax jiddistingwi bejn il-kompletazzjoni ta' mudell u l-eżattezza fattwali għax m'għandu l-ebda mekkaniżmu ta' verifikazzjoni.

Il-Ħajt tal-Liġijiet ta' Skalar

Għal snin sħaħ, ir-riċerkaturi tal-AI emmnu li din il-problema kienet se ssolvi ruħha. Il-"Liġijiet ta' Skalar" (Kaplan et al. 2020, Hoffmann et al. 2022) urew relazzjonijiet prevedibbli bejn id-daqs tal-mudell, id-dejta tat-taħriġ, il-kompjutazzjoni, u l-prestazzjoni. L-implikazzjoni kienet seduttiva: agħmel il-mudelli akbar, itmagħhom aktar dejta, u r-raġunament se joħroġ waħdu.

Issa laqatna l-ħajt.

GPT-4 għandu madwar 1.8 triljun parametru. Claude 3 Opus, Gemini Ultra, u mudelli oħra tal-quċċata huma tal-istess daqs. It-taħriġ jiswa mijiet ta' miljuni ta' dollari. Il-konsum tal-enerġija jixbah lil dak ta' belt żgħira. U madankollu l-problema fundamentali tibqa': dawn il-mudelli xorta ma jistgħux jagħmlu aritmetika ta' ċifri multipli b'mod affidabbli, xorta joħolqu informazzjoni b'kunfidenza, u xorta jonqsu fir-raġunament loġiku bażiku.

Nistgħu nżidu aktar saffi. Nistgħu ndaħħlu aktar dejta. Nistgħu nibnu clusters akbar ta' GPUs. Imma aħna mhux qed insiru aħjar fir-raġunament. Qed insiru aħjar fl-imitazzjoni tal-mudelli. Papagall akbar xorta jibqa' papagall.

Ir-riċerka tal-2024 mill-Allen Institute for AI wriet li anki l-aktar LLMs avvanzati jonqsu f'puzzles loġiċi sempliċi li kwalunkwe tifel jista' jsolvi, mhux għax jonqsuhom id-dejta tat-taħriġ, imma għax jonqsihom l-arkitettura għall-inferenza loġika. Ma tistax tikseb kapaċitajiet ta' System 2 billi tiskala System 1. Huma paradigmi komputazzjonali fundamentalment differenti.

Il-Ħajt tal-Liġijiet tal-Iskala: Qligħ Dejjem Jiċkien fir-Raġunament Mudelli akbar itejbu t-tqabbil tax-xejriet imma mhux il-ħila tar-raġunament loġiku 1B 10B 100B 500B 1T+ Parametri tal-Mudell (skala logaritmika) Prestazzjoni Tqabbil tax-Xejriet (Jitjieb mal-iskala) Raġunament Loġiku (Jibqa' fl-istess livell minkejja l-iskala) GPT-2 GPT-3 GPT-4 ID-DISTANZA tikber aktar mal-iskala

Ir-Ritorn tal-AI Simbolika

Biex nifhmu fejn trid tmur l-AI, irridu nifhmu minn fejn ġiet. Qabel ir-rivoluzzjoni tat-tagħlim fil-fond, qabel ma n-netwerks newrali saru dominanti, kien hemm paradigma oħra: l-AI Simbolika, li kultant tissejjaħ "Good Old-Fashioned AI" (GOFAI).

L-AI Simbolika kienet l-approċċ dominanti mis-snin ħamsin sas-snin disgħin. Ma kinitx tuża netwerks newrali. Minflok, kienet tuża regoli espliċiti, siġar loġiċi, ontoloġiji, grammatiki formali, u graffs tal-għarfien. Kienet tirrappreżenta l-għarfien bħala simboli u kienet topera fuq dawk is-simboli skont regoli loġiċi.

Sistema ta' AI Simbolika għad-dijanjosi medika jista' jkollha regoli bħal: "JEKK il-pazjent għandu deni U l-pazjent għandu sogħla U t-tul ta' żmien ikun akbar minn 7 ijiem ALLURA ikkunsidra l-pnewmonja bi probabbiltà ta' 0.7." Din setgħet tqabbad dawn ir-regoli flimkien, issegwi r-raġunament tagħha, u tispjega eżattament għaliex waslet għal kwalunkwe konklużjoni.

L-AI Simbolika kellha proprjetajiet notevoli:

  • Perfetta fil-loġika: Jekk tgħid lil sistema simbolika li "Il-bnedmin kollha huma mortali" u "Socrates huwa bniedem," din tikkonkludi b'ċertezza ta' 100% li "Socrates huwa mortali." Ma tħallix ħerba. Ma tissoponix. Tipprova.
  • Kompletament spjegabbli: Kull konklużjoni għandha triq ta' prova li tista' tiġi rintraċċata. Tista' tistaqsi "għaliex" fi kwalunkwe punt u tikseb derivazzjoni formali.
  • Korrettezza garantita: Għal oqsma definiti sew b'regoli kompluti, is-sistemi simboliċi jistgħu jiġu verifikati matematikament biex dejjem jipproduċu riżultati korretti.

Allura għaliex falliet l-AI Simbolika? Għaliex il-qasam abbandunaha għan-netwerks newrali?

It-tweġiba hija l-fraġilità. Is-sistemi simboliċi jeħtieġu li l-bnedmin jikkodifikaw ir-regoli kollha manwalment. Dan ħadem għaċ-ċess (regoli fissi, stati finiti) iżda falla b'mod katastrofiku għal ħidmiet fid-dinja miftuħa. Ma tistax tikteb sett ta' regoli JEKK/ALLURA li jagħraf qattus fil-kundizzjonijiet kollha possibbli tad-dawl, pożizzjonijiet, oklużjonijiet, u kwalitajiet tal-immaġni. Id-dinja reali hija wisq imħabbla, wisq ambigwa, wisq multidimensjonali għal regoli magħmula bl-idejn.

Dan kien jissejjaħ il-"Konġestjoni tal-Akkwist tal-Għarfien." Esperti umani kellhom jittajpjaw manwalment ir-regoli kollha tad-dinja, u d-dinja rriżultat li għandha għadd infinit ta' regoli. In-netwerks newrali evitaw dan billi tgħallmu l-mudelli direttament mid-dejta.

"The Return of Symbolic AI" huwa ċiklu: osserva, agħżel, aġixxi, u ittestja mill-ġdid.

Is-Sinteżi: AI Newro-Simbolika

Hawnhekk hemm l-għarfien li qed ifassal mill-ġdid l-intelliġenza artifiċjali: m'għandniex għalfejn nagħżlu bejn Newrali u Simbolika. Nistgħu ngħaqqduhom flimkien.

AI Newro-Simbolika hija paradigma arkitettonika li tassenja kull ħidma lill-komponent l-aktar adattat għaliha:

  • Il-Komponent Newrali (Perċezzjoni): Jieħu ħsieb l-input sensorjali mhux organizzat u kumpless. Iħares lejn id-dinja (immaġini, awdjo, test, data minn sensuri) u jibdlha f'simboli strutturati li s-sistema tar-raġunament tista' tipproċessa. Huwa s-Sistema 1: veloċi, parallel, robusta għall-istorbju.
  • Il-Komponent Simboliku (Raġunament): Jieħu ħsieb il-loġika, ir-regoli, il-matematika, il-vinkoli, u l-verifikazzjoni. Jieħu s-simboli min-netwerk newrali u jipproċessahom b'mod deterministiku skont regoli formali. Huwa s-Sistema 2: deliberat, sekwenzjali, korrett b'mod provabbli.

Il-kombinazzjoni tagħtik kemm robustezza kif ukoll rigorożità. Il-komponent newrali jieħu ħsieb l-ambigwità tad-dinja reali (żbalji ta' kitba fit-test, storbju fl-awdjo, varjazzjonijiet fl-immaġini). Il-komponent simboliku jiżgura li ladarba jkollok simboli nodfa, ir-raġunament tiegħek ikun garantit li jkun korrett.

Din mhix idea ġdida. Ir-riċerkaturi ilhom jesploraw approċċi newro-simboliċi għal għexieren ta' snin. Iżda l-avvanzi riċenti għamluha prattika fuq skala kbira għall-ewwel darba. U Dweve bena l-aktar implimentazzjoni avvanzata ta' dan il-paradigma permezz tal-arkitettura tagħna ta' Binary Constraint Discovery.

Eżempju mill-Ħajja Reali: Reviżjoni ta' Kuntratt Legali Kif l-arkitettura newro-simbolika ta' Dweve taqbad il-kontradizzjonijiet li LLM puri ma jarawx L-APPROĊĊ TAL-LLM PUR Input: Kuntratt ta' M&A Korporattiv (87 paġni) Paġna 12: "Limitu ta' Responsabbiltà: EUR 5M" Paġna 71: "Indennizz Sħiħ: Mingħajr Limitu" Mudell Transformer (1.8T parametri) Tqabbil ta' mudelli statistiċi ? "Il-kuntratt jidher li jsegwi dispożizzjonijiet standard ta' M&A. Ma sibt l-ebda kwistjoni sinifikanti li teħtieġ attenzjoni." MOD TA' FALLIMENT 1. Il-mekkaniżmu tal-attenzjoni jiddgħajjef fuq 87 paġna 2. L-ebda magna loġika biex tiskopri kontradizzjonijiet 3. Jipproduċi valutazzjoni bbażata fuq "impressjoni", mhux prova L-APPROĊĊ TA' VINCOLI BINARJI TA' DWEVE Test tal-Kuntratt (87 paġni) NEWRALI Estrazzjoni ta' Entitajiet (Sistema 1) PAP Routing 456 speċjalisti domanali Graff ta' Vincoli Kristallizzati Clause_4_2.liability_cap = EUR5M Clause_12_1.indemnity = UNLIMITED constraint: cap >= indemnity SIMBOLIKU Soluzzjonatur ta' Vincoli (Sistema 2) KONTRADDIZZJONI LOĠIKA PPROVATA PROOF: UNLIMITED not in [0, EUR5M] Il-Klawżola 4.2 (paġna 12) tikkontradixxi l-Klawżola 12.1 (paġna 71) Kunfidenza: 100% (prova matematika, mhux stima) VANTAĠĠI 1. Ċertezza matematika, mhux raden statistika 2. Traċċa sħiħa ta' verifika għall-konformità regolatorja 3. L-avukat jista' jivverifika l-prova minnufih In-newrali jifhem it-tifsira minn test imħawwad | Is-simboliku jipprova r-relazzjonijiet loġiċi b'ċertezza matematika

Kif Dweve Timplimenta l-AI Neuro-Simbolika

L-arkitettura ta' Dweve hija l-aktar implimentazzjoni avvanzata tal-prinċipji neuro-simboliċi fil-produzzjoni llum. Hawn kif taħdem:

Is-Saff tal-Perċezzjoni: Ipproċessar Newrali tal-Input

Meta d-dejta tidħol fis-sistema ta' Dweve (test, stampi, awdjo, dejta strutturata), l-ewwel tgħaddi mill-31 Estrattur tal-Karatteristiċi tal-Perċezzjoni tagħna. Dawn huma komponenti newrali ottimizzati biex jikkonvertu dejta sensorja mhux ipproċessata f'rappreżentazzjonijiet strutturati. Huma jittrattaw l-input tad-dinja reali messy li s-sistemi simboliċi ma jistgħux jipproċessaw direttament: żbalji ta' kitba, żbalji OCR, storbju fl-immaġini, distorsjoni tal-awdjo, ambigwità tal-lingwa naturali.

Kritikament, is-saff tal-perċezzjoni ma jippruvax "jirraġuna" dwar l-input. L-unika xogħol tiegħu huwa l-estrazzjoni u l-istrutturar. Jikkonverti "Il-limitu tar-responsabbiltà msemmi fit-Taqsima 4.2 huwa ħames miljun ewro" f'simboli strutturati: liability_cap = 5000000, currency = EUR, reference = section_4_2. Dan huwa kompitu perfettament adattat għat-tqabbil ta' mudelli newrali.

Is-Saff tar-Routing: Għażla ta' 456 Speċjalista ta' Dominju

Ladarba l-input ikun strutturat, is-sistema ta' routing Permuted Agreement Popcount (PAP) ta' Dweve Loom tiddetermina liema mis-456 sett ta' restrizzjonijiet speċjalizzati huma rilevanti. Hawnhekk Dweve jiddifferixxi radikalment mill-approċċi standard ta' taħlita ta' speċjalisti ta' dominju.

Mudelli MoE tradizzjonali jużaw netwerks ta' routing mgħallma li jbatu mill-istess problemi bħal komponenti newrali oħra: huma probablistiċi, mhux deterministiċi. Jistgħu jibagħtu mistoqsijiet lil speċjalisti ta' dominju żbaljati abbażi ta' tqabbil superfiċjali ta' mudelli.

Ir-routing PAP juża skoperta ta' mudelli strutturali li tmur lil hinn mix-xebh sempliċi. Jiskopri meta "t-tokens it-tajba jkunu preżenti iżda f'relazzjonijiet ħżiena" u jevita routing pożittiv falz. Id-deċiżjoni tar-routing innifisha hija spjegabbli: tista' tara eżattament għaliex mistoqsija ġiet irroutjata lejn l-ispeċjalista ta' dominju tal-analiżi tal-kuntratti legali aktar milli lejn l-ispeċjalista ta' dominju tad-dijanjosi medika.

Is-Saff tar-Raġunament: Skoperta ta' Restrizzjonijiet Binarji

Din hija l-innovazzjoni ewlenija. Minflok tirrappreżenta l-għarfien bħala piżijiet ta' netwerks newrali (vettori b'punt li jvarja ta' dimensjonijiet għoljin li ma jistgħux jiġu spezzjonati jew verifikati), Dweve jirrappreżenta l-għarfien bħala restrizzjonijiet binarji kristallizzati.

Restrizzjoni hija relazzjoni loġika li ġiet skoperta mid-dejta u verifikata li hija affidabbli. Pereżempju:

  • "F'kuntratti M&A validi, il-limitu tar-responsabbiltà għandu jkun akbar minn jew ugwali għall-ammont massimu ta' indennizz"
  • "F'rekords tal-pazjenti, jekk id-dijanjosi hija pnewmonja U t-trattament huwa antibijotiku X, ALLURA t-tul għandu jkun >= 7 ijiem"
  • "F'dikjarazzjonijiet finanzjarji, l-assi totali għandhom ikunu ugwali għall-passivi totali flimkien mal-ekwità tal-azzjonisti"

Dawn ir-restrizzjonijiet mhumiex mgħallma bħala mudelli impliċiti fil-piżijiet newrali. Huma espliċitament skoperti, verifikati, u maħżuna bħala regoli loġiċi. Matul l-inferenza, is-solver tar-restrizzjonijiet japplikahom b'mod deterministiku. Jekk l-input jikser restrizzjoni, is-sistema timmarkah b'ċertezza matematika, mhux b'kunfidenza statistika.

Dan huwa għaliex is-sistemi ta' Dweve ma jalluċinawx. L-alluċinazzjoni hija impossibbli meta kull output ikun ir-riżultat tal-applikazzjoni ta' regoli loġiċi verifikati għal inputs strutturati. Is-sistema tista' tipproduċi biss outputs li huma implikati mir-restrizzjonijiet tagħha. Jekk l-ebda restrizzjoni ma tappoġġja asserzjoni, is-sistema tgħid "Ma nafx" aktar milli tinventa xi ħaġa plawsibbli.

Is-Saff tal-Output: Riżultati Spjegabbli

Kull output ta' Dweve jiġi b'derivazzjoni kompleta. Tista' tistaqsi "għaliex" fi kwalunkwe punt u tikseb il-katina eżatta ta' restrizzjonijiet li pproduċiet il-konklużjoni. Dan mhuwiex spjegazzjoni post-hoc iġġenerata minn "modulu ta' spjegazzjoni" separat (kif jagħmlu ħafna għodod ta' spjegabbiltà tal-AI). Huwa l-mogħdija attwali tar-raġunament.

Għal industriji regolati (kura tas-saħħa, finanzjarji, legali), dan huwa trasformattiv. L-awdituri jistgħu jivverifikaw li l-konklużjonijiet huma korretti billi jiċċekkjaw id-derivazzjoni tal-vinkoli. Ir-regolaturi jistgħu jikkonfermaw li t-teħid tad-deċiżjonijiet isegwi loġika approvata. L-utenti jistgħu jifhmu eżattament għaliex is-sistema waslet għall-konklużjoni tagħha.

L-Arkitettura Newro-Simbolika ta' Dweve fid-Dettall Mid-dħul mhux ipproċessat għal riżultat spjegabbli permezz ta' Binary Constraint Discovery DĦUL Mhux IPPROĊESSAT Test (imbarazz) Stampi Awdjo Data Strutturata Ambigwa Storbjuża Mhux strutturata PERĊEZZJONI (Newrali / Sistema 1) 31 Estrattur ta' Karatteristiċi NLP, CV, Awdjo Rikonoxximent ta' entitajiet Estrazzjoni ta' relazzjonijiet Parsing semantiku Korrezzjoni OCR RIŻULTAT Simboli Strutturati liability=5M currency=EUR ROUTING (Algoritmu PAP) Loom 456 Speċjalisti tad-Dominju 4-8 jattivaw Prefiltru Bloom Lista qasira PAP Evalwazzjoni tal-bieb MAGĦŻULA Kuntratti legali Speċjalista M&A Regolament tal-UE RAĠUNAR (Simboliku / Sistema 2) Solvitur tal-Kostrizzjonijiet Deterministiku Tagħbija ta' kostrizzjonijiet Applikazzjoni ta' regoli Sejbien ta' vjolazzjonijiet Ġenerazzjoni ta' provi GARANZIJI L-ebda alluċinazzjoni 100% traċċabbli Loġika verifikabbli RIŻULTAT (Spjegabbli) Riżultat "Instabet kontradizzjoni bejn il-klawżoli 4.2 u 12.1" Triq tal-Prova C1: cap=5M C2: indemnity=INF R: cap>=indemnity VIOLAZZJONI Kunfidenza 100% (Prova matematika) Jittratta l-imbarazz tad-dinja reali Jiggarantixxi l-korrettezza loġika

Eżempju: Appoġġ għad-Dijanjosi Medika

Ikkunsidra sistema tal-AI li tgħin lit-tobba fil-kamra tal-emerġenza. Il-kompitu huwa li tissuġġerixxi dijanjosi possibbli bbażati fuq is-sintomi tal-pazjent, l-istorja medika tiegħu, u r-riżultati tat-testijiet.

Approċċ Pur tal-LLM: It-tabib jikteb il-preżentazzjoni tal-pazjent f'ChatGPT. Il-mudell jiġġenera xi ħaġa bħal: "Ibbażat fuq is-sintomi deskritti, il-pazjent jista' jkollu pnewmonja, bronkite, jew possibilment COVID-19. Nirrakkomanda X-ray tas-sider u test tal-PCR." Dan jinstema' utli, iżda l-mudell m'għandu l-ebda mod kif jivverifika s-suġġerimenti tiegħu kontra evidenza medika attwali. Qed jagħmel tqabbil ta' mudelli minn dejta ta' taħriġ li tista' tinkludi informazzjoni skaduta jew żbaljata. Ma jistax jispjega għaliex ta prijorità lill-pnewmonja fuq il-bronkite. Jista' jitlef kundizzjoni rari iżda kritika li ma taqbilx mal-mudelli komuni.

Approċċ Newro-Simboliku ta' Dweve:

  1. Perċezzjoni Newrali: Is-sistema tipproċessa l-input tal-lingwa naturali tat-tabib, testratta sintomi strutturati (deni: 39.2C, sogħla produttiva, tul ta' żmien: 8 ijiem), storja medika tal-pazjent (dijabetiku, 67 sena, mhux pejjiep), u riżultati tat-testijiet (WBC elevat, CRP 85 mg/L).
  2. Irbit ma' Speċjalista fil-Qasam: L-irbit tal-PAP jattiva s-sett ta' restrizzjonijiet tal-mediċina pulmonari, is-sett ta' restrizzjonijiet tal-mard infettiv, u s-sett ta' restrizzjonijiet tal-fatturi ta' riskju għall-pazjenti anzjani.
  3. Raġunament bir-Restrizzjonijiet: Is-sistema tapplika restrizzjonijiet mediċi vverifikati:
    • Restrizzjoni 1: "Sogħla produttiva + deni > 38C + tul ta' żmien > 7 ijiem + WBC elevat jissuġġerixxi infezzjoni respiratorja t'isfel"
    • Restrizzjoni 2: "Pazjent dijabetiku + età > 65 + infezzjoni respiratorja jżidu r-riskju ta' pnewmonja b'fattur ta' 3.2"
    • Restrizzjoni 3: "CRP > 50 mg/L f'preżentazzjoni respiratorja jeskludi l-bronkite virali b'kunfidenza ta' 94%"
  4. Output: "Dijanjosi: Pnewmonja miksuba fil-komunità (kunfidenza għolja). Raġunament: Il-pazjent jissodisfa l-kriterji CURB-65 għal severità moderata. L-istatus dijabetiku u l-età jżidu r-riskju ta' kumplikazzjonijiet. Nirrakkomandaw X-ray tas-sider biex tikkonferma, ibda antibijotiċi empiriċi skont il-linji gwida lokali. Il-katina sħiħa tar-raġunament hija disponibbli għal reviżjoni."

Id-differenza mhix biss fl-eżattezza. Hija fir-responsabbiltà. It-tabib jista' jikklikkja l-katina tar-raġunament u jivverifika kull pass mal-għarfien mediku tiegħu stess. Jekk is-sistema għamlet żball, jista' jidentifika eżattament fejn. Jekk il-pazjent jiżviluppa kumplikazzjonijiet, it-tim legali tal-isptar jista' jirrevedi eżattament liema informazzjoni kellha s-sistema u kif irraġunat.

Din il-mappa turi fejn "Eżempju: Appoġġ għad-Dijanjosi Medika" verament jinsab: data, awtorità, u eżekuzzjoni.

Eżempju: Tagħlim Edukattiv bl-AI

Ikkunsidra tutur tal-AI li jgħin student bl-alġebra. L-istudent itella' ritratt tal-kompitu miktub bl-idejn li juri l-attentat tiegħu biex isolvi 2x + 5 = 15.

Approċċ Pur tal-LLM: Il-mudell iħares lejn l-immaġni u jiġġenera feedback inkoraġġanti: "Sforz kbir! L-approċċ tiegħek jidher raġonevoli. Kompli prattika u titjieb fl-alġebra." Dan huwa inutli. Il-mudell ma jistax fil-fatt jivverifika jekk ix-xogħol tal-istudent huwiex korrett għax m'għandux magna tal-alġebra. Qed jiġġenera "feedback bħal ta' għalliem" ibbażat fuq mudelli, mhux verifikazzjoni matematika.

Approċċ Newro-Simboliku ta' Dweve:

  1. Perċezzjoni Newrali (Viżjoni): Mudell tal-kompjuter viżjoni (wieħed mill-31 estratturi ta' karatteristiċi) jipproċessa l-immaġni miktuba bl-idejn u jikkonvertiha f'notazzjoni matematika strutturata: L-istudent kiteb "2x + 5 = 15, 2x = 10, x = 6".
  2. Verifikazzjoni Simbolika: Is-solver tar-restrizzjonijiet tal-alġebra jiċċekkja x-xogħol pass pass:
    • Pass 1: 2x + 5 = 15. Korrett (problema mogħtija).
    • Pass 2: 2x = 10. Korrett (naqqas 5 miż-żewġ naħat).
    • Pass 3: x = 6. ŻBALJAT. 10/2 = 5, mhux 6.
  3. Output: "It-twaqqif tiegħek u l-ewwel pass huma korretti. Fil-Pass 3, qsamt 10 b'2 imma ktibt 6 minflok 5. Dan jidher bħala żball aritmetiku aktar milli żball kunċettwali. Erġa' pprova d-diviżjoni: x'inhu 10 / 2?"

Is-sistema tipprovdi feedback immirat u verifikat matematikament. Hija taf eżattament fejn seħħ l-iżball u tista' tiddistingwi bejn nuqqas ta' ftehim kunċettwali (li jeħtieġu rimedjazzjoni differenti) u żbalji aritmetiċi (li jeħtieġu biss prompt ta' korrezzjoni).

Għaliex ir-Restrizzjonijiet Binarji Jgħoddu

Tista' tistaqsi: għaliex Dweve jsejjaħ dan "Binary Constraint Discovery" aktar milli sempliċiment "AI newro-simbolika"? X'hemm speċjali dwar l-aspett binarju?

Sistemi AI simboliċi tradizzjonali jirrappreżentaw l-għarfien bħala piżijiet b'punt li jvarja, distribuzzjonijiet ta' probabbiltà kontinwi, jew formuli loġiċi kumplessi. Dawn ir-rappreżentazzjonijiet għandhom problema fundamentali: huma għaljin biex jinħażnu, għaljin biex jiġu kkalkulati, u diffiċli biex jiġu verifikati.

Il-kisba ta' Dweve hija li tirrappreżenta r-restrizzjonijiet f'forma binarja billi tuża komputazzjoni ta' bit wieħed b'operaturi bitwise (XNOR, AND, OR, POPCNT). Din mhijiex limitazzjoni iżda vantaġġ:

  • Kompressjoni ta' 32x: Vinklu binarju jieħu bit 1 fejn is-sistemi tradizzjonali jużaw floats ta' 32 bit.
  • Effiċjenza fl-enerġija: Operazzjonijiet binarji jikkunsmaw madwar 0.15 picojoules meta mqabbla ma' madwar 4.6 picojoules għall-floating-point, titjib ta' 30x.
  • Sempliċità ta' verifikazzjoni: Vinkli binarji jew huma sodisfatti (1) jew miksura (0). M'hemm l-ebda ambigwità, l-ebda "probabbilment sodisfatt," l-ebda żball ta' preċiżjoni fil-floating-point.
  • Ottimizzazzjoni tal-hardware: CPUs moderni għandhom istruzzjonijiet ottimizzati ħafna għal operazzjonijiet binarji. L-1,937 algoritmi ta' Dweve f'Dweve Core huma ddisinjati speċifikament biex jużaw istruzzjonijiet SIMD bħal AVX-512 għal parallelizmu massiv.

Ir-riżultat huwa sistema li tista' twettaq raġunament loġiku sofistikat bi frazzjoni tal-ispiża u tal-enerġija tal-approċċi tradizzjonali filwaqt li żżomm verifikabbiltà sħiħa.

Il-Qawmien tal-Intrapriża

Għal dawn l-aħħar sentejn, Silicon Valley kien f'tellieqa għad-deheb. Kull intrapriża ħaffet biex tiskjera LLMs, billi stennew qligħ trasformattiv fil-produttività. Ir-realtà kienet waħda li tqanqal il-ħsieb.

Stħarriġ tal-2024 minn Deloitte sab li 68% tal-proġetti tal-AI fl-intrapriżi naqsu milli jissodisfaw l-aspettattivi. Ir-raġunijiet ewlenin imsemmija kienu l-alluċinazzjoni (42%), l-inkapaċità li jiġu vverifikati l-outputs (38%), u tħassib dwar il-konformità (35%). Dawn huma eżattament il-problemi li l-approċċi newrali puri ma jistgħux isolvu.

L-istudju tal-implimentazzjoni tal-AI tal-2024 ta' McKinsey sab li l-kumpaniji qed jitolbu dejjem aktar "AI responsabbli" għal deċiżjonijiet ta' riskju għoli. Iridu sistemi li jistgħu jispjegaw ir-raġunament tagħhom, joperaw fi ħdan vinkli definiti, u jipprovdu traċċi ta' verifika għall-konformità regolatorja. Dan huwa l-paradigma newro-simboliku.

Is-suq qed jinbidel. Filwaqt li l-startups ikomplu jsegwu l-GPT-5 li jmiss, l-intrapriżi qed jinvestu bil-kwiet f'arkitetturi ibridi li jistgħu verament jittawwlu. Il-mistoqsija m'għadhiex "kemm huwa impressjonanti d-demo?" iżda "nistgħu nissieħbu r-reputazzjoni tal-kumpanija tagħna fuq dan l-output?"

Ir-Riħ Regolatorju Favorevoli

L-Att dwar l-AI tal-UE, li jidħol fis-seħħ bis-sħiħ fl-2026, jeżiġi b'mod espliċitu l-ispjegabbiltà u s-sorveljanza umana għal sistemi tal-AI ta' riskju għoli. L-Artikolu 13 jimponi li s-sistemi tal-AI jkunu "ddisinjati u żviluppati b'tali mod li jiżguraw li l-operat tagħhom ikun trasparenti biżżejjed biex jippermetti lill-utenti jinterpretaw l-output tas-sistema u jużawh b'mod xieraq."

Netwerks newrali puri jonqsu minn dan it-test fundamentalment. Ma tistax "tinterpreta" l-output ta' transformer ta' 1.8 triljun parametru b'xi mod sinifikanti. Il-piżijiet huma inkomprensibbli. Ir-raġunament (kemm-il darba jkun hemm) iseħħ fi spazji ta' embedding ta' dimensjoni għolja li l-ebda bniedem ma jista' jivviżwalizza jew jivverifika.

Sistemi newro-simboliċi, bil-kuntrast, huma ddisinjati għall-interpretabbiltà. Kull konklużjoni tiġi bi prova. Kull deċiżjoni tirreferi għal vinkli espliċiti. L-awdituri jistgħu jivverifikaw il-konformità mhux billi jafdaw lill-AI, iżda billi jiċċekkjaw id-derivazzjonijiet loġiċi tagħha.

L-Artikolu 22 tal-GDPR diġà jeżiġi "informazzjoni sinifikanti dwar il-loġika involuta" għal teħid ta' deċiżjonijiet awtomatizzat li jaffettwa lill-individwi. Regolamenti finanzjarji (Basel IV, MiFID II) jeżiġu spjegabbiltà għall-kummerċ algoritmiku u deċiżjonijiet ta' kreditu. Regolamenti tal-kura tas-saħħa (gwida tal-FDA dwar apparat mediku tal-AI/ML) jeżiġu validazzjoni klinika tar-raġunament tal-AI.

L-ambjent regolatorju mhuwiex ostili għall-AI. Huwa ostili għal AI li ma tistax tiġi spjegata. Arkitetturi newro-simboliċi mhumiex biss teknikament superjuri; huma lesti għar-regolamentazzjoni.

Din il-mappa turi fejn "The Regulatory Tailwind" verament jolqot: id-data, l-awtorità, u l-eżekuzzjoni.

Nibnu l-Futur

F'Dweve, ilna nibnu lejn dan il-mument minn meta twaqqafna. Filwaqt li l-bqija tal-industrija kienet mifnija bil-gwerer tal-iskala, iħarrġu transformers dejjem akbar fuq aktar u aktar data, aħna konna ninvestu f'solvers ta' restrizzjonijiet, knowledge graphs, verifikazzjoni formali, u l-algoritmi fundamentali li jagħmlu l-AI newro-simbolika prattika fuq skala kbira.

L-arkitettura tagħna ta' 456 dominju speċjalizzat f'Dweve Loom mhijiex 456 biljun parametru. Hija 456 sett ta' restrizzjonijiet speċjalizzati, kull wieħed fih 64-128MB ta' restrizzjonijiet binarji verifikati. Erbgħa sa 8 biss jattivaw għal kwalunkwe mistoqsija partikolari, u jiżguraw effiċjenza u rilevanza.

L-1,937 algoritmu tagħna f'Dweve Core jipprovdu l-pedament komputazzjonali, ottimizzati għal operazzjonijiet binarji fuq kull pjattaforma ewlenija tal-ħardwer: CPU (SSE2, AVX2, AVX-512, ARM NEON), GPU (CUDA, ROCm, Metal, Vulkan), FPGA, u saħansitra WebAssembly għall-eżekuzzjoni fil-browser.

Il-pipeline epistemoloġiku ta' seba' stadji f'Dweve Spindle jiżgura li l-għarfien li jidħol fis-sistema jiġi verifikat qabel ma jsir restrizzjoni. Il-ġerarkija ta' 32 aġent taqbad l-iżbalji, tivverifika s-sorsi, u żżomm il-kwalità tal-għarfien.

Din mhijiex biss arkitettura aħjar. Hija filosofija differenti. Aħna nemmnu li l-futur tal-AI mhuwiex dwar li jiġu ġġenerati outputs li jinstemgħu plawsibbli aktar malajr u irħas. Huwa dwar il-bini ta' sistemi li wieħed jista' verament jafdahom, sistemi li jistgħu juru x-xogħol tagħhom, sistemi li l-intrapriżi jistgħu jirriskjaw in-negozji tagħhom fuqhom.

X'Jmiss

Il-rinaxximent newro-simboliku mhuwiex tbassir. Diġà qed iseħħ. DeepMind ta' Google ippubblikat riċerka dwar approċċi newro-simboliċi. Meta AI investiet f'sistemi ta' raġunament ibridi. IBM Watson, li kien pijunier fis-sistemi esperti bikrin, qed jerġa' lura lejn l-integrazzjoni tal-AI simbolika.

Iżda dawn huma proġetti ta' riċerka. Dweve hija sistema ta' produzzjoni. Il-pjattaforma tagħna qed tipproċessa xogħol ta' intrapriża llum, u tagħti l-affidabbiltà li approċċi newrali puri ma jistgħux jaqblu magħha.

Il-mistoqsija għall-mexxejja tal-AI fl-intrapriża mhijiex jekk jadottawx approċċi newro-simboliċi. Dik diġà hija inevitabbli minħabba r-rekwiżiti regolatorji u t-talbiet tal-affidabbiltà. Il-mistoqsija hija jekk jibnux din il-kapaċità internament (sforz ta' bosta snin li jeħtieġ kompetenza speċjalizzata), jistennewx li t-teknoloġija l-kbira jipproductizzawha (u jċedu l-vantaġġ kompetittiv), jew jissieħbux ma' kumpanija li diġà solviet il-problemi diffiċli.

Dweve tgħaqqad il-qawwa perċettiva tan-netwerks newrali mar-riġidità loġika tar-raġunament simboliku. Aħna nittrattaw id-dinja reali u mħabbla (typos, ħoss, ambigwità) filwaqt li niggarantixxu korrettezza matematikament provabbli għal deċiżjonijiet kritiċi. Nagħmlu dan b'96% inqas enerġija mill-AI tradizzjonali, li jippermetti l-użu fuq hardware standard mingħajr infrastruttura massiva ta' GPU.

Jekk in-negozju tiegħek għandu bżonn AI li tista' tirraġuna, mhux biss twieġeb, għandna nitkellmu. Jekk l-industrija tiegħek hija regolata u għandek bżonn teħid ta' deċiżjonijiet li jista' jiġi spjegat, aħna lesti. Jekk inti ġejt maħruq minn chatbots li jilluċinaw u trid AI li tista' tassew tafda fiha, aħna bnejnieha għalik.

Il-futur tal-AI mhuwiex System 1 akbar. Huwa s-sinteżi taż-żewġ sistemi konjittivi: l-Artist u l-Accountant, l-Intuwizzjoni u l-Loġika, Newrali u Simboliku.

Ir-Rinaxximent hawn. U Dweve qed tmexxih.