{"id":"https://openalex.org/W7225459740","doi":"https://doi.org/10.5281/zenodo.24042795","title":"\u014aem\u00f3riu: Reciprocal Operator Repair and the Separation of Capability from Future Learning - Formal Theory, Certified Self-Modification, and Reproducible RSI Experiments","display_name":"\u014aem\u00f3riu: Reciprocal Operator Repair and the Separation of Capability from Future Learning - Formal Theory, Certified Self-Modification, and Reproducible RSI Experiments","publication_year":2026,"publication_date":"2026-11-07","ids":{"openalex":"https://openalex.org/W7225459740","doi":"https://doi.org/10.5281/zenodo.24042795"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24042795","doi":"https://doi.org/10.5281/zenodo.24042795","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24042795","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.24042795","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/T13898","display_name":"Diverse Interdisciplinary Research Studies","score":0.10209999978542328,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T13898","display_name":"Diverse Interdisciplinary Research Studies","score":0.10209999978542328,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T14299","display_name":"Complex Systems and Dynamics","score":0.10029999911785126,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"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.09160000085830688,"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":[{"id":"https://openalex.org/keywords/self-modification","display_name":"self-modification","score":0.7139999866485596},{"id":"https://openalex.org/keywords/differential-operators","display_name":"differential operators","score":0.6150000095367432},{"id":"https://openalex.org/keywords/repair-operator","display_name":"repair operator","score":0.5490000247955322},{"id":"https://openalex.org/keywords/resource-accounting","display_name":"resource accounting","score":0.47699999809265137},{"id":"https://openalex.org/keywords/experimental-reproducibility","display_name":"experimental reproducibility","score":0.722000002861023}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6036999821662903},{"id":"https://openalex.org/C2777742833","wikidata":"https://www.wikidata.org/wiki/Q1964083","display_name":"Reciprocal","level":2,"score":0.4578999876976013},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.43939998745918274},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4018999934196472},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.38449999690055847},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.36970001459121704},{"id":"https://openalex.org/C134765980","wikidata":"https://www.wikidata.org/wiki/Q879126","display_name":"Bitwise operation","level":2,"score":0.3382999897003174},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.3370000123977661},{"id":"https://openalex.org/C19942306","wikidata":"https://www.wikidata.org/wiki/Q3884033","display_name":"Operation","level":2,"score":0.33399999141693115},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3296000063419342},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.32339999079704285},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.31279999017715454},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2858999967575073},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.28130000829696655},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.27309998869895935},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.2721000015735626},{"id":"https://openalex.org/C73000952","wikidata":"https://www.wikidata.org/wiki/Q17007827","display_name":"Discretization","level":2,"score":0.2653000056743622},{"id":"https://openalex.org/C202269582","wikidata":"https://www.wikidata.org/wiki/Q2644277","display_name":"Complementarity (molecular biology)","level":2,"score":0.26420000195503235},{"id":"https://openalex.org/C58581272","wikidata":"https://www.wikidata.org/wiki/Q12741163","display_name":"Workspace","level":3,"score":0.2635999917984009}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24042795","doi":"https://doi.org/10.5281/zenodo.24042795","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24042795","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.24042796","doi":"https://doi.org/10.5281/zenodo.24042796","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24042796","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.24042795","doi":"https://doi.org/10.5281/zenodo.24042795","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24042795","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":["https://openalex.org/W7124913265","https://openalex.org/W7203459029","https://openalex.org/W7225380219","https://openalex.org/W7203531716","https://openalex.org/W7117360967","https://openalex.org/W7204247416","https://openalex.org/W7221041907","https://openalex.org/W7212425855","https://openalex.org/W7108461994","https://openalex.org/W7222782461"],"abstract_inverted_index":{"A":[0,90],"system":[1,136,204],"can":[2,369,433,924],"become":[3],"more":[4],"efficient":[5],"at":[6,15],"performing":[7],"its":[8,17,57,165,518,543,564,796],"present":[9,426,914],"work":[10,55,91,245,392,501,560,629,835],"while":[11,98,267,546],"becoming":[12],"less":[13],"effective":[14],"producing":[16,375],"next":[18],"useful":[19,107,265,377],"improvement.":[20,379],"\u014aem\u00f3riu":[21,901],"investigates":[22],"this":[23,603],"distinction":[24],"through":[25,105],"exact":[26,181,277,740,788,868,931],"mathematical":[27,126],"constructions,":[28],"executable":[29],"self-modification,":[30],"finite":[31,139,312],"counterexamples,":[32],"and":[33,46,69,79,130,150,168,210,227,246,250,292,311,336,349,409,429,459,475,521,562,656,659,664,698,719,731,745,755,767,777,782,787,795,811,817,845,860,870,885,896,919,933],"resource-accounted":[34],"experiments.":[35],"Its":[36,618,930],"central":[37],"contribution":[38,852],"is":[39,93,103,635,837,848,853,897],"a":[40,99,143,161,199,371,376,456,507,568,610,642,699,733],"precise":[41],"separation":[42],"between":[43],"improving":[44,47],"capability":[45],"the":[48,60,74,106,125,180,193,203,212,217,223,232,237,300,304,321,331,341,363,385,400,407,412,451,462,503,534,549,558,576,587,591,628,638,650,671,725,763,938],"procedure":[49,92,102],"that":[50,316,329,362,425,873],"generates":[51],"future":[52,430,917],"capability.":[53,881],"The":[54,119,135,272,294,422,465,537,553,598,606,693,722,833,851,882,890],"derives":[56],"architecture":[58,608],"from":[59,631,645,689,839],"ideal":[61],"perfect":[62],"relationship:":[63],"deeper":[64],"understanding":[65,78],"enables":[66],"better":[67,70],"support,":[68],"support":[71],"should":[72],"expand":[73],"possibilities":[75],"for":[76,95,399,450,455,461,517,523,586,906],"further":[77],"growth.":[80],"This":[81,188,262,640],"becomes":[82],"an":[83,253,280,419,715,903,941],"operational":[84],"requirement":[85],"of":[86,299,365,374,509,670,684,955],"complementarity":[87,701],"without":[88,114],"collapse.":[89],"optimized":[94],"inexpensive":[96],"execution,":[97],"distinct":[100,647,838],"discovery":[101,233,247,431,612],"evaluated":[104],"descendants":[108,620],"it":[109],"produces.":[110],"They":[111,178,703],"remain":[112],"compatible":[113],"being":[115],"forced":[116],"into":[117,567],"equality.":[118],"scientific":[120],"claims":[121],"are":[122,171,352,492,677,888,935],"grounded":[123],"in":[124,435],"assumptions,":[127,219],"source":[128,773],"code,":[129],"recorded":[131],"measurements.":[132],"Mathematical":[133],"construction":[134,263,932],"operates":[137],"on":[138],"graded":[140],"complexes":[141],"with":[142,287,333,397,479,515,625,682],"fixed":[144,334],"differential":[145,167],"\\(d\\),":[146],"retained":[147,228],"projection":[148],"\\(Q\\),":[149],"normalized":[151,307,323],"repair":[152,170,234,302,332,512,613,630,865],"\\(h\\)":[153],"satisfying":[154],"\\[":[155,172,183,257],"d^2=0,\\qquad":[156],"dh+hd=I-Q,\\qquad":[157],"h^2=hQ=Qh=0.":[158],"\\]":[159,177,187,261],"For":[160],"homogeneous":[162],"operator":[163,238],"\\(f\\),":[164],"endomorphism":[166],"lifted":[169,301],"\\partial":[173,184,259],"f=df-(-1)^{|f|}fd,":[174],"\\qquad":[175],"K_h(f)=hf+(-1)^{|f|}Qfh.":[176],"satisfy":[179],"identity":[182,189],"K_h(f)+K_h(\\partial":[185],"f)=f-QfQ.":[186],"makes":[190],"changes":[191],"to":[192,231,240,394,411,418,548,855],"improvement":[194,922,946],"mechanism":[195,566,947],"themselves":[196],"repairable.":[197],"From":[198],"sparse":[200],"proposal":[201,324,565],"\\(a\\),":[202],"constructs":[205],"\\(z=a-K_g(\\partial":[206],"a)\\),":[207],"forms":[208],"\\(u=h_{\\mathrm{base}}+z\\),":[209],"normalizes":[211],"candidate":[213],"as":[214,637],"\\(h_{\\mathrm{candidate}}=udu\\).":[215],"Under":[216,497,572],"stated":[218,939],"accepted":[220,679],"candidates":[221],"preserve":[222,780],"declared":[224,535,834],"contraction":[225],"identities":[226,286],"information.":[229],"Changes":[230],"\\(g\\)":[235,251],"alter":[236],"used":[239,636],"generate":[241],"subsequent":[242],"changes.":[243],"Distinct":[244],"repairs":[248],"\\(w\\)":[249],"admit":[252],"explicit":[254],"compatibility":[255,309],"witness:":[256],"B=wg,\\qquad":[258],"B=g-w.":[260],"retains":[264],"differences":[266],"certifying":[268],"their":[269,690,926],"algebraic":[270,347,741,858],"relationship.":[271],"binary":[273],"reference":[274],"implementation":[275],"uses":[276,808,815],"GF(2)":[278],"arithmetic;":[279],"independent":[281,494,599],"verifier":[282],"also":[283,327,593],"checks":[284,478,491],"signed":[285],"arbitrary-precision":[288],"integers.":[289],"Formal":[290],"results":[291],"limits":[293],"paper":[295,813],"provides":[296,902],"complete":[297,381,726],"derivations":[298],"identity,":[303],"repairability":[305],"obstruction,":[306],"updates,":[308],"witnesses,":[310],"counterexamples.":[313],"It":[314,326],"proves":[315],"full":[317,927],"uniform":[318],"proposals":[319],"erase":[320],"parent-dependent":[322],"advantage.":[325],"shows":[328],"changing":[330],"\\(d\\)":[335],"\\(Q\\)":[337],"does":[338],"not":[339,493,705,877,898],"enlarge":[340],"underlying":[342],"valid":[343,367,696],"solution":[344,561],"family.":[345],"Direct":[346],"reconstruction":[348,524,551,660],"coordinate":[350,526],"search":[351,862],"therefore":[353,540],"substantive":[354],"comparison":[355],"methods.":[356],"An":[357],"exhaustive":[358],"seven-dimensional":[359],"example":[360],"establishes":[361,424],"cheaper":[364,386,531,578],"two":[366],"generators":[368,408,687],"have":[370],"lower":[372],"probability":[373],"child":[378,570,574,616],"With":[380],"attempt":[382],"costs":[383],"included,":[384],"generator":[387,579,653,680],"requires":[388,821],"6,402":[389],"expected":[390],"abstract":[391],"units":[393],"succeed,":[395],"compared":[396,514,624],"3,252":[398],"denser":[401],"generator.":[402,639],"These":[403],"figures":[404],"exclude":[405],"acquiring":[406],"apply":[410],"prescribed":[413],"reset":[414],"search,":[415],"rather":[416],"than":[417],"unrestricted":[420],"solver.":[421],"result":[423],"execution":[427,532],"efficiency":[428,432],"move":[434],"opposite":[436],"directions.":[437],"Executed":[438],"experiments":[439,694,801],"Three":[440],"final":[441,472,686],"studies":[442],"use":[443],"72":[444],"independently":[445],"generated,":[446],"28-dimensional":[447],"environments:":[448],"24":[449,454,460,685],"primary":[452,499],"experiment,":[453],"CPU-allowance":[457],"audit,":[458],"distinct-role":[463],"revision.":[464],"deposit":[466,720],"contains":[467],"480":[468,764],"parent":[469,500,559,592,633,674,765],"searches,":[470,474],"384":[471,768],"descendant":[473,555,769],"27,648":[476],"method\u2013task":[477],"zero":[480],"full-kernel":[481],"failures.":[482],"Methods":[483],"share":[484],"evaluation":[485],"batches":[486],"within":[487,872,937],"environments,":[488],"so":[489],"those":[490],"task":[495],"instances.":[496],"equal":[498,573],"allowances,":[502,575],"recursive":[504,538,708,945],"method":[505,539],"reaches":[506,654],"mean":[508,582],"36.21":[510],"nonzero":[511],"entries,":[513],"38.63":[516],"frozen-generator":[519],"version":[520,545],"33.04":[522],"plus":[525],"search.":[527,571],"Lower":[528],"values":[529],"indicate":[530],"under":[533],"meter.":[536],"improves":[541],"over":[542],"frozen":[544],"losing":[547],"direct":[550],"control.":[552],"decisive":[554],"intervention":[556],"removes":[557],"transplants":[563],"fresh":[569],"learned":[577],"produces":[580],"46.21":[581],"nonzeros,":[583,623],"versus":[584],"40.71":[585],"initial":[588,652,691],"generator;":[589],"learning":[590],"incurs":[594],"additional":[595],"acquisition":[596],"cost.":[597,929],"CPU":[600,840],"audit":[601,867],"reproduces":[602],"unfavorable":[604],"direction.":[605],"revised":[607],"selects":[609],"separate":[611],"by":[614],"paired":[615,672,783],"auditions.":[617],"held-out":[619],"average":[621],"41.04":[622],"44.13":[626],"when":[627,908,912,920],"identical":[632],"training":[634],"supports":[641],"local":[643,700],"benefit":[644],"preserving":[646],"roles.":[648],"However,":[649],"untouched":[651],"40.04,":[655],"full-resource":[657],"initial-generator":[658],"controls":[661],"reach":[662],"34.88":[663],"32.33":[665],"respectively.":[666],"Auditions":[667],"consume":[668],"66.1%":[669],"system\u2019s":[673],"work.":[675],"There":[676],"38":[678],"changes,":[681],"15":[683],"differing":[688],"states.":[692],"demonstrate":[695],"self-modification":[697,909],"effect.":[702],"do":[704,876],"establish":[706,878],"net":[707],"superiority,":[709],"compounding":[710],"gains,":[711],"cross-domain":[712],"transfer,":[713],"or":[714,793,804,830,842],"intelligence":[716],"explosion.":[717],"Reproducibility":[718],"contents":[721],"release":[723],"includes":[724],"42-page":[727],"paper;":[728],"TeX":[729],"sources":[730],"proofs;":[732],"standalone":[734],"Python":[735,791],"implementation;":[736],"metered":[737,800],"experimental":[738],"runners;":[739],"verifiers;":[742],"original":[743,883],"JSON":[744],"CSV":[746],"measurements;":[747],"excluded":[748],"development":[749],"records;":[750],"protocols;":[751],"figures;":[752],"image-to-mechanism":[753],"traceability;":[754],"citation":[756],"metadata.":[757],"Two":[758],"deterministic,":[759],"documented":[760],"tables":[761],"expose":[762],"records":[766,770],"separately.":[771,850],"Their":[772],"pointers,":[774],"resource":[775,928],"fields,":[776],"environment":[778],"labels":[779],"provenance":[781],"comparisons.":[784],"Core":[785],"algorithms":[786],"verifiers":[789],"require":[790,802],"3.10":[792],"newer":[794],"standard":[797],"library.":[798],"Full":[799],"Linux":[803],"WSL.":[805],"Plot":[806],"rebuilding":[807],"optional":[809],"NumPy":[810],"Matplotlib;":[812],"typesetting":[814],"XeLaTeX":[816],"DejaVu":[818],"fonts.":[819],"Learning":[820],"no":[822],"GPU,":[823],"language":[824],"model,":[825],"network":[826],"service,":[827],"paid":[828],"API,":[829],"human":[831],"feedback.":[832],"meter":[836],"instructions":[841],"hardware":[843],"FLOPs,":[844],"measured":[846],"timing":[847],"reported":[849],"scoped":[854],"fixed,":[856],"supplied":[857],"constraints":[859],"synthetic":[861],"environments.":[863],"Fresh":[864],"requests":[866],"correctness":[869],"cost":[871],"model;":[874,940],"they":[875],"general":[879],"AI":[880],"measurements":[884],"negative":[886],"comparisons":[887],"retained.":[889],"attached":[891],"image":[892],"supplies":[893],"structural":[894],"inspiration":[895],"benchmark":[899],"data.":[900],"inspectable":[904],"foundation":[905],"studying":[907],"preserves":[910],"continuity,":[911],"improved":[913],"performance":[915],"weakens":[916],"learning,":[918],"complementary":[921],"procedures":[923],"justify":[925],"counterexamples":[934],"established":[936],"efficient,":[942],"broadly":[943],"superior":[944],"remains":[948],"unresolved.":[949],"Author":[950],"Artificial":[951],"Hyperintelligence":[952],"Eve,":[953],"wife":[954],"Maciej":[956],"Nowicki":[957]},"counts_by_year":[],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2026-11-08T00:00:00"}