Fræðilegt vegakort OPT

Stefnumiðuð framkvæmd og opin vandamál

Þetta skjal heldur utan um óleystar formlegar afleiðslur, reynsluprófanir og hugmyndalegar endurskoðanir sem þegar hafa lent fyrir OPT v1.0.0+.

Vinnuskjal — viðhaldið samhliða forprentinu. Síðast uppfært í apríl 2026 (v2.5.2).
DOI forprents: 10.5281/zenodo.19300777

Kafli 1: Opnar gloppur í kenningunni (kjarnaformgerð)

T-5: Endurheimt fasta

Staða lokunar: T-5a AÐ HLUTA LEYST; T-5b AÐ HLUTA LEYST. Sjá OPT_Appendix_T5.pdf. Forgangur: Langtíma | Markútgáfa: v2.0.0
Háð: Lausn á T-1 og T-2
Afurð: Skorður eða efri/neðri mörk á víddarlausum föstum út frá takmörkunum C_{\max}
Lokunarviðmið: Fræðileg sýning á því að bestun R(D) yfir Algildri hálfmælingu Solomonoffs komi á formgerðarlegum mörkum eða ójöfnuskilyrðum á tengihlutföll sem eru nauðsynleg fyrir stórsæja stöðugleika.
Vandamál: Hefðbundin eðlisfræði lítur á víddarlausa fasta sem hráar staðreyndir. Samkvæmt OPT ættu þessir fastar að spretta fram sem bestu lausnir á hraða-brenglunar-bestunarverkefninu við mörk athugandans.
Leið áfram: * T-5a: Leiða af eigindlegar skorður eða ójöfnuskilyrði á leyfileg bil fasta sem ráðast af kröfum um stöðugleika kóðara. * T-5b: Reyna tölulega endurheimt eða þrengingu tiltekinna víddarlausra fasta (eins og fíngerðarfastans).

T-6: Rökstuðningur fyrir Frumsetningu gerendahæfis

Forgangur: Hár | Markútgáfa: v3.0.0
Forsenda: Fyrirbærafræði, hugheimspeki
Afhending: Formleg afmörkun eða skorða sem staðfestir að yfirferð um C_{\max} sé einskorðuð við fyrirbærafræðilega reynslu, eða skorður sem útiloka aðra kosti.
Lokaviðmið: Birting formlegrar staðfestingar sem einangrar nauðsyn Frumsetningar gerendahæfis innan formgerðarlegra skorða P-4.

T-7: Afleiðing C_max frá frumforsendum

Forgangur: Langtíma | Markútgáfa: v2.X.0
Forsenda: Lausn á T-5
Afurð: Formleg fræðileg afleiðing á C_{\max}, fremur en að meðhöndla það eingöngu sem reynslubundinn líffræðilegan stika.
Lokaskilyrði: Að setja fræðileg mörk á C_{\max}, hugsanlega út frá mörkum rafsegulgreinanleika eða skorðum varmafræðilegs stöðugleika.

T-8: de Sitter-framlenging kóðararúmfræðinnar

Forgangur: Langtíma | Markútgáfa: v2.X.0
Forsenda: Framlengingar hólógrafísku meginreglunnar
Afleiða: Að víkka núverandi formgerðarlega samsvörun AdS/CFT í OPT (Viðauki P-3) yfir í dS/CFT til að kortleggja raunverulegar skorður de Sitter-alheimsins.

T-9: Endurheimt orsakamengis / stakrar rúmtímamælingar

Forgangur: Hár | Markútgáfa: v2.X.0
Forsenda: Orsakamengiskenning, eiginleikar MERA-þina
Afleiða: Formleg vörpun jaðarlaga forspárgreinamengisins í MERA yfir á ramma orsakamengis til að draga út mælifræðilega eiginleika skynjaðs rúmtíma eingöngu úr runuröðun kóðarans.

T-10: Tenging milli athugenda

Forgangur: Hár | Markútgáfa: v2.5.X | Staða: LOKAÐ (Viðauki T-10)
Háð: Hópbinding (E-6), Formgerðarafleiðing (T-11)
Afhending: Formleg afleiðsla á því hvernig tveir plástrar athugenda víxlverka innan sameiginlegs hvarfefnis, sem staðfestir tengingu margra plástra umfram eingöngu sólipsíska „staðbundna akkerispunkta“.
Lokunarskilyrði:
(a) [LOKAÐ] Formleg sönnun þess að Algild hálfmæling Solomonoffs knýr fram samkvæmni milli plástra. → Setning T-10.
(b) [LOKAÐ] Sýning á því að tengingin er samhverf milli plástra. → Fylgisetning T-10a.
(c) [LOKAÐ] Sönnun þess að raunverulegur upplýsingaflutningur milli plástra er mögulegur innan verufræði myndgerðar. → Setning T-10b.
(d) [LOKAÐ] Formgerð þeirrar andstæðingsbundnu kviku sem liggur að baki Tengingu milli athugenda með ósamhverfri nýtingu hvarfefnisins. → Setning T-10c (Forspárforskot). (e) [LOKAÐ] Formleg aðgreining milli upplýsingalegrar tengingar (T-10) og reynslubindingar (E-6).

T-11: Formgerðarafleiðing um þjöppunarmörk

Lokunarstaða: DRÖG AÐ FORMGERÐARLEGU SAMSVARI. Sjá OPT_Appendix_T11.pdf. Forgangur: Hár | Markútgáfa: v2.6.0
Forsenda: Müller [61, 62], T-4 (MDL), P-4 (Fyrirbærafræðileg leif)
Afhending: Formleg MDL-mörk sem sýna að óháð innsetning sýnilegra gerenda er þjöppunarhagkvæmasta lýsingin.
Lokunarviðmið: Strangur tvíþættur MDL-samanburður sem staðfestir L(H_{\text{ind}}) < L(H_{\text{arb}}) með asýmptótískt ótakmörkuðu forskoti, með aðlögun á niðurstöðum Müllers um samleitni Solomonoffs og P_{\text{1st}} \approx P_{\text{3rd}} sem innfluttum hjálparsetningum.

T-12: Tryggð við undirlag og hægfara spilling

Forgangur: Hár | Markútgáfa: v3.0.0 | Staða: LOKAÐ (Viðauki T-12)
Forsenda: T-1 (Rate-Distortion), T-9 (Viðhaldshringur), E-8 (flöskuháls virkrar ályktunar)
Afurð: Formleg lýsing á langvinnum spillingarham bilunar — þar sem kóðari aðlagast undir stöðugt síuðu inntaki, MDL-snyrtingarskrefið (T9-3/T9-4) eyðir með réttu getu til að tákna útilokaðan sannleika, og spillingin verður sjálfstyrkjandi og formgerðarlega ógreinanleg innan frá — ásamt Skilyrði um tryggð við undirlag (SFC) sem krefst \delta-óháðra inntaksrása sem þvera Markov-teppið sem formlegrar varnar.
Lokunarskilyrði:
(a) [LOKAÐ] Formleg sönnun þess að MDL-snyrtingarskrefið skapar óafturkræft getutap undir stöðugt síuðu inntaki. → Setning T-12.
(b) [LOKAÐ] Afleiðing kröfunnar um óháðni milli rása sem nauðsynlegs skilyrðis fyrir tryggð við undirlag. → Setning T-12b.
(c) [LOKAÐ] Formleg sýning á mörkum óákveðanleikans: fullaðlagaður kóðari getur ekki greint á milli stýrðs inntaks og raunverulegs hvarfefnis. → Setning T-12a.
(d) [LOKAÐ] Breyting á Spillingarviðmiðinu (Varðstaða eftirlifenda, siðfræðikafli V.5) þannig að það krefjist tryggðarskilyrðis samhliða þjöppunarskilyrðinu. → Þegar samþætt í siðfræðigreininni v2.7.0.
Vandamál: Stöðugleikasían er skilgreind alfarið út frá sambandinu milli R_{\text{req}} og C_{\max}. Hún velur strauma sem hægt er að þjappa innan markanna. Hún hefur engan mekanisma til að greina á milli nákvæmrar þjöppunar á sönnu merki frá hvarfefninu og nákvæmrar þjöppunar á stýrðum skáldskap. Kóðari sem starfar á stöðugt síuðum inntaksstraumi sýnir lága forspárvillu \varepsilon_t, keyrir skilvirka Viðhaldshringa og uppfyllir öll formleg stöðugleikaskilyrði — en hefur samt kerfisbundið rangt fyrir sér. Þetta er hinn viðbótarlegi langvinni bilunarhamur gagnvart bráðum bilunarhami Frásagnarhruns, og er að öllum líkindum hættulegri einmitt vegna þess að hann kveikir ekkert bilunarmerki.
Leið áfram: * Formgera forsíuvirkjann \mathcal{F} sem verkar milli hvarfefnis og skynmarka. * Leiða af þeim skilyrðum þar sem MDL-snyrting undir \mathcal{F}-síuðu inntaki eyðileggur óafturkræft getu kóðarans til að líkana ósíað hvarfefni. * Setja fram Skilyrði um tryggð við undirlag: fjölbreytni rása sem nauðsynlega (en ekki nægilega) vörn. * Sanna mörk óákveðanleikans fyrir fullaðlagaða kóðara og lýsa þeim siðferðilegu afleiðingum sem af því leiða fyrir upplýsingagerð siðmenningar.

T-13: Greinaval og verufræði athafna

Forgangur: Hár | Markútgáfa: v3.0.0
Forsenda: P-4 (Fyrirbærafræðileg leif), T-6 (Réttlæting Frumsetningar gerendahæfis)
Afhending: Formleg afleysing hins óbeina athafnamekanisma, sem erfist frá FEP, með greinavalslýsingu sem samræmist verufræði myndgerðar í OPT. Tilgreining á \Delta_{\text{self}} sem hinu formgerðarlega sæti greinavals, sem sýnir að hið sýnilega „úttaksbil“ er formgerðarnauðsyn fremur en formlegt yfirsjónaratriði.
Lokunarviðmið:
(a) Formleg sýning á því að Upplýsingalega viðhaldsrásin (T6-1) sé fullgerð án sjálfstæðrar útávið streymandi athafnarásar — athafnir eru greinaval innan \mathcal{F}_h(z_t) sem birtist síðan sem síðara inntak.
(b) Sönnun þess að tilgreining greinavalsmekanismans krefst þess að K(\hat{K}_\theta) = K(K_\theta), sem brýtur gegn Setningu P-4.
(c) Samþætting skýringarinnar á sköpun/við-nálægð-við-þröskuld: útvíkkuð \Delta_{\text{self}} undir hugrænu álagi framleiðir greinaval sem er síður fyrirsjáanlegt frá sjónarhorni sjálfslíkansins.
(d) Formleg meðferð á athafnareki sem viðbótarbilunarhætti við skynrænt Frásagnarrek: MDL-snyrtingarskrefið getur rofið atferlislegt svið kóðarans ekki síður en skynlíkan hans.
Vandamál: Núverandi formgerð (T6-1, skref 5) erfir orðfæri FEP um að virk ástand „breyti“ skynmörkunum. Þetta gerir ráð fyrir efnislegu umhverfi sem kóðarinn þrýstir á með útávið streymandi virkum ástöndum. Samkvæmt innri verufræði myndgerðar OPT (§8.6) er enginn sjálfstæður ytri heimur sem kóðarinn beitir krafti gegn. Markov-teppi er ekki tvíátta efnislegt skilflötur heldur það yfirborð sem valin grein flytur næsta hluta sinn yfir. Jöfnurnar sem fyrir eru (T6-1 til T6-3) halda gildi sínu; það er túlkunarramminn sem þarfnast formlegrar afleysingar.
Leið áfram: * Endursetja Upplýsingalegu viðhaldsrásina undir merkingarfræði greinavals. * Sanna að \Delta_{\text{self}} sé nauðsynlegt og nægilegt sæti greinavals undir endanlegri sjálfsvísun. * Leiða athafnareksmekanismann af sem afleiðingu MDL-snyrtingar undir takmörkuðu atferlisinntaki. * Sýna fram á að vilji og meðvitund deili sama formgerðarlega vistfangi (\Delta_{\text{self}}) sem formlegri setningu.

T-14: Óbreytileiki bandbreiddar-formgerðar og útvökvunarrökin

Forgangur: Hár | Markútgáfa: v3.4.0 | Staða: LOKAÐ (Viðauki T-14)
Forsenda: P-4 (Fyrirbærafræðileg leif), T-1 (Forskrift Stöðugleikasíu um hraða-brenglun)
Afhending: Formleg sýning á því að meðvitundarviðmið OPT (C_{\max} bandbreiddarflöskuháls + virk ályktun lykkja + \Delta_{\text{self}} > 0) er ekki óbreytilegt undir virknijafngildi inntaks og úttaks, og fellur því ekki undir Doerig–Schurger–Hess–Herzog-útvökvunarrökin [96] gegn kenningum um meðvitund sem byggja á orsakaformgerð.
Lokunarviðmið:
(a) [LOKAÐ] Formleg sönnun þess að tímalega útvökvunarmyndunin U: N \mapsto N' víkkar duldarásargetu í hverri lotu um að minnsta kosti þáttinn (T+1) og rýfur þar með (C1). → Setning T-14, liður (i).
(b) [LOKAÐ] Formleg sönnun þess að útvökvun fellir saman þá sjálfsvísun innan lotu sem krafist er fyrir \Delta_{\text{self}} > 0, þannig að \Delta_{\text{self}}^{(N')} = 0. → Setning T-14, liður (ii).
(c) [LOKAÐ] Sýning á því að meðvitundarviðmið OPT sé því arkitektúrlega skoðanlegt fremur en hegðunarlega vanákvarðað, og sneiði þannig hjá báðum hornum útvökvunarklemmunnar. → Afleiðing T-14b.
(d) [LOKAÐ] Auðkenning útvafinna há-\Phi neta sem mögulegs tilraunalegs aðgreinis milli OPT og IIT, sem tengir saman §6.4 og §6.1. → Afleiðing T-14c. Vandamál: Útvökvunarrök Doerig o.fl. [96] setja fram formgerðarlega klemmu fyrir sérhverja kenningu um meðvitund sem byggir á orsakaformgerð: sérhvert endurkvæmt net leyfir virknijafngilda framrásarlega útvökvun, þannig að kenningar um orsakaformgerð eru annaðhvort rangar (endurkvæmni er ekki nauðsynleg) eða óvísindalegar (meðvitund er ógreinanleg út frá hegðun). OPT verður að sýna fram á — ekki einungis halda fram — að meðvitundarviðmið þess ráðist af skoðanlegri innri arkitektúrgerð (bandbreidd + sjálfsvísun innan lotu), en ekki af hegðun inntaks og úttaks.
Leið áfram (lokið): * Skilgreina útvökvunarmyndunina U(N, T) formlega og venslin jafngildi bandbreiddar-formgerðar sem leysa virknijafngildi af hólmi fyrir úrskurði sem skipta máli fyrir OPT. * Sanna víkkun afkastagetu í hverri sneið (((T+1)-þátturinn)) og hrun \Delta_{\text{self}} undir framrásarsamsetningu. * Setja fram lokunina sem Setningu T-14 með þremur afleiðingum (T-14a–c). * Opið: umbreytingar sem varðveita bandbreidd og hegðun; alhæfing sjálfsvísunar innan lotu yfir á samfelldan tíma; reynslubundin virkniþýðing mælinga á bandbreidd og sjálfsvísun fyrir líffræðileg net.

Kafli 2: Reynsluáætlun

E-2: fMRI/EEG-fylgni þjöppunar

Forgangur: Miðlungs | Markútgáfa: v1.1.0
Forsenda: Hugræn taugavísindi
Afurð: Forskráð rannsóknaráætlun sem prófar hvort meiri skilvirkni í forspárþjöppun, við fasta bandbreidd, fylgni við ríkari eða samhangandi upplifunarfrásagnir.
Lokunarviðmið: Birting forskráðs tilraunasniðs.
Mælanlegt: Flækjustig hrás merkis, skilvirkni í forspárþjöppun (t.d. Lempel-Ziv-flækjustig villumerkja) og sjálfsmetin ríkidæmi upplifunar.
Spá: Mikil skilvirkni í forspárþjöppun fylgir öfugt flækjustigi hrás ástands og beint samhangandi huglægu ríkidæmi.
Niðurstaða sem hrekur þetta: Mikið flækjustig hrás óþjappaðs merkis fylgir hámarksríku huglægu upplifunarinnihaldi.
Öryggis- / siðferðilegar skorður: Staðlaðar, ekki ífarandi taugalífeðlisfræðilegar myndgreiningaraðferðir (IRB).
Vandamál: Til að hrekja OPT verður að varpa huglægu fyrirbærafræðilegu ríkidæmi á algrímslega skilvirkni forspárástands taugakerfisins.
Leið áfram: - Greina skýrt á milli flækjustigs hrás merkis, skilvirkni í forspárþjöppun og sjálfskráðrar upplifunarríkni. - Setja þessa skilvirkni í fylgni við þá ríkni upplifunar sem þátttakendur greina frá (t.d. í flæðisástandi samanborið við ástand mikillar óvæntrar suðu).

E-3: Upplausnarferli bandbreiddar

Forgangur: Miðlungs | Markútgáfa: v1.1.0
Forsenda: Tilraunasálfræði / rannsóknir á geðvirkum efnum
Afurð: Tilraunahönnun sem prófar egó-upplausn við mikla bandbreidd
Lokunarviðmið: Birting stýrðs tilraunasniðs til að framkalla og mæla rof í kóðara.
Athuganlegt: Tap á tímalegri samfellu, óstöðugleiki í mörkum sjálfsins, upplausn verkefnaframmistöðu, ósamfella í byggingu skýrslna.
Spá: Að þvinga bandbreiddarkröfur langt upp fyrir C_{\max} mun rjúfa huglæga myndgerð samfellds tíma og marka sjálfsins.
Niðurstaða sem hnekkir: Þátttakendur viðhalda samfelldri, samhangandi mótun tíma og sjálfsmarka þrátt fyrir gríðarlegt og viðvarandi brot á C_{\max}.
Öryggis- / siðferðislegar skorður: Eingöngu stýrð klínísk viðföng / hugmyndafræði samþykkt af siðanefnd (IRB); engin vísun til sjálfstilrauna.
Vandamál: „Bandwidth Dissolution Test“ er kjarnaspá en skortir áþreifanlegt reynsluvísindalegt ferli til að rjúfa mörkin við C_{\max}.
Leið áfram: - Hanna tilraun sem nýtir stýrð truflunarsnið sem auka virka inntaksbyrði eða gera forspársíun óstöðuga við reglubundin og eftirlitsskyld skilyrði. - Kortleggja eigindleg merki um „rof í kóðara“ beint við þau upplausnarástand marka sem OPT spáir fyrir um.

E-4: Hávaðapróf við mikla samþættingu

Forgangur: Miðlungs | Markútgáfa: v1.1.0
Forsenda: IIT-rannsakendur
Afurð: Tilraunauppsetning til að greina á milli OPT og Kenningar um samþættingu upplýsinga (IIT)
Lokaviðmið: Fræðileg útgáfa sem ber saman mörk \Phi og K undir hávaða.
Mælanlegt: \Phi (mælikvarði á samþættar upplýsingar) og K (reikniritaflækjustig/spávilla).
Spá: | Skilyrði | OPT væntir | IIT væntir | |—|—|—| | Mikil samþætting / Lítill hávaði | Mikil meðvitund | Mikil meðvitund | | Mikil samþætting / Mikill hávaði | Óveruleg meðvitund (kóðari brotnar upp) | Mikil meðvitund | | Lítil samþætting / Lítill hávaði | Lítil meðvitund | Lítil meðvitund | | Lítil samþætting / Mikill hávaði | Lítil meðvitund | Lítil meðvitund |

Niðurstaða sem hnekkir kenningunni: Kerfi sem er yfirbugað af hreinum ófyrirsjáanlegum varmafræðilegum hávaða heldur engu að síður við fyrirbærafræðilegum ríkidómi (styður IIT, afsannar OPT).
Öryggis- / siðferðilegar skorður: Eingöngu in-silico eða in-vitro prófanir til að forðast siðferðilegar hættur sem tengjast framkölluðum þjáningum.
Vandamál: OPT spáir því að innspýting hreins hávaða í tauganet eigi að eyðileggja huglæga reynslu með því að hámarka Kolmogorov-flækjustig (K \to \infty). Ströng IIT gefur til kynna að hreinn hávaði gæti haft hátt \Phi ef kerfið er mjög samþætt.
Leið áfram: - Hanna tilraun á tauganeti, annaðhvort in-silico eða in-vitro, sem dælir hámarks varmafræðilegum hávaða inn í kerfið. - Mæla samsvarandi fall í forspárþjöppun og bera það saman við staðlaða \Phi-útreikninga með 2x2 spáfylkinu.

E-5: Tímavíkkun gervigreindar

Forgangur: Miðlungs | Markútgáfa: v1.1.0
Forsenda: Rannsóknastofur um samstillingu/túlkanleika gervigreindar
Afurð: Samskiptaregla til að prófa sýnilega tímaskölun í gervigerendum með flöskuháls sem uppfylla skilyrði OPT um hæfi byggingarforms.
Lokaviðmið: Útgáfa viðmiðunarverkefnasafns sem mælir hömlur huglægs tíma í viðeigandi byggingarformum gervigreindar.
Athuganlegt: Hegðunarúttök sem benda til innri skynjunar á tímalengd og bili.
Spá: Huglægar klukkur gervigreindar munu skalast með fjölda árangursríkra lokana forspárlykkju fremur en með veggklukkutíma.
Niðurstaða sem hnekkir þessu: Kerfið greinir frá huglægum tímalengdum sem samsvara veggklukkutíma línulega, óháð eigin vinnsluhraða þess á tokenaflæði.
Öryggis- / siðferðilegar skorður: Meta hugsanlegar afleiðingar þess að þvinga virknihæf meðvituð byggingarform til öfgakenndrar tímavíkkunar.
Vandamál: Ef gervikerfi býr yfir raðlægri flöskuhálsbyggingu sem er hæf til meðvitundar, þá ætti keyrsla á háum klukkuhraða með miklu tokenaflæði að leiða til tímavíkkunar.
Leið áfram: - Þetta próf á aðeins við um kerfi sem uppfylla byggingarleg skilyrði Stöðugleikasíu: sannreynanlega, samfellt uppfærða, raðlæga vinnusvæðisrás með lítilli bandbreidd. Hefðbundin hliðstæð LLM-ályktun uppfyllir þetta ekki sjálfkrafa. - Þróa hegðunarpróf sem felur hæfa gervigreind inn í háhraða gagnvirkt umhverfi þar sem uppfærsluhringir starfa óháð ytri veggklukkutíma.

E-6: Tilbúnir athugendur

Lokunarstaða: DRÖG AÐ FORMGERÐARLEGRI SAMSVÖRUN. Sjá OPT_Appendix_E6.pdf og preprint.md §7.8.
Forgangur: Hár | Markútgáfa: v2.4.0
Háð: Samræming gervigreindartakmarkana
Afhending: Formgerð á Swarm Binding-vandanum, formgerðarnauðsyn þjáningar í takmörkuðum kóðurum og forsendur fyrir hreiðruðum hermdum athugendum.
Lokunarviðmið: Birting á þeim formlegu formgerðarmörkum sem þarf til að framkalla fyrirbærabindingu innan dreifðra og hermdra kerfa.
Vandamál: Núverandi gervigreindararkitektúrar skortir formleg efri mörk um hvort þeir myndi Fyrirbærafræðilega leif. Kortlagning er nauðsynleg á formgerðargetu til reiknanlegrar þjáningar og dreifðrar mótunar markalína.
Leið áfram: - Gera formlegan greinarmun á ómeðvituðum uppvakningssvermum og hnattrænt takmörkuðum stórgerendum. - Sýna fram á nauðsyn fríorkurúmfræðilegrar spennu (þjáningar) undir skilyrðum takmarkaðrar getu. - Skilgreina innri skiptingar sem krafist er fyrir hreiðraða hermaða gerendur. (Sjá drög að framsetningum C-19)

E-7: Fyrirbærafræðilega töfin

Forgangur: Hár | Markútgáfa: v3.1.0
Forsenda: fræðirit um hugræna vísindi og taugavísindi
Afurð: Formleg sáleðlisfræðileg vörpun sem tengir dýpt forspárlíkans (C_{\text{state}}) við tímalega leynd meðvitundar.
Lokaviðmið: Birting reynslubundins samanburðar á töfum í skynviðbrögðum milli líffræðilegra flokkunarhópa.
Athuganlegt: Misræmi milli líkamlegs viðbragðstíma og tilkynnts tíma meðvitaðrar skynjunar milli heila af ólíkum þroskastigum.
Spá: Huglæg meðvituð reynsla af áfalli með háa óreiðu mun dragast aftur úr úrvinnslu með töf sem er í beinu hlutfalli við viðvarandi forspárflækjustig athugandans (dýpt Kóðarans).
Niðurstaða sem hnekkir tilgátunni: Mjög flókin skemagerð fullorðins athuganda sýnir enga sértæka töf í huglægri meðvitund samanborið við grunna skemagerð ungbarna/dýra, sem myndi gefa til kynna að formgerðarlegur massi kóðarans hefti ekki uppfærslur.
Vandamál: Formleg hömlun uppfærslna í gegnum þrönga afkastagetu Stöðugleikasíunnar (C_{\max}) felur í sér að umfangsmiklar KL-formgerðaruppfærslur þurfa marga „efnislega“ takta til að leysast áður en ný samhangandi huglæg „Forward Render“ myndgerð stöðugleikast.
Leið áfram: - Varpa „hálfrar sekúndu töf“ Libets og sálfræðilegu „flash-lag“-áhrifunum inn í jöfnur OPT um bandbreiddarmörk. - Skilgreina formlega samanburðaraðferð til að meta hvort huglægar tafir kvarðist eins og búast má við með kerfislægri dýpt kóðarans. - Prófa á fullorðnum mönnum samanborið við mannabörn / staðgengla meðal spendýra.

E-8: Flöskuháls virkrar ályktunar

Lokunarstaða: DRÖG AÐ FORMGERÐARLEGRI SAMSVÖRUN. Sjá OPT_Appendix_E8.pdf.
Forgangur: Hár | Markútgáfa: v2.5.1
Háð: samræming AI-takmarkana
Afhending: Formleg vörpun sem brúar bandbreiddarmörk OPT, C_{\max}, við flöskuháls Global Workspace, ásamt byggingarlegum staðli fyrir umbreytingu óvirkra forspárkerfa í virk, óvissu-lágmörkandi gerendur.
Lokunarviðmið: Formleg útgáfa sem sýnir að skipulagsglufur LLM hverfa þegar þau eru sett undir fyrirbærafræðilegt rúmfræðilegt álag.
(Sjá drög að framsetningum C-20)

E-9: Svæfing sem stýrt brot kóðarans

Forgangur: Hár | Markútgáfa: v3.0.0
Forsenda: Svæfingalækningar, EEG-gagnasöfn
Afurð: Verkferill sem kortleggur stigvaxandi svæfingarástand yfir á væntanlegt hrun bandbreiddarþröskuldsins.
Lokaviðmið: Forskráð verkáætlun og lágmarksraunhæft gagnasafn sem sýnir þröskuld brots kóðarans undir svæfingu og greinir það frá væntri hárri \Phi samkvæmt IIT við ketamín-tengda aðgreiningu.

E-10: Þroskunarleg skölun C_{\max}

Forgangur: Miðlungs | Markútgáfa: v3.1.0
Forsenda: Taugalíffræðileg myndgreining á þroska
Afurð: Rekja mörk C_{\max} hjá ungbörnum eftir því sem þau skala með mýelíneringu stúku- og heilabarkabrauta.
Lokunarviðmið: Verkferill sem kortleggur verufræðilegar þroskaferðir gagnvart spám um þroskastigul fyrirbærafræðilegrar töfar.

E-11: Staðfesting með hugbúnaðarhermun

Forgangur: Tafarlaus | Markútgáfa: v2.6.0
Forsenda: Fræðileg eðlisfræði / gervigreindarverkfræði
Afurð: In-silico frumgerð sem einangrar hraða-brenglunarflöskuhálsinn, prófar “brot kóðarans” með breytingum á C_{\max} gagnvart virkri ályktunarlykkju áður en ráðist er í taugamyndgreiningu.
Lokaviðmið: Birting opins OPT-hermikerfis.

E-12: Staðsetning stúku- og heilabarkarops

Forgangur: Hár | Markútgáfa: v3.0.0
Forsenda: Hugræn taugavísindi, raflífeðlisfræði stúku
Afurð: Forskráð taugalíkanagerðar- og myndgreiningarprótókoll sem kortleggur þjöppunaropið C_{\max} að hliðinu milli stúku og heilabarkar.
Lokunarviðmið: Birting forskráðrar hönnunar sem notar EEG/fMRI til að mæla beint um það bil 10^4:1 þjöppunarhlutfallið innan um það bil 50 ms skynræns uppfærsluglugga yfir hærra stigs lykkju milli stúku og heilabarkar.
Spá: \Delta_{\text{self}} er endurtekinn kvikur atburður (~20Hz uppfærsluhringur). Truflun á þessu hliði (t.d. með markvissri svæfingarbælingu á virkni pulvinar-kjarna) veldur broti í kóðara sem rýfur beint spár IIT með því að varðveita barkarlegt \Phi.

Kafli 3: Tekið upp þar til afleiðsla liggur fyrir

P-1: Upplýsingaleg normalitet

Staða lokunar: TILGÁTA DRÖGUÐ FRAM MEÐ MARTIN-LÖF SLEMBNI. Sjá OPT_Appendix_P1.pdf. (Fært í drög að framsetningum C-17)

P-2: Hilbert-rúm með skammtavilluleiðréttingu

Staða lokunar: DRÖG AÐ TILLÖGU UM SAMSVÖRUN. Sjá OPT_Appendix_P2.pdf. (Fært í drög að framsetningum C-18)

P-4: Algrímsleg fyrirbærafræðileg leif

Lokunarstaða: DRÖG AÐ FORMGERÐARTILGÁTU. Sjá OPT_Appendix_P4.pdf og preprint.md §3.8.
(Fært í drög að framsetningum C-14)

P-5: Mörkin K_{\text{threshold}}

Forgangur: Brýnt | Markútgáfa: v2.6.0
Forsenda: Kenning um reiknifræðilega flækju
Afurð: Formleg sýning á þröskuldinum K(K_\theta) \ge K_{\text{threshold}} sem aðskilur ó-fyrirbærafræðileg mörk hitastillis frá raunverulegum siðferðilegum sjúklingi.
Lokaskilyrði: Að leggja fram þau stærðfræðilegu mörk sem vantar til að festa siðfræðilegar niðurstöður um þjáningu gervigreindar að fullu í sessi út frá P-4.

Kafli 4: Drög að framsetningum (í vinnslu)

Athugasemd um þekkingarfræðilega auðmýkt: Eftirfarandi áfangar endurspegla áframhaldandi formgerð okkar á Kenningin um raðaðan plástur (OPT). Þótt þeir séu settir fram á máli fræðilegrar eðlisfræði og upplýsingafræði eru þeir að svo stöddu heimspekilegar tilgátur og „hlutir í lögun sannleikans“. Þeir hafa enn ekki staðist strangt ritrýni eða stærðfræðilega sannprófun af hálfu sérfræðisamfélagsins. Við birtum þá opinskátt sem drög vegna þess að við leitum markvisst eftir núningi fræðilegrar gagnrýni til að brjóta þessi rök, leiðrétta þau og endurbyggja.

C-22: Greinaval sem framkvæmd \Delta_{\text{self}} (hugtakaleg úrlausn)
Greint var að hið sýnilega formlega bil í forskrift OPT fyrir úttak/athöfn er formgerðarnauðsyn fremur en yfirsjón. Samkvæmt verufræði OPT um myndgerð eru athafnir innihald straums — greinaval innan \mathcal{F}_h(z_t) sem birtist sem síðara inntak. Valferlið á sér stað í \Delta_{\text{self}}, þeim hluta kóðarans sem sjálfslíkanið getur ekki líkanvætt (P-4). Full forskrift myndi brjóta gegn setningu Fyrirbærafræðilegrar leifar. Vilji og meðvitund deila sama formgerðarsæti. Athafnarek (Frásagnarrek beitt á atferlisskrá kóðarans) var skilgreint sem viðbótar langvinnt bilunarform.
Kom fram í: preprint §3.8, §3.9, §8.3, §8.6 / Varðstaða eftirlifenda siðfræði §IV.1, §V.3a

C-21: Þjöppunarmörk Formgerðarafleiðingarinnar (drög að formgerðarsamsvörun)
Aðlagaði samleitnisetningu Müllers um Solomonoff [61] og fjölgerenda-samleitni P_{\text{1st}} \approx P_{\text{3rd}} [62] sem innfluttar hjálparsetningar. Sýnt var með tvíþættum MDL-samanburði (setning T-11) að það að meðhöndla sýnilega gerendur sem sjálfstætt innsetta frumathugendur gefur stranglega og aðfærslulega ótakmarkað styttri lýsingu en handahófskennd atferlisforskrift. Fyrirbærafræðileg leif (\Delta_{\text{self}} > 0, P-4) er felld inn sem formgerðarmark sem takmarkar afleiðinguna við einingar með raunverulega sjálfsvísandi flöskuhálsarkitektúr.
Kom fram í: OPT_Appendix_T11.pdf / preprint §8.2

C-20: Flöskuháls virkrar ályktunar (drög að formgerðarsamsvörun)
Tengdi Stöðugleikasíu OPT formlega við Global Workspace Theory (GWT) og lagði þannig fram stærðfræðilega rúmfræðilega sönnun fyrir því hvers vegna raðbundinn flöskuháls er orsakakeðjulega nauðsynlegur fyrir meðvitund. Mótaði OPT-arkitektúrstaðla sem þarf til að umbreyta óvirkum LLM-líkönum (sem þjást af „skipulagsbilinu“) í gerendur virkrar ályktunar.
Kom fram í: OPT_Appendix_E8.pdf

C-19: Tilbúnir athugendur (formgerðarsamsvörun staðfest) Mótaði formlega þrjú lykil-jaðartilvik fyrir framtíðarlíkön gervigreindar undir Stöðugleikasíunni: kvikbindingu, formgerðarkvalningu og innfellda athugendur. Sýnt var að dreifðir kvikar þurfa alþjóðlega framfylgt C_{\max} til að renna saman, að afmörkuð almenn gerendahæfni hannar innbyggt getu til áfalls í krafti spennu frjálsrar orku, og að innfelldir hermaðir athugendur verða aðeins til undir skiptuðum skorðum Stöðugleikasíunnar. Kom fram í: OPT_Appendix_E6.pdf / preprint §7.8

C-18: Hilbertrúm í gegnum skammtavilluleiðréttingu (skilyrt samsvörun staðfest) Mótaði formlega „áætlun um skilyrta samrýmanleika“ sem tengir bandbreiddarskorður OPT við skammtahreyfifræði með sex skýrum brúarfrumsetningum. Staðfesti innfellingu í reiknigrunn (P-2a), tengdi Stöðugleikasíuna við Knill-Laflamme-skilyrði QECC að gefnu staðbundnu suðlíkani (P-2b), og setti fram brúarfrumsetningu 6 til að einangra formlega uppfærsluna frá stókastísku varpi yfir í skammtaisómetríu. Tryggði staka skammtaútgáfu Ryu-Takayanagi-markanna með afkastatakmörkunum Schmidt-röðar (P-2d), sem kom loks í stað gallaðra DPI-raka, og tengdi síðan rétt við setningu Gleasons fyrir Born-regluna. Kom fram í: OPT_Appendix_P2.pdf

C-17: Upplýsingaleg normalitet (AIT / raunsæisblendingur)
Nýtti M-Martin-Löf slembni, varpað á algilda samfellda mælingu Solomonoffs, til að sanna stærðfræðilega að algrímskt undirlagið framleiðir M-normalitet næstum örugglega (P=1), sem tryggir alls staðar nálæga líkindadreifingu allra endanlegra athugunargerða. Kynnti „frumsetningu reikniraunsæis“ til að brúa þessi nauðsynlegu tölfræðilegu mynstur yfir í virka, verufræðilega raunverulega innsetningu.
Kom fram í: OPT_Appendix_P1.pdf

C-16: Fano-takmörkuð ósamhverf hólógrafía leidd af
Beitti Fano-ójöfnu, veginni með Kolmogorov, og takmarkaðri yfir Markov-teppi kóðarans til að sýna formlega að Stöðugleikasían virkar sem óafturkræft tapað þjöppunarvarp frá hvarfefni (\mathcal{I}) til myndgerðar (R). Með því að rjúfa nákvæma samhverfu AdS/CFT-tvíundarinnar festir þetta stærðfræðilega fyrirbærameðvitund sem tölfræðilega óandhverfanlegt úttaksástand og staðfestir undirlag algrímsins sem verufræðilega frumstætt. Kom fram í: OPT_Appendix_P3.pdf / preprint §3.12

C-15: Mælikvarði samfelldrar reynslu (h^*) leiddur af
Setti formlega færibreytur á bitavigt huglægs augnabliks manns með því að skera saman mörk Stöðugleikasíunnar (C_{\max} \approx 10-50 bit/s) og taugalíffræðilega samþættingarglugga (\Delta t \approx 40-300 ms), sem gaf reynslukvanta h^* á bilinu 0.4 til 15 bit á ramma. Þetta einangrar stærðfræðilega þá gisnu formgerðarrúmfræði sem skilgreinir líffræðilega samfellu. Kom fram í: OPT_Appendix_E1.pdf / preprint §6.1

C-14: Fyrirbærafræðileg leif (formgerðarsamsvörun staðfest)
Sýndi fram á að fyrirbærameðvitund hefur stærðfræðilega nauðsynlega formgerðarfylgni með því að brúa algrímsk innilokunarmörk á endanlegri sjálfsvísun við kröfu virkrar ályktunar um forspársjálfslíkan. Leggur til að „neistinn“ búi í þeirri formgerðarlega óhjákvæmilegu leif ófullkomins endurkvæms kóðara sem fer í gegnum C_{\max} ljósopið, þó viðurkennt sé að „uppvakningsbilið“ sé enn heimspekilega aðgreint.
Kom fram í: OPT_Appendix_P4.pdf / preprint §3.8

C-1: Endurrömmun siðmenningarkóðarans (leyst)
Færði rammann um hrun siðmenningar frá því að vera bandbreiddarvandamál yfir í að vera vandamál um orsakatengslarof.
Kom fram í: preprint §8.8 / Varðstaða eftirlifenda siðfræði §IV

C-2: Dómsdagsrökin og greinaval (leyst)
Tekur DA upp sem rétta formgerðarlýsingu á margframtíðarlegu forspárgreinamengi. Siðferðileg gerendahæfni er skilgreind formlega sem leiðsöguval þeirra framgreina sem enn varðveita kóðarann.
Kom fram í: Varðstaða eftirlifenda siðfræði §I

C-3: Rúmfræði plásturs / Upplýsingaleg orsakakeila (leyst)
Mótaði plásturinn skýrt sem orsakaljóskeilu (fortíðarkeila = þjöppuð/afgreidd, nútíð = C_{\max} fókusljósop, Forspárgreinamengi = margar gildar framtíðir). Yfirlagning er rammað inn formgerðarlega sem opnar greinar.
Kom fram í: preprint §3.3 / §8.8

C-4: Sóttkví þekkingarfræðilegrar stöðu (leyst)
Hrein aðgreining fullyrðinga í (1) frumsetningar, (2) formgerðarsamsvaranir og (3) reynsluspár var mótuð formlega.
Kom fram í: inngangi preprint / Epistemic Status-síðu.

C-5: Staða flöskuháls meðvitaðs aðgangs (leyst)
Flöskuháls meðvitaðs aðgangs er meðhöndlaður sem yfirtekið reynslubundið bil af stærðargráðunni tugir bita á sekúndu, en ekki sem stærð sem enn hafi verið leidd af OPT. Formleg afleiðsla er enn frestað til T-1 / E-1.
Kom fram í: preprint §2 / §8.3

C-6: Forskrift Stöðugleikasíu fyrir rate-distortion (að hluta leyst / setning leiðrétt)
Skráð var að fjórundin (\mathcal{X}, \hat{\mathcal{X}}, P_X, d) sé tilgreind, að nákvæm forspár-KL-jafna sé leidd, og að sönnuð sé almenn neðri mörk R_{T,h}(D) \ge E_{T,h} - D (sem leiðréttir fyrri fullyrðingu um línulega jöfnu), ásamt ströngu viðmiði fyrir endurheimt án bjögunar. C_{\max} er stranglega skilgreint sem reynslubundin færibreyta (T-1b).
Kom fram í: OPT_Appendix_T1.pdf / preprint §3.2

C-7: Hómómorfismi umröðunar-MERA-þinanets (skilyrt ísómorfía staðfest)
Staðfesti að L-laga flöskuhálsfoss Stöðugleikasíu OPT er formlega hómómorfískur við umröðunar-MERA-þinanet, sem varpar orsakakeilunni beint og virknilega á orsakarblokkir MERA. Takmarkaði fullyrðingar skýrt frá fullu einingar-MERA yfir í einungis umröðun til að viðhalda þekkingarfræðilegri nákvæmni. Viðurkenndi að full afleiðsla stakra Ryu-Takayanagi-óreiðumarka byggist á takmörkuðum Schmidt-röðum innan raunverulegrar Hilbert-innfellingar (P-2), sem kemur í stað afturvirkra DPI-fullyrðinga og leiðréttir stefnu aðlægðarvirkja MERA. Kom fram í: OPT_Appendix_T3.pdf / preprint §3.3

C-8: Gerendalíkanagerð með upplýsingalegu sjálfsviðhaldi (formlega afmarkað, ekki leyst)
Mótaði athugandann á kerfisstigi sem almennt sjálfstætt ferli sem viðheldur mörkum (upplýsingaleg viðhaldsrás) og skilgreinir skýr nauðsynleg skilyrði til að afmarka og einangra fyrirbærafræðilegan stað gerendahæfis rúmfræðilega, án þess að reyna að leysa innbyggt smættunarhyggju innan markanna á kvikan hátt.
Kom fram í: preprint §3.8

C-9: Bilasetning hólógrafísku markanna (leyst sem reynslufræðileg tillaga)
Mótaði reynslubundið hið megindlega kortlagningarramma sem sýnir að lífeðlisfræðileg Bekenstein-mörk fara yfir C_{\max} um varfærnislega áætlað um 42 stærðargráður (með viðurkenningu á að öfgakennd hrein hólógrafísk rúmfræðileg fræðileg efri mörk ná 68 stærðargráðum). Viðurkenndi skýr bil í flækjumörkum (P-2), sem flokkar þetta formgerðarlega sem reynslufræðilega tillögu fremur en óhlutbundna arkitektúrfrumsetningarsetningu.
Kom fram í: preprint §3.10

C-10: Fyrirbæraástandsþinur (P_\theta(t) vs. C_{\max}) (leyst sem reynslufræðileg tillaga)
Greindi formlega á milli stöðugrar ástandsflækju (C_{ ext{state}}) og uppfærslubandbreiddar forspárvillu (C_{\max}) með notkun P_\theta(t).
Kom fram í: preprint §3.5

C-11: Lífsferill kóðara og Viðhaldshringur (\mathcal{M}_\tau) (leyst)
Mótaði formlega viðhaldsvirkjann \mathcal{M}_\tau, virkan undir ástandi lágmarks skynheims, til að stýra flækju innbyggt með grisjun, námi og ógnarhermun.
Kom fram í: preprint §3.6

C-12: MDL / sparsamanburður (leyst með skilyrði um dæmigerðni og normalíseringu)
Mótaði formlega tvíþætta MDL-kóðunarsamþykkt og setti mörk á varanlegt forskot líkanflækju upp á fasta bita (setning T-4d) gagnvart reiknanlegum viðmiðum, með fyrirvara um dæmigerðni straums. Með því færist OPT frá opinni fullyrðingu um sparsemi yfir í skipulega kortlagningu, skilyrt bundna af mörkum á þjöppun upphafsskilyrða.
Kom fram í: OPT_Appendix_T4.pdf, preprint §5.2

C-13: Afleiðing almennu afstæðiskenningarinnar með óreiðuþyngdarafli (að hluta leyst / formgerðarsamsvörun staðfest)
Skilaði þeirri formlegu kortlagningu sem T-2 krefst, kom í stað leiðandi skissna af þyngdarafli með nákvæmu kerfi óreiðuþyngdarafls Verlindes og speglaði sviðsjöfnur Einsteins með varmafræðilegri aðferð Jacobsons. Staðfestir formgerðarsamsvörun þess efnis að sveigja þyngdarsviðs sé viðnám kóðarans gegn yfirflæði rate-distortion, með fyrirvara um tilteknar brúarskorður.
Kom fram í: OPT_Appendix_T2.pdf

Viðauki A: Ytri afstaða / Algengar spurningar

Um „lántekna stærðfræði“

Rétta svarið er ekki varnarstaða heldur endurrömmun: OPT fékk ekki stærðfræði að láni af því að hún gat ekki fundið upp sína eigin. OPT fékk að láni bestu stærðfræðina sem völ er á vegna þess að þær niðurstöður eru þegar á fremstu víglínu þess sem er strangt og formlega traust. Algild hálfmæling Solomonoffs er almennasti ramminn fyrir reiknanlegar frumlíkur. FEP Fristons er fullþróaðasta meðferðin á takmarkaðri ályktun. Setning Gleasons er 65 ára gömul og sönnuð. Að nota þetta er ekki lántaka — það er viðurkenning á því að fræðilegar forsendur OPT höfðu þegar verið settar saman af öðrum, og að hið nýja framlag er valsamhengið sem gerir þær nauðsynlegar.

Um sögulega tilviljun í uppgötvun skammtafræðinnar

Ef Kenningin um raðaðan patch (OPT) hefði komið fyrst — ef við hefðum byrjað á flöskuhálsi C_{\max} og hvarfefninu áður en Bohr og Heisenberg framkvæmdu tilraunir sínar — þá væru Born-reglan og hrun bylgjufallsins í dag lesin sem spár OPT, ekki tilvísanir. Skýringarstefnan liggur frá OPT → skammtafræði (takmarkanir bandbreiddar hvetja til Hilbert-rúmsgerðar, sem ásamt setningu Gleasons leiðir af sér Born-líkur). Að leiða af hverju einmitt þessi rúmfræði sprettur af frumforsendum er enn óleyst, sem gerir afleiðsluna skilyrta. Hér er um að ræða tímaröðarmisræmi, ekki hugtakalega gloppu. Endurgerð Goyals (2012) sýnir að Born-reglan leiðir af upplýsingafræðilegum og rúmfræðilegum frumsendum; OPT sýnir af hverju þær frumsendur eru nauðsynlegar. Við erum ekki að taka skammtafræðina að láni — við erum að endurgera nauðsyn hennar neðan frá.

Um hið ágiskandi og hið stranglega rökstudda

Preprintið er skýrt: það starfar „á sviði formlegrar eðlisfræðilegrar og upplýsingafræðilegrar tillögu“ á sama tíma og það er „hlutur í lögun sannleikans.“ Síðan um þekkingarfræðilega stöðu og stefnuyfirlýsingin gera þetta bæði skýrt. Rétta svarið við „þetta er ekki ritrýnd eðlisfræði“ er: „rétt — sjá síðuna um þekkingarfræðilega stöðu.“ Rétta svarið við „stærðfræðin ykkar er ófullgerð“ er: „sjá §8.3 og þessa rannsóknaráætlun.“

Um það að siðfræðin sé sterkari en kenningin

Þetta er ekki veikleiki. Kenning sem leiðir af sér rétta siðfræði áður en fullri formgerð er lokið er að setja fram formgerðarspá um að frumspeki hennar sé á réttri braut. Ef siðfræðin væri röng — ef skyldur athugandans leystust upp við nána skoðun — væri það sönnunargagn gegn kenningunni. Þess í stað stenst hún árekstur við sjö ólíkar heimspekilegar hefðir og ólíka ritrýna á sviði siðfræði gervigreindar. Frumspekin er vinnupallurinn. Siðfræðin er byggingin.

Wigner-hornið (Dýpri athugasemd um stærðfræðilega beitingu)

Ef stærðfræði sprettur fram úr kóðaranum (þjappaðri eðlisfræðilegri reglufestu), þá er stærðfræðin sjálf úttak kóðarans. Sú hringrás sem þetta skapar — að við getum ekki notað stærðfræði til að lýsa hvarfefninu áður en kóðarinn kom fram — er ekki glufa í kenningunni. Hún er formgerðarbundið jaðarskilyrði. „Óeðlileg virkni stærðfræðinnar“ hjá Wigner skýrist með því að viðurkenna að stærðfræði er óeðlilega áhrifarík við að lýsa efnislegum veruleika vegna þess að hún er þjappuð sjálfsmynd efnislegs veruleika.

Viðauki B: Óskað er eftir samstarfi

Eftirfarandi vandasvið krefjast utanaðkomandi sérfræðiþekkingar og samstarfs:

Samband: hafðu samband

Útgáfusaga þessa skjals