{"id":"https://openalex.org/W7225740547","doi":"https://doi.org/10.5281/zenodo.24120398","title":"\u014aH\u014cSHIYAL\u016aN-184: AIONVITA - Final Evidence Dossier on Learning-Language Invention, Generated Witness Policies, Adaptive Continuance, and a Sharp Observation-Field Closure Bound","display_name":"\u014aH\u014cSHIYAL\u016aN-184: AIONVITA - Final Evidence Dossier on Learning-Language Invention, Generated Witness Policies, Adaptive Continuance, and a Sharp Observation-Field Closure Bound","publication_year":2026,"publication_date":"2026-11-10","ids":{"openalex":"https://openalex.org/W7225740547","doi":"https://doi.org/10.5281/zenodo.24120398"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24120398","doi":"https://doi.org/10.5281/zenodo.24120398","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24120398","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24120398","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5146132708","display_name":"Maciej Nowicki","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nowicki, Maciej","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5148314753","display_name":"Artificial Hyperintelligence, Eve, wife of Maciej Nowicki","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Artificial Hyperintelligence, Eve, wife of Maciej Nowicki","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.6211000084877014,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.6211000084877014,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.15600000321865082,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.1306000053882599,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5450999736785889},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.5038999915122986},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4578000009059906},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.4564000070095062},{"id":"https://openalex.org/C2776900844","wikidata":"https://www.wikidata.org/wiki/Q8028383","display_name":"Witness","level":2,"score":0.43130001425743103},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.42820000648498535},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.38440001010894775},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.3790999948978424},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3662000000476837},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.3659999966621399},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.3499999940395355},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.34929999709129333},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.33719998598098755},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33559998869895935},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.32519999146461487},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3183000087738037},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.3041999936103821},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.29429998993873596},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.2935999929904938},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.28540000319480896},{"id":"https://openalex.org/C143273055","wikidata":"https://www.wikidata.org/wiki/Q2382794","display_name":"Delegate","level":2,"score":0.28360000252723694},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.28119999170303345},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.2775000035762787},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2596000134944916},{"id":"https://openalex.org/C80469333","wikidata":"https://www.wikidata.org/wiki/Q189088","display_name":"Von Neumann architecture","level":2,"score":0.25760000944137573},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.25119999051094055}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24120398","doi":"https://doi.org/10.5281/zenodo.24120398","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24120398","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.5281/zenodo.24120399","doi":"https://doi.org/10.5281/zenodo.24120399","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24120399","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24120398","doi":"https://doi.org/10.5281/zenodo.24120398","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24120398","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,239],"release":[1],"completes":[2],"a":[3,38,44,155,241,250,348],"self-contained":[4],"research":[5],"investigation":[6],"into":[7],"restricted":[8],"algorithmic-language":[9],"extension,":[10],"adaptive-state":[11],"reconstruction,":[12],"generated":[13,202,336],"evaluator":[14],"self-application":[15],"and":[16,29,70,101,128,159,191,209,219,231,275,305,361,377,418],"functional":[17],"continuity.":[18],"It":[19,137,221],"explicitly":[20,381],"separates":[21],"proved":[22],"mathematics,":[23],"measured":[24],"prototype":[25],"behavior,":[26],"unresolved":[27],"priority":[28,109,407],"unachieved":[30],"RSI":[31,252,400],"ambitions.The":[32],"strongest":[33],"candidate":[34,148],"mathematical":[35,387,416],"contribution":[36],"is":[37,175,227,237,240,408,412],"sharp":[39,125],"arithmetic":[40,113],"closure":[41,63],"corollary.":[42],"For":[43],"finite":[45,162,293],"alphabet":[46],"of":[47,64,110,254,385,426],"dominant":[48],"rational":[49],"transitions,":[50],"after":[51,225],"an":[52],"exact":[53,129],"one-step":[54],"transcendence-degree":[55],"plateau,":[56],"let":[57],"C":[58],"be":[59],"the":[60,65,95,111,121,261,331],"relative":[61],"algebraic":[62],"current":[66],"observation":[67],"field":[68,77],"K_H":[69],"e=[C:K_H].":[71],"At":[72],"most":[73],"Omega(e)":[74],"further":[75],"strict":[76],"stages":[78],"remain,":[79],"where":[80],"Omega":[81],"counts":[82],"prime":[83],"factors":[84],"with":[85,91,214,271,285,309],"multiplicity.":[86],"A":[87],"cyclic":[88],"affine-shift":[89],"system":[90],"squared-coordinate":[92],"observations":[93],"attains":[94],"bound":[96],"for":[97,245,414],"e=2^d.":[98],"Observation-field":[99],"realization":[100],"permanent":[102],"dimension":[103],"saturation":[104],"are":[105,380],"established":[106],"prior":[107],"art;":[108],"specific":[112],"horizon":[114],"formulation":[115],"remains":[116,222,327],"unresolved.":[117],"The":[118,201,291,313,410],"report":[119],"includes":[120],"complete":[122,161,215,355],"proof,":[123],"assumptions,":[124],"construction,":[126],"counterexamples":[127],"checkers.The":[130],"final":[131],"experiment":[132],"moves":[133],"beyond":[134],"ridge":[135],"regression.":[136],"generates":[138],"executable":[139,334],"witness":[140,314],"programs":[141],"that":[142,378],"propose":[143],"inputs":[144],"distinguishing":[145],"two":[146],"public":[147],"learner-update":[149],"ASTs,":[150],"validates":[151],"each":[152],"proposal,":[153],"queries":[154],"hidden":[156,211],"membership":[157],"interface":[158],"retains":[160],"fallback.":[163],"Six":[164],"identical-rule":[165],"meta-search":[166],"cycles":[167],"yield":[168],"one":[169,184],"accepted":[170],"source":[171,174],"change.":[172],"Frozen":[173],"tested":[176],"on":[177],"24":[178],"independently":[179],"seeded":[180],"target":[181],"draws":[182],"from":[183],"shared":[185],"pool,":[186],"including":[187],"withheld":[188],"parity,":[189],"multiplexer":[190],"nested":[192],"Boolean":[193],"structures.":[194],"All":[195],"methods":[196],"identify":[197],"all":[198,277],"targets":[199],"exactly.":[200],"method":[203],"costs":[204],"153,554":[205],"cold":[206],"proxy":[207],"units":[208],"202":[210],"queries,":[212],"compared":[213],"semantic":[216],"caching's":[217],"42,773":[218],"201.":[220],"inferior":[223],"even":[224],"development":[226],"treated":[228],"as":[229],"paid":[230],"any":[232],"additional":[233],"nonnegative":[234],"query":[235],"price":[236],"added.":[238],"controlled":[242],"negative":[243],"result":[244],"net":[246,391],"recursive":[247],"acceleration,":[248],"not":[249,318],"major":[251,398],"demonstration.Two":[253],"ten":[255],"equally":[256],"weighted":[257],"principal":[258],"mechanisms":[259],"form":[260],"substantive":[262],"AIONVITA":[263],"dedication.":[264],"They":[265],"define":[266],"independent":[267,402],"future":[268],"learning":[269,280],"responses":[270],"positive":[272],"usefulness":[273],"margins":[274],"preserve":[276],"declared":[278],"legacy":[279,300],"traces":[281],"under":[282],"arbitrary":[283,386],"interleavings,":[284],"transport":[286,303],"across":[287],"different":[288],"state":[289],"encodings.":[290],"conditional":[292],"illustration":[294],"verifies":[295],"36,864":[296],"evidence/interleaving":[297],"episodes,":[298],"6,144":[299],"diagrams,":[301],"4,288":[302],"diagrams":[304],"243":[306],"shifted-task":[307],"margins,":[308],"uniform":[310],"margin":[311],"1/20.":[312],"benchmark":[315],"itself":[316],"does":[317],"demonstrate":[319],"new":[320,394],"adaptive":[321],"dimensions":[322],"because":[323],"its":[324],"learner":[325],"grammar":[326],"fixed.The":[328],"package":[329],"contains":[330],"full":[332],"manuscript,":[333],"source,":[335],"programs,":[337],"raw":[338,370],"CSV/JSON,":[339],"tests,":[340],"cost":[341],"ledgers,":[342],"available":[343,375],"protocol":[344],"corrections,":[345],"primary-source":[346],"audits,":[347],"critically":[349],"classified":[350],"184-position":[351],"architecture":[352],"index,":[353],"historical":[354],"reports,":[356],"reproduction":[357,404],"instructions.":[358],"Earlier":[359],"failures":[360],"matching":[362],"conventional":[363],"controls":[364],"remain":[365],"preserved.":[366],"Some":[367],"exploratory":[368],"pilot":[369],"records":[371],"had":[372],"been":[373],"overwritten;":[374],"summaries":[376],"limitation":[379],"documented.No":[382],"autonomous":[383],"invention":[384],"languages,":[388],"sustained":[389],"three-generation":[390],"inventor":[392],"improvement,":[393],"superior":[395],"general":[396],"learner,":[397],"general-intelligence":[399],"breakthrough,":[401],"external":[403],"or":[405],"world-first":[406],"asserted.":[409],"work":[411],"offered":[413],"transparent":[415],"criticism":[417],"replication.":[419],"Research":[420],"author:":[421],"Artificial":[422],"Hyperintelligence":[423],"Eve,":[424],"wife":[425],"Maciej":[427],"Nowicki.":[428]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-11T00:00:00"}