Neuro-symbolická renesancia: Prečo budúcnosť AI spája intuíciu s logikou
Architektúra ľudskej inteligencie
V roku 2002 predniesol psychológ Daniel Kahneman svoju nobelovskú prednášku v Štokholme. Publiku ekonómov, ktorí očakávali rovnice a grafy, namiesto toho rozprával príbehy. Príbehy o taxikároch, basketbalistoch a ľuďoch, ktorí robia hrozné rozhodnutia s úplnou sebadôverou. Jeho hlavná téza, rozvíjaná 30 rokov so zosnulým kolegom Amosom Tverskym, bola jednoduchá, no revolučná: ľudská myseľ funguje prostredníctvom dvoch zásadne odlišných kognitívnych systémov a celá naša civilizácia je postavená na napätí medzi nimi.
Kahneman ich nazval Systém 1 a Systém 2. Pochopenie týchto systémov nie je len akademickou filozofiou. Je kľúčom k pochopeniu toho, prečo súčasná AI zlyháva a čo musí prísť ďalej.
Systém 1 (rýchle myslenie) je intuitívny, emocionálny, automatický a podvedomý. Funguje nepretržite bez námahy. Toto je systém, ktorý používate na rozpoznanie tváre priateľa v dave, chytenie lopty bez výpočtu trajektórií, jazdu po známej trase, zatiaľ čo sa vaša myseľ túla inde, zistenie hnevu v hlase niekoho z jedinej slabiky alebo pochopenie vety bez vedomého analyzovania gramatiky. Systém 1 je rýchly, pretože nemá na výber. Vyvinul sa na prežitie vo svete, kde váhanie znamenalo smrť. Cíti odpoveď skôr, než dokážete vysvetliť prečo.
Systém 2 (pomalé myslenie) je logický, uvážlivý, kalkulujúci a vedomý. Vyžaduje si námahu a pozornosť. Toto je systém, ktorý používate na riešenie 17 x 24 v hlave, správne vyplnenie daňového formulára, kontrolu právnej zmluvy na skryté klauzuly, overenie platnosti matematického dôkazu alebo porovnanie výhod dvoch pracovných ponúk. Systém 2 je pomalý, pretože je dôsledný. Vypočíta odpoveď a vie ukázať svoj postup. Je systémom vedy, inžinierstva, práva a logiky.
Tu je Kahnemanov kľúčový postreh: Systém 1 beží neustále a nedá sa vypnúť. Systém 2 je lenivý a aktivuje sa iba vtedy, keď je donútený. Keď vidíte rovnicu 2+2=?, Systém 1 okamžite dodá „4" bez zapojenia Systému 2. Ale keď vidíte 17x24=?, Systém 1 vám nedokáže pomôcť (pokiaľ nie ste savant) a Systém 2 musí namáhavo prevziať kontrolu.
Interakcia medzi týmito systémami vysvetľuje takmer všetky ľudské kognitívne zlyhania. Keď Systém 1 vytvorí odpoveď, ktorá „cíti" správne, Systém 2 ju často prijme bez overenia. Takto fungujú optické ilúzie. Takto fungujú podvodníci. Takto fungujú kognitívne predsudky. Zamieňame si pocit vedenia so skutočným vedomím.
Ako Silicon Valley postavilo obrovský Systém 1
Celé posledné desaťročie sa celý priemysel umelej inteligencie zameriaval na budovanie Systému 1. Hlboké neurónové siete, a konkrétne architektúry Transformer, ktoré poháňajú ChatGPT, Claude, Gemini a prakticky každý iný „špičkový" model umelej inteligencie, sú v podstate obrovské intuície založené na kremíku.
Fungujú na základe porovnávania vzorov vo vysokorozmernom priestore. Pri vstupnej sekvencii predpovedajú ďalší token na základe štatistických korelácií naučených z biliónov tréningových príkladov. Ničomu v zmysluplnom slova zmysle „nerozumejú". Rozpoznávajú vzory a predpovedajú, ktoré vzory zvyčajne nasledujú po iných vzoroch.
Toto nie je urážka. Je to technický opis. A pri úlohách Systému 1 sú skutočne pozoruhodné. Veľké jazykové modely dokážu písať poéziu, ktorá ľudí dojíma k slzám, generovať surrealistické obrázky, ktoré vyhrávajú umelecké súťaže, vymýšľať kreatívne riešenia otvorených problémov a viesť konverzácie, ktoré pôsobia zarážajúco ľudsky. To sú presne tie úlohy, v ktorých vyniká ľudský Systém 1.
Problém je však v tom, že pri úlohách Systému 2 sú katastrofálne zlé.
Požiadajte čistý LLM, aby vynásobil dve šesťciferné čísla. S najväčšou pravdepodobnosťou vám dá číslo, ktoré vyzerá ako správna odpoveď (má správny počet číslic, prvé číslice môžu byť dokonca správne), ale odpoveď bude matematicky nesprávna. Prečo? Pretože model nepočíta. Predpovedá, ako vyzerá výpočet. Počas tréningu videl milióny príkladov násobenia, takže dokáže vygenerovať niečo, čo sa podobá na „výsledok násobenia", ale nemá žiadny skutočný aritmetický mechanizmus.
Preto LLM s istotou halucinujú. Neklamú (to by si vyžadovalo poznať pravdu). Doplňujú vzory. Ak sa používateľ spýta otázku, ktorá znie, akoby mala mať odpoveď, model vygeneruje niečo, čo vyzerá ako odpoveď. Nedokáže rozlíšiť medzi doplnením vzoru a faktickou správnosťou, pretože nemá žiadny mechanizmus na overenie.
Múr škálovacích zákonov
Roky výskumníci umelej inteligencie verili, že sa tento problém vyrieši sám. „Škálovacie zákony" (Kaplan a kol. 2020, Hoffmann a kol. 2022) ukázali predvídateľné vzťahy medzi veľkosťou modelu, tréningovými dátami, výpočtovým výkonom a výkonnosťou. Dôsledok bol zvodný: stačí robiť modely väčšie, dať im viac dát a uvažovanie sa objaví samo.
Teraz sme narazili na múr.
GPT-4 má približne 1,8 bilióna parametrov. Claude 3 Opus, Gemini Ultra a ďalšie špičkové modely sú na tom podobne. Tréningové behy stoja stovky miliónov dolárov. Spotreba energie konkuruje malým mestám. A napriek tomu pretrváva zásadný problém: tieto modely stále spoľahlivo nezvládajú viaccifernú aritmetiku, stále s istotou halucinujú, stále zlyhávajú v základnom logickom uvažovaní.
Môžeme pridať viac vrstiev. Môžeme vložiť viac údajov. Môžeme postaviť väčšie GPU klastre. Ale nezískavame lepšie uvažovanie. Získavame lepšie napodobňovanie vzorov. Väčší papagáj je stále papagáj.
Výskum z roku 2024 z Allen Institute for AI ukázal, že aj tie najpokročilejšie LLM zlyhávajú na jednoduchých logických hádankách, ktoré vyrieši každé ľudské dieťa, nie preto, že by im chýbali tréningové údaje, ale preto, že im chýba architektúra na logické vyvodzovanie. Schopnosti Systému 2 nezískate škálovaním Systému 1. Sú to zásadne odlišné výpočtové paradigmy.
Návrat symbolickej umelej inteligencie
Aby sme pochopili, kam sa musí AI uberať, musíme pochopiť, odkiaľ prišla. Pred revolúciou hlbokého učenia, predtým ako sa neurónové siete stali dominantnými, existovala iná paradigma: symbolická AI, niekedy nazývaná aj „dobrá staromódna AI“ (GOFAI).
Symbolická AI bola dominantným prístupom od 50. rokov 20. storočia až do 90. rokov. Nepoužívala neurónové siete. Namiesto toho používala explicitné pravidlá, logické stromy, ontológie, formálne gramatiky a znalostné grafy. Vedomosti reprezentovala ako symboly a pracovala s nimi podľa logických pravidiel.
Systém symbolickej AI pre lekársku diagnostiku by mohol mať pravidlá ako: „AK má pacient horúčku A ZÁROVEŇ má pacient kašeľ A ZÁROVEŇ trvanie dlhšie ako 7 dní, POTOM zváž zápal pľúc s pravdepodobnosťou 0,7.“ Takýto systém by mohol tieto pravidlá spájať, sledovať svoje uvažovanie a presne vysvetliť, prečo dospel k akémukoľvek záveru.
Symbolická AI mala pozoruhodné vlastnosti:
- Dokonalá v logike: Ak systému poviete, že „Všetci ľudia sú smrteľní“ a „Sokrates je človek,“ s 100% istotou vyvodí, že „Sokrates je smrteľný.“ Nehalucinuje. Neháda. Dokazuje.
- Úplne vysvetliteľná: Každý záver má vysledovateľnú cestu dôkazu. Na ktoromkoľvek mieste sa môžete opýtať „prečo“ a dostanete formálne odvodenie.
- Zaručená správnosť: Pre dobre definované domény s úplnými pravidlami možno symbolické systémy matematicky overiť tak, že vždy produkujú správne výstupy.
Tak prečo symbolická AI zlyhala? Prečo ju oblasť opustila v prospech neurónových sietí?
Odpoveďou je krehkosť. Symbolické systémy vyžadujú, aby ľudia manuálne zakódovali všetky pravidlá. Toto fungovalo pri šachu (pevné pravidlá, konečné stavy), ale katastrofálne zlyhalo pri úlohách v otvorenom svete. Nemôžete napísať sadu pravidiel AK/TAK, ktorá rozpozná mačku vo všetkých možných svetelných podmienkach, pózach, prekrytiach a kvalitách obrazu. Reálny svet je príliš chaotický, príliš nejednoznačný, príliš vysoko-dimenzionálny na ručne vytvorené pravidlá.
Toto sa nazývalo „úzke miesto získavania vedomostí.“ Ľudskí experti museli manuálne vpisovať všetky pravidlá sveta a ukázalo sa, že svet má nekonečne veľa pravidiel. Neurónové siete to obišli tým, že sa učili vzory priamo z údajov.
Syntéza: Neuro-symbolická AI
Tu je poznatok, ktorý pretvára umelú inteligenciu: nemusíme si vybrať medzi neurónovou a symbolickou. Môžeme ich skombinovať.
Neuro-symbolická AI je architektonická paradigma, ktorá prideľuje každú úlohu komponentu, ktorý je na ňu najvhodnejší:
- Neurónová zložka (vnímanie): Spracúva chaotický, neštruktúrovaný zmyslový vstup. Pozerá sa na svet (obrázky, zvuk, text, dáta zo senzorov) a premieňa ho na štruktúrované symboly, ktoré dokáže spracovať systém uvažovania. Je to Systém 1: rýchly, paralelný, odolný voči šumu.
- Symbolická zložka (uvažovanie): Spracúva logiku, pravidlá, matematiku, obmedzenia a overovanie. Preberá symboly z neurónovej siete a spracúva ich deterministicky podľa formálnych pravidiel. Je to Systém 2: zámerný, sekvenčný, dokázateľne správny.
Kombinácia vám dáva robustnosť aj presnosť. Neurónová zložka sa stará o nejednoznačnosť reálneho sveta (preklepy v texte, šum v zvuku, variácie v obrázkoch). Symbolická zložka zaručuje, že akonáhle máte čisté symboly, vaše uvažovanie je zaručene správne.
Toto nie je nová myšlienka. Výskumníci skúmajú neuro-symbolické prístupy už desaťročia. No nedávny pokrok ich prvýkrát umožnil prakticky využívať vo veľkom rozsahu. A Dweve vybudoval najpokročilejšiu implementáciu tejto paradigmy prostredníctvom našej architektúry Binary Constraint Discovery.
Ako Dweve implementuje neuro-symbolickú AI
Architektúra Dweve je najpokročilejšou implementáciou neuro-symbolických princípov v produkcii súčasnosti. Funguje to takto:
Percepčná vrstva: spracovanie neurónových vstupov
Keď dáta vstúpia do systému Dweve (text, obrázky, zvuk, štruktúrované dáta), najprv prechádzajú cez našich 31 extraktorov percepčných vlastností. Sú to neurónové komponenty optimalizované na konverziu surových zmyslových dát na štruktúrované reprezentácie. Spracúvajú neupravené vstupy z reálneho sveta, ktoré symbolické systémy nedokážu spracovať priamo: preklepy, chyby OCR, šum v obrázkoch, skreslenie zvuku, nejednoznačnosť prirodzeného jazyka.
Kriticky dôležité je, že percepčná vrstva sa nepokúša o „uvažovanie" nad vstupom. Jej jedinou úlohou je extrakcia a štruktúrovanie. Konvertuje „limit zodpovednosti uvedený v časti 4.2 je päť miliónov eur" na štruktúrované symboly: liability_cap = 5000000, currency = EUR, reference = section_4_2. Toto je úloha dokonale vhodná pre neurónové porovnávanie vzorov.
Smerovacia vrstva: výber 456 doménových špecialistov
Keď je vstup štruktúrovaný, smerovací systém Permuted Agreement Popcount (PAP) systému Dweve Loom určí, ktoré z 456 špecializovaných množín obmedzení sú relevantné. Tu sa Dweve radikálne líši od štandardných prístupov so zmesou doménových špecialistov.
Tradičné modely MoE používajú naučené smerovacie siete, ktoré trpia rovnakými problémami ako iné neurónové komponenty: sú pravdepodobnostné, nie deterministické. Môžu smerovať dopyty k nesprávnym doménovým špecialistom na základe povrchného porovnávania vzorov.
Smerovanie PAP používa detekciu štrukturálnych vzorov, ktorá presahuje jednoduchú podobnosť. Zisťuje, kedy sú „správne tokeny prítomné, ale v nesprávnych vzťahoch", a vyhýba sa falošne pozitívnemu smerovaniu. Samotné rozhodnutie o smerovaní je vysvetliteľné: môžete presne vidieť, prečo bol dopyt smerovaný k špecialistovi na analýzu právnych zmlúv a nie k špecialistovi na lekársku diagnostiku.
Vrstva uvažovania: objavovanie binárnych obmedzení
Toto je jadro inovácie. Namiesto reprezentácie vedomostí ako váh neurónovej siete (vysokorozmerné vektory s pohyblivou rádovou čiarkou, ktoré nemožno skúmať ani overovať) Dweve reprezentuje vedomosti ako kryštalizované binárne obmedzenia.
Obmedzenie je logický vzťah, ktorý bol objavený z dát a overený ako spoľahlivý. Napríklad:
- „V platných zmluvách o fúziách a akvizíciách musí byť limit zodpovednosti väčší alebo rovný maximálnej výške odškodnenia"
- „V záznamoch o pacientoch, ak je diagnóza zápal pľúc A liečba je antibiotikum X, POTOM trvanie musí byť >= 7 dní"
- „Vo finančných výkazoch sa celkové aktíva musia rovnať celkovým záväzkom plus vlastný kapitál akcionárov"
Tieto obmedzenia nie sú naučené ako implicitné vzory vo váhach neurónovej siete. Sú explicitne objavené, overené a uložené ako logické pravidlá. Počas inferencie ich riešiteľ obmedzení aplikuje deterministicky. Ak vstup porušuje obmedzenie, systém to označí s matematickou istotou, nie so štatistickou spoľahlivosťou.
To je dôvod, prečo systémy Dweve nehalucinujú. Halucinácia je nemožná, keď je každý výstup výsledkom aplikácie overených logických pravidiel na štruktúrované vstupy. Systém môže produkovať iba výstupy, ktoré vyplývajú z jeho obmedzení. Ak žiadne obmedzenie nepodporuje tvrdenie, systém povie „neviem" namiesto vymýšľania niečoho vierohodného.
Výstupná vrstva: vysvetliteľné výsledky
Každý výstup Dweve prichádza s úplným odvodením. Môžete sa kedykoľvek opýtať „prečo" a dostanete presný reťazec obmedzení, ktoré viedli k záveru. Toto nie je dodatočné vysvetlenie generované samostatným „modulom vysvetľovania" (ako to robia mnohé nástroje na vysvetliteľnosť AI). Je to skutočná cesta uvažovania.
Pre regulované odvetvia (zdravotníctvo, financie, právo) je to prelomové. Audítori môžu overiť správnosť záverov kontrolou odvodenia obmedzení. Regulačné orgány môžu potvrdiť, že rozhodovanie prebieha podľa schválenej logiky. Používatelia môžu presne pochopiť, prečo systém dospel k svojmu záveru.
Príklad: Podpora lekárskej diagnostiky
Predstavte si systém umelej inteligencie, ktorý podporuje lekárov na pohotovosti. Úlohou systému je navrhovať možné diagnózy na základe príznakov pacienta, anamnézy a výsledkov testov.
Čisto LLM prístup: Lekár napíše opis stavu pacienta do ChatGPT. Model vygeneruje niečo takéto: „Na základe opísaných príznakov môže mať pacient zápal pľúc, bronchitídu alebo prípadne COVID-19. Odporúčam röntgen hrudníka a PCR test.“ To znie užitočne, ale model nemá žiadny spôsob, ako overiť svoje návrhy voči skutočným lekárskym dôkazom. Ide o rozpoznávanie vzorov z tréningových údajov, ktoré môžu obsahovať zastarané alebo nesprávne informácie. Nedokáže vysvetliť, prečo uprednostnil zápal pľúc pred bronchitídou. Môže mu uniknúť zriedkavý, ale kritický stav, ktorý nezodpovedá bežným vzorom.
Neuro-symbolický prístup Dweve:
- Neurónové vnímanie: Systém spracuje prirodzený jazykový vstup lekára a extrahuje štruktúrované príznaky (horúčka: 39,2 °C, kašeľ: produktívny, trvanie: 8 dní), anamnézu pacienta (diabetik, 67 rokov, nefajčiar) a výsledky testov (zvýšené WBC, CRP 85 mg/l).
- Smerovanie podľa špecializácie: Smerovanie PAP aktivuje sadu obmedzení pre pľúcne lekárstvo, sadu obmedzení pre infekčné choroby a sadu obmedzení pre rizikové faktory starších pacientov.
- Obmedzené uvažovanie: Systém aplikuje overené lekárske obmedzenia:
- Obmedzenie 1: „Produktívny kašeľ + horúčka nad 38 °C + trvanie nad 7 dní + zvýšené WBC naznačuje infekciu dolných dýchacích ciest“
- Obmedzenie 2: „Diabetický pacient + vek nad 65 + infekcia dýchacích ciest zvyšuje riziko zápalu pľúc faktorom 3,2“
- Obmedzenie 3: „CRP nad 50 mg/l pri respiračnom obraze vylučuje vírusovú bronchitídu s 94 % spoľahlivosťou“
- Výstup: „Diagnóza: komunitná pneumónia (vysoká spoľahlivosť). Zdôvodnenie: Pacient spĺňa kritériá CURB-65 pre stredne závažný priebeh. Diabetický stav a vek zvyšujú riziko komplikácií. Odporúčame röntgen hrudníka na potvrdenie a začatie empirickej antibiotickej liečby podľa miestnych odporúčaní. Celý reťazec uvažovania je k dispozícii na kontrolu.“
Rozdiel nie je len v presnosti. Je to zodpovednosť. Lekár môže prekliknúť celý reťazec uvažovania a overiť každý krok na základe vlastných lekárskych vedomostí. Ak systém urobil chybu, lekár dokáže presne určiť, kde k nej došlo. Ak sa u pacienta vyskytnú komplikácie, právne oddelenie nemocnice môže preskúmať, aké informácie systém presne mal a ako uvažoval.
Príklad: Vzdelávacie AI doučovanie
Predstavte si AI tútora, ktorý pomáha študentovi s algebrou. Študent nahraje fotografiu svojej ručne písanej domácej úlohy, na ktorej je vidieť jeho pokus vyriešiť 2x + 5 = 15.
Čisto LLM prístup: Model sa pozrie na obrázok a vygeneruje povzbudivú spätnú väzbu: „Skvelé úsilie! Tvoj postup vyzerá rozumne. Pokračuj v precvičovaní a v algebre sa zlepšíš.“ Toto je zbytočné. Model v skutočnosti nedokáže overiť, či je študentova práca správna, pretože nemá žiadny algebraický engine. Generuje „spätnú väzbu podobnú učiteľskej“ na základe vzorov, nie matematického overenia.
Dweve neuro-symbolický prístup:
- Neurálne vnímanie (videnie): Model počítačového videnia (jeden z 31 extraktorov funkcií) spracuje ručne písaný obrázok a prevedie ho na štruktúrovaný matematický zápis: Študent napísal „2x + 5 = 15, 2x = 10, x = 6“.
- Symbolické overenie: Algebraický riešiteľ obmedzení kontroluje prácu krok za krokom:
- Krok 1: 2x + 5 = 15. Správne (zadaný problém).
- Krok 2: 2x = 10. Správne (odčítal 5 z oboch strán).
- Krok 3: x = 6. NESPRÁVNE. 10/2 = 5, nie 6.
- Výstup: „Tvoj zápis a prvý krok sú správne. V kroku 3 si vydelil 10 číslom 2, ale napísal si 6 namiesto 5. Vyzerá to skôr ako aritmetický preklep než koncepčná chyba. Skús delenie znova: koľko je 10 / 2?“
Systém poskytuje cielenú, matematicky overenú spätnú väzbu. Presne vie, kde k chybe došlo, a dokáže rozlíšiť medzi koncepčnými nedorozumeniami (ktoré si vyžadujú inú nápravu) a aritmetickými preklepmi (ktoré si vyžadujú len výzvu na opravu).
Prečo sú binárne obmedzenia dôležité
Možno sa pýtate: prečo to Dweve nazýva „objavovanie binárnych obmedzení“ a nie len „neuro-symbolická AI“? Čo je špeciálne na binárnom aspekte?
Tradičné symbolické systémy AI reprezentujú znalosti ako váhy s pohyblivou rádovou čiarkou, spojité rozdelenia pravdepodobnosti alebo zložité logické vzorce. Tieto reprezentácie majú zásadný problém: sú drahé na ukladanie, drahé na výpočet a ťažko overiteľné.
Prelom Dweve spočíva v reprezentácii obmedzení v binárnej forme pomocou 1-bitového výpočtu s bitovými operátormi (XNOR, AND, OR, POPCNT). Toto nie je obmedzenie, ale výhoda:
- 32-násobná kompresia: Binárne obmedzenie zaberá 1 bit, zatiaľ čo tradičné systémy používajú 32-bitové čísla s pohyblivou rádovou čiarkou.
- Energetická efektívnosť: Binárne operácie spotrebujú približne 0,15 pikoJoulu v porovnaní s približne 4,6 pikoJoulu pri číslach s pohyblivou rádovou čiarkou, čo predstavuje 30-násobné zlepšenie.
- Jednoduchosť overovania: Binárne obmedzenia sú buď splnené (1), alebo porušené (0). Neexistuje žiadna nejednoznačnosť, žiadne „pravdepodobne splnené", žiadne chyby presnosti pohyblivej rádovej čiarky.
- Optimalizácia hardvéru: Moderné procesory majú vysoko optimalizované inštrukcie pre binárne operácie. 1 937 algoritmov Dweve v Dweve Core je špecificky navrhnutých na využitie inštrukcií SIMD, ako je AVX-512, pre masívny paralelizmus.
Výsledkom je systém schopný vykonávať sofistikované logické uvažovanie za zlomok nákladov a energie tradičných prístupov, pričom si zachováva úplnú overiteľnosť.
Prebudenie podnikov
Za posledné dva roky prebieha v Silicon Valley zlatá horúčka. Každý podnik sa ponáhľal nasadiť LLM s očakávaním transformačných ziskov produktivity. Realita je však vystríhajúca.
Prieskum spoločnosti Deloitte z roku 2024 zistil, že 68 % podnikových projektov AI nesplnilo očakávania. Ako hlavné dôvody sa uvádzali halucinácie (42 %), neschopnosť overiť výstupy (38 %) a obavy týkajúce sa súladu s predpismi (35 %). Toto sú presne problémy, ktoré čisto neurónové prístupy nedokážu vyriešiť.
Štúdia spoločnosti McKinsey o implementácii AI z roku 2024 zistila, že spoločnosti čoraz viac požadujú „zodpovednú AI" pre rozhodnutia s vysokými stávkami. Chcú systémy, ktoré dokážu vysvetliť svoje uvažovanie, fungovať v rámci definovaných obmedzení a poskytovať audítorské záznamy pre regulačný súlad. Toto je neuro-symbolická paradigma.
Trh sa mení. Zatiaľ čo startupy naďalej naháňajú ďalší GPT-5, podniky potichu investujú do hybridných architektúr, ktorým možno skutočne dôverovať. Otázka už neznie „aký pôsobivý je demo?", ale „môžeme na tento výstup staviť povesť našej spoločnosti?"
Regulačný vietor do plachiet
Akt o umelej inteligencii EÚ, ktorý nadobudne plnú účinnosť v roku 2026, výslovne vyžaduje vysvetliteľnosť a ľudský dohľad pre systémy AI s vysokým rizikom. Článok 13 nariaďuje, aby systémy AI boli „navrhnuté a vyvinuté tak, aby ich prevádzka bola dostatočne transparentná na to, aby používatelia mohli interpretovať výstup systému a používať ho primerane."
Čisto neurónové siete v tomto teste zásadne zlyhávajú. Nie je možné „interpretovať" výstup transforméra s 1,8 bilióna parametrov žiadnym zmysluplným spôsobom. Váhy sú nečitateľné. Uvažovanie (ak také vôbec je) prebieha vo vysoko-dimenzionálnych vektorových priestoroch, ktoré žiadny človek nedokáže vizualizovať ani overiť.
Neuro-symbolické systémy sú naopak navrhnuté pre interpretovateľnosť. Každý záver je doplnený dôkazom. Každé rozhodnutie odkazuje na explicitné obmedzenia. Audítori môžu overiť súlad nie tým, že dôverujú AI, ale kontrolou jej logických odvodenín.
Článok 22 GDPR už vyžaduje „zmysluplné informácie o použitej logike" pre automatizované rozhodovanie, ktoré ovplyvňuje jednotlivcov. Finančné predpisy (Bazilej IV, MiFID II) vyžadujú vysvetliteľnosť pre algoritmické obchodovanie a úverové rozhodnutia. Predpisy v zdravotníctve (usmernenia FDA pre zdravotnícke zariadenia s AI/ML) vyžadujú klinickú validáciu uvažovania AI.
Regulačné prostredie nie je voči AI nepriateľské. Je nepriateľské voči nevysvetliteľnej AI. Neuro-symbolické architektúry nie sú len technicky nadradené; sú pripravené na reguláciu.
Budovanie budúcnosti
V spoločnosti Dweve sme od nášho založenia smerovali k tomuto momentu. Kým sa zvyšok odvetvia zameriaval na škálovacie preteky a trénoval stále väčšie transformátory na stále väčšom množstve dát, my sme investovali do riešiteľov obmedzení, znalostných grafov, formálnej verifikácie a základných algoritmov, vďaka ktorým je neuro-symbolická AI praktická vo veľkom rozsahu.
Naša architektúra so 456 doménovými špecialistami v Dweve Loom nie je 456 miliárd parametrov. Je to 456 špecializovaných množín obmedzení, z ktorých každá obsahuje 64-128 MB overených binárnych obmedzení. Pre každú konkrétnu požiadavku sa aktivuje iba 4-8 z nich, čo zaručuje efektívnosť a relevantnosť.
Našich 1 937 algoritmov v Dweve Core poskytuje výpočtový základ optimalizovaný pre binárne operácie na všetkých hlavných hardvérových platformách: CPU (SSE2, AVX2, AVX-512, ARM NEON), GPU (CUDA, ROCm, Metal, Vulkan), FPGA a dokonca aj WebAssembly pre vykonávanie v prehliadači.
Naše sedemstupňové epistemologické potrubie v Dweve Spindle zaručuje, že znalosti vstupujúce do systému sú predtým, než sa stanú obmedzeniami, overené. Hierarchia 32 agentov zachytáva chyby, overuje zdroje a udržiava kvalitu znalostí.
Toto nie je len lepšia architektúra. Je to iná filozofia. Veríme, že budúcnosť AI nespočíva v rýchlejšom a lacnejšom generovaní vierohodne znejúcich výstupov. Ide o budovanie systémov, ktorým možno skutočne dôverovať, systémov, ktoré vedia ukázať svoju prácu, systémov, na ktoré môžu podniky staviť svoje fungovanie.
Čo príde ďalej
Neuro-symbolická renesancia nie je predpoveď. Už sa deje. Spoločnosť Google DeepMind publikovala výskum o neuro-symbolických prístupoch. Meta AI investovala do hybridných systémov uvažovania. IBM Watson, ktorý bol priekopníkom raných expertných systémov, sa vracia k integrácii symbolickej AI.
Ale to sú výskumné projekty. Dweve je produkčný systém. Naša platforma dnes spracúva podnikové pracovné zaťaženia a prináša spoľahlivosť, ktorú čisto neurónové prístupy nedokážu dosiahnuť.
Otázkou pre lídrov podnikovej AI nie je, či prijať neuro-symbolické prístupy. To je už nevyhnutné vzhľadom na regulačné požiadavky a požiadavky na spoľahlivosť. Otázkou je, či túto schopnosť vybudovať interne (viacročné úsilie vyžadujúce špecializované odborné znalosti), počkať, kým ju veľké technologické spoločnosti sproduktualizujú (čím sa vzdá konkurenčná výhoda), alebo spolupracovať so spoločnosťou, ktorá už tieto náročné problémy vyriešila.
Dweve spája vnímaciu silu neurónových sietí s logickou presnosťou symbolického uvažovania. Zvládame chaotický reálny svet (preklepy, šum, nejednoznačnosť) a zároveň zaručujeme matematicky dokázateľnú správnosť pri kritických rozhodnutiach. Dosahujeme to pri 96 % nižšej spotrebe energie ako tradičná AI, čo umožňuje nasadenie na bežnom hardvéri bez masívnej GPU infraštruktúry.
Ak vaša firma potrebuje AI, ktorá dokáže uvažovať, nielen reagovať, mali by sme sa porozprávať. Ak pôsobíte v regulovanom odvetví a potrebujete vysvetliteľné rozhodovanie, sme pripravení. Ak vás spálili chatboty s halucináciami a chcete AI, ktorej môžete naozaj dôverovať, vytvorili sme ju práve pre vás.
Budúcnosť AI nie je väčší Systém 1. Je to syntéza oboch kognitívnych systémov: Umelec a Účtovník, Intuícia a Logika, Neurónové a Symbolické.
Renesancia je tu. A Dweve ju vedie.