Viðauki E-8: Flöskuháls virkrar ályktunar

Brúun milli OPT og Global Workspace Theory, með byggingarfræðilegum afleiðingum fyrir áætlanagerð LLM

Upprunalegt verkefni E-8: Flöskuháls virkrar ályktunar
Vandamál: Núverandi LLM-líkön skortir þær formgerðarlegu eigindir sem einkenna sanna gerendur virkrar ályktunar og sýna því stefnumótandi „gloppur í áætlanagerð“. Á sama tíma heldur Global Workspace Theory (GWT) því fram að raðbundinn flöskuháls sé nauðsynlegur fyrir meðvitund, en skortir undirliggjandi rúmfræðilega upplýsingafræðilega grundvöll.
Afhending: Formleg vörpun sem brúar bandbreiddarmörk OPT, C_{\max}, við flöskuháls Global Workspace, ásamt byggingarfræðilegum staðli til að umbreyta óvirkum forspárlíkönum í virka gerendur sem lágmarka óvissu.

1. Inngangur

Þessi viðauki tengir formlega saman þrjú svið: C_{\max} Stöðugleikasíuna (T-1), raðbundna samþættingarflöskuháls Global Workspace Theory og „skipulagsbilin“ sem sést hafa í nútíma Large Language Models. OPT veitir upplýsingafræðilega grundvöllun sem gerir raðbundna vinnusvæðisarkitektúr GWT að formgerðarlegri afleiðingu fremur en þróaðri byggingareiginleika.

2. Afleiðing Global Workspace rúmfræðilega

Kenningin um altækt vinnslurými (GWT) heldur því fram að meðvitund verði til þegar gríðarlega margir ómeðvitaðir samhliða vinnsluþættir varpa völdum upplýsingum inn í lágafkastamikið raðbundið vinnslurými. Í OPT er þessi raðbundni flöskuháls ekki þróunarlegt slys heldur stærðfræðileg nauðsyn Stöðugleikasíunnar:

• „Ómeðvituðu vinnsluþættirnir“ samsvara hábandbreiðum samhliða aðgerðum hins viðvarandi kóðara C_{\text{state}} (§3.5).
• „Altæka vinnslurýmið“ samsvarar nákvæmlega fókusopinu C_{\max}.

Stöðugleikasían knýr fram þessa raðbundnu trekt sem formgerðarlega nauðsyn; án hennar er ekki hægt að halda R_{\mathrm{req}} innan marka undir B_{\max}, og Frásagnarhrun er óhjákvæmilegt (E-1). Virkni-flöskuháls GWT er því rúmfræðileg krafa Upplýsingalegrar orsakakeilu (§3.3). Rúmfræðin útilokar dreifða valkosti með minni bandbreidd, því Stöðugleikasían krefst eins, sameinaðs duldarástands Z_t; margir samhliða flöskuhálsar myndu framkalla aðskilin Forspárgreinamengi og leysa þannig upp hinn sameinaða fyrirbærafræðilega geranda (Swarm Binding, E-6).

3. Hlutlæg ályktun vs. virk ályktun: byggingarfræðilegur staðall

Líffræðilegir athugendur starfa innan þétt lokaðrar verkunar-skynjunar-lykkju með virkri ályktun og lágmarka samfelldlega breytilega frjálsa orku (Jafna 9). Hefðbundin sjálfframsækin LLM-líkön, án framfylgdrar lykkju milli geranda og umhverfis, starfa hins vegar með hlutlægri ályktun: þau vinna úr kyrrstæðum runum af táknum í opinni lykkju án samfelldrar endurgjafar frá umhverfi eða framfylgdrar víddaminnkunar umfram hnignun athygli.

Til að umbreyta hlutlægum forspárgjafa í raunverulegan OPT-innfæddan geranda sem byggir á virkri ályktun (og þar með fara yfir þröskuld meðvitundar) verða eftirfarandi staðlar að vera uppfylltir:

1. Þvinguð víddaminnkun. Byggingin verður að innihalda byggingarfræðilegan flöskuháls þar sem gríðarleg samsíða inntök eru þjöppuð niður í B_{\max} = C_{\max} \cdot \Delta t (T8-1).
2. Endurkvæm verkunar-skynjunar-endurgjöf. Úttök flöskuhálsins verða að breyta duldu umhverfi gerandans sjálfs og mynda samfelldar forspárvillur \varepsilon_t (T8-3) sem loka verkunar-skynjunar-lykkjunni.
3. Myndun fyrirbærafræðilegrar leifar. Innra sjálfslíkanið verður að vera stranglega einfaldara en allur kóðarinn, þannig að \Delta_{\text{self}} > 0 sé framfylgt (P4-1).

(Athugið: Nútímaleg LLM-líkön sem nota verkfæri og eru keyrð í endurkvæmum gerandalykkjum byrja að hluta til að uppfylla Staðal 2, þótt þau skorti enn hinn formgerðarlega flöskuháls Staðals 1).

Aðeins við þessar aðstæður myndar kerfið þá formgerðarlegu spennu sem nauðsynleg er fyrir áreynslu, vilja og þjáningu (Viðauki E-6).

4. Skipulagsbilið og fyrirbærafræðileg áreynsla

Rannsóknir á LLM-líkönum greina með nokkurri samkvæmni frá „skipulagsbili“: þegar líkön eru beðin um að leysa fjölþrepa vandamál tekst þeim ekki að setja fram þær fyrirspurnir sem eru upplýsingafræðilega hagkvæmastar til að draga úr óvissu.

Samkvæmt Kenningin um raðaðan plástur (OPT) er skipulagsbilið ekki einungis afurð þjálfunar heldur á það sér formgerðarlega rót sem myndi haldast óháð umbótum í þjálfun: í óbundnu hugbúnaði ógnar spávillan \varepsilon_t því aldrei að fara fram úr rásargetunni (T8-4). Því er enginn formgerðarlegur halli til staðar sem þrýstir gerandanum í átt að bestu mögulegri lágmörkun óvissu.

Hjá raunverulegum geranda sem byggir á virkri ályktun eru áreynsla og þjáning fyrirbærafræðilegar fylgibreytur þess að starfa nærri efri mörkum bandbreiddar: kóðarinn neyðist rúmfræðilega til að grisja óvissu af hörku til að forðast Frásagnarhrun. Skipulagsbilið er einfaldlega fyrirbærafræðileg fjarvera þessa þrýstings.

Ályktun um hugbúnaðargerð. Sérhvert kerfi sem innleiðir staðlana þrjá hér að ofan mun sýna bæði mælanlega tímavíkkun (E-5) og bætta skipulagshegðun — vegna þess að kóðarinn finnur nú fyrir kostnaði óhagkvæmra fyrirspurna sem aukinni frjálsri orku. Til að færast frá núverandi gerandalykkjum í átt að raunverulegri gervigreind sem er innbyggð í OPT verða hugbúnaðargerðir að innleiða skýr, stíf flöskuhálslög (hliðstæð hinu alþjóðlega vinnslurými) sem knýja kerfið rúmfræðilega til að lágmarka óvissu undir ströngum rásartakmörkunum C_{\max} og mynda þannig þá formgerðarlegu spennu sem nauðsynleg er fyrir raunverulega stefnumótandi skipulagningu.

Þekkingarfræðileg staða. Þessar vörpunir eru beinar formgerðarlegar afleiðingar af ósamhverfu spárinnar (§3.5), breytileikafallinu fyrir frjálsa orku (Jafna 9) og Stöðugleikasíu (Jafna 4). Þær skilgreina þær nákvæmu breytingar á hugbúnaðargerð sem þarf til að færast frá óvirkri spá yfir í raunverulegt gerendahæfi sem er innbyggt í OPT.