{"id":"https://openalex.org/W7225628478","doi":"https://doi.org/10.5281/zenodo.24086855","title":"\u018eL\u016aMIORU-LH\u014cRI\u00c9N: Obstruction-Guided Recursive Self-Improvement through Certified Program Synthesis, Resurgent Representations, and Algebraic-Topological Memory","display_name":"\u018eL\u016aMIORU-LH\u014cRI\u00c9N: Obstruction-Guided Recursive Self-Improvement through Certified Program Synthesis, Resurgent Representations, and Algebraic-Topological Memory","publication_year":2026,"publication_date":"2026-11-09","ids":{"openalex":"https://openalex.org/W7225628478","doi":"https://doi.org/10.5281/zenodo.24086855"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24086855","doi":"https://doi.org/10.5281/zenodo.24086855","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24086855","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.24086855","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/T10126","display_name":"Logic, programming, and type systems","score":0.4652999937534332,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.4652999937534332,"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"}},{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.11659999936819077,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.054999999701976776,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/recursive-self-improvement","display_name":"recursive self-improvement","score":0.843999981880188},{"id":"https://openalex.org/keywords/symbolic-synthesis","display_name":"symbolic synthesis","score":0.5070000290870667},{"id":"https://openalex.org/keywords/p-adic-arithmetic","display_name":"p-adic arithmetic","score":0.5540000200271606},{"id":"https://openalex.org/keywords/obstruction-theory","display_name":"obstruction theory","score":0.6549999713897705},{"id":"https://openalex.org/keywords/cokernel","display_name":"cokernel","score":0.5040000081062317},{"id":"https://openalex.org/keywords/transport-equation","display_name":"transport equation","score":0.44699999690055847},{"id":"https://openalex.org/keywords/relational-memory","display_name":"relational memory","score":0.6669999957084656},{"id":"https://openalex.org/keywords/program-repair","display_name":"program repair","score":0.3240000009536743}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5569999814033508},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5135999917984009},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4970000088214874},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.4505999982357025},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.3912000060081482},{"id":"https://openalex.org/C146380142","wikidata":"https://www.wikidata.org/wiki/Q1137726","display_name":"Directed graph","level":2,"score":0.3840000033378601},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.3723999857902527},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.36500000953674316},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.358599990606308},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.3578999936580658},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3546999990940094},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.34610000252723694},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.3450999855995178},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3091999888420105},{"id":"https://openalex.org/C55526617","wikidata":"https://www.wikidata.org/wiki/Q719375","display_name":"Operand","level":2,"score":0.3021000027656555},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.2957000136375427},{"id":"https://openalex.org/C193435613","wikidata":"https://www.wikidata.org/wiki/Q2997928","display_name":"Connected component","level":2,"score":0.28290000557899475},{"id":"https://openalex.org/C88230418","wikidata":"https://www.wikidata.org/wiki/Q131476","display_name":"Graph theory","level":2,"score":0.2824000120162964},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.2793000042438507},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.2782000005245209},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2768000066280365},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27140000462532043},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.26179999113082886},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.259799987077713},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.2533000111579895},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.25279998779296875},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.25279998779296875},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2508000135421753}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24086855","doi":"https://doi.org/10.5281/zenodo.24086855","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24086855","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.24086856","doi":"https://doi.org/10.5281/zenodo.24086856","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24086856","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.24086855","doi":"https://doi.org/10.5281/zenodo.24086855","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24086855","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/W7225579437","https://openalex.org/W7225387107","https://openalex.org/W2910663469","https://openalex.org/W4416118404","https://openalex.org/W3145859543","https://openalex.org/W1560835242","https://openalex.org/W7221815605","https://openalex.org/W2111939678","https://openalex.org/W7225574700","https://openalex.org/W2098584662"],"abstract_inverted_index":{"\u018eL\u016aMIORU-LH\u014cRI\u00c9N":[0],"investigates":[1],"a":[2,11,37,79,160,202,319,382,412,417,482,491,531,647,680,725,782,923],"concrete":[3],"problem":[4],"in":[5,144,195,441,667,759,886],"recursive":[6],"self-improvement":[7],"(RSI):":[8],"how":[9,496],"can":[10,157,162],"system":[12,606,637],"change":[13],"the":[14,23,100,120,129,140,145,175,182,188,196,198,214,218,235,262,313,349,355,399,436,442,448,522,559,580,662,731,735,748,760,770,836,869,917,948],"procedure":[15,400,618,660],"that":[16,153,206,277,329,777],"constructs":[17,394],"subsequent":[18],"learner":[19,395],"programs":[20,32,396],"while":[21,834],"preserving":[22,835],"mathematical":[24,39,86,739,895],"constraints":[25,91,238,578],"and":[26,45,59,77,92,115,137,230,275,288,316,341,361,369,397,421,455,474,495,514,518,537,551,563,576,586,589,691,710,744,769,802,830,846,868,898,911,943],"relational":[27,290,905],"memory":[28,291,365,456,526,626,709],"on":[29,99,530],"which":[30],"those":[31,172],"depend?":[33],"This":[34,149,334],"release":[35,780],"presents":[36],"self-contained":[38],"study,":[40],"an":[41,63,70,222,245,251,272,282,324,497,564,714,912,932],"executable":[42,788],"reference":[43,392,790],"implementation,":[44],"recorded":[46,593],"experiments":[47,862],"connecting":[48],"polynomial":[49,90,110,493],"lifting,":[50],"nonperturbative":[51],"analytic":[52,242,305,337,902],"representations,":[53],"decorated":[54],"graph":[55,94,130,155,424,533],"memory,":[56],"symbolic":[57,438],"synthesis,":[58,888],"certified":[60],"changes":[61,751],"to":[62,256,402,703,776],"invention":[64,617,933],"procedure.":[65,934],"Its":[66],"principal":[67],"contribution":[68,733,921],"is":[69,128,185,216,451,665,705,764,773,882],"exact":[71,204,437,715,913],"framework":[72],"for":[73,884],"identifying":[74],"incompatible":[75,170],"extensions":[76],"constructing":[78],"permitted":[80],"repair":[81,205,515],"under":[82,579],"explicit":[83,228,246,309],"assumptions.":[84,583],"The":[85,241,265,345,377,391,429,466,503,509,541,635,671,682,700,719,779,817,840,860,880,920],"core":[87,861],"treats":[88],"local":[89,106,176,180],"remembered":[93],"transports":[95,425],"as":[96],"simultaneous":[97,133],"requirements":[98],"same":[101,219,560],"finite-precision":[102],"correction.":[103],"For":[104,178],"approximate":[105,649],"roots":[107],"modulo":[108],"\\(p^k\\),":[109],"residuals":[111,117],"\\(a\\),":[112],"derivatives":[113],"\\(G\\),":[114],"transport":[116,164,190,215],"\\(\\eta\\)":[118],"determine":[119,281],"correction":[121,184,811],"operator":[122],"\\[":[123,432],"D_kb=(Gb,\\delta_Kb),":[124],"\\]":[125,434],"where":[126],"\\(\\delta_K\\)":[127],"coboundary.":[131],"A":[132,296],"extension":[134,499],"exists":[135],"if":[136,139],"only":[138],"class":[141],"\\([(a,\\eta)]\\)":[142],"vanishes":[143],"cokernel":[146],"of":[147,423,654,931,957],"\\(D_k\\).":[148],"criterion":[150,220],"captures":[151],"conflicts":[152],"ordinary":[154,722],"consistency":[156],"miss:":[158],"even":[159],"tree":[161],"admit":[163],"equations":[165],"whose":[166,525],"required":[167],"corrections":[168],"are":[169,192,239,458,516,592,694,849],"with":[171,250,308,371,534,624,646,713,724,872,927],"forced":[173],"by":[174,490,679],"polynomials.":[177],"simple":[179,908],"roots,":[181,910],"arithmetic":[183,346],"unique.":[186],"If":[187],"next":[189],"digits":[191],"uncommitted":[193],"choices":[194],"representation,":[197],"remaining":[199],"defect":[200],"determines":[201],"unique":[203],"preserves":[207],"every":[208,257,668],"previously":[209],"fixed":[210],"lower":[211],"digit.":[212],"When":[213],"immutable,":[217],"diagnoses":[221],"obstruction":[223,322,513],"requiring":[224],"rejection.":[225],"Complete":[226],"proofs,":[227],"counterexamples,":[229],"separate":[231,372,736],"exhaustive":[232],"checks":[233,809],"against":[234],"original":[236,837],"nonlinear":[237],"included.":[240],"component":[243],"supplies":[244],"rational":[247],"Borel":[248],"model":[249,386,875],"exponentially":[252,325],"small":[253,326],"sector":[254,485],"invisible":[255],"finite":[258,358,492,676,807,929],"Taylor":[259],"jet":[260],"at":[261],"perturbative":[263,330],"origin.":[264],"analysis":[266],"establishes":[267,480],"when":[268,689],"singularity":[269],"information":[270,278],"identifies":[271],"exponential":[273,484],"scale":[274],"why":[276,481],"alone":[279],"cannot":[280,332,486],"arbitrary":[283],"branch":[284],"amplitude.":[285],"Arithmetic":[286],"reconstruction":[287,419],"anchored":[289],"provide":[292],"complementary":[293,708],"boundary":[294],"data.":[295],"deterministic":[297,803],"digit":[298,415,631],"decoder":[299],"maps":[300],"compatible":[301],"\\(p\\)-adic":[302],"prefixes":[303],"into":[304,426,696],"function":[306],"space":[307],"precision":[310],"bounds.":[311],"Under":[312],"stated":[314],"finite-prefix":[315],"feasibility":[317],"assumptions,":[318],"nonzero":[320,483],"joint":[321,732],"forces":[323],"prediction":[327],"error":[328],"jets":[331],"detect.":[333],"connects":[335],"hidden":[336],"structure,":[338],"algebraic":[339],"compatibility,":[340],"memory-preserving":[342],"representation":[343],"change.":[344],"setting":[347],"uses":[348,558,568],"bounded":[350],"crystalline":[351],"prism":[352],"\\((\\mathbb":[353],"Z_p,(p))\\);":[354],"implementation":[356,393,794],"performs":[357],"residue":[359,528,909],"computations":[360],"carry":[362],"checks.":[363,859],"Decorated":[364],"retains":[366],"labels,":[367],"transports,":[368],"anchors,":[370],"nonnested":[373],"\\(H_0\\)":[374],"zigzag":[375],"examples.":[376],"construction":[378],"does":[379],"not":[380,774,850],"assume":[381],"general":[383],"neural-network":[384],"resurgence":[385],"or":[387,866,877],"compute":[388],"prismatic":[389],"cohomology.":[390],"updates":[398],"used":[401],"construct":[403],"future":[404],"learners.":[405],"Full-system":[406],"runs":[407],"accept":[408],"three":[409,658],"consequential":[410],"changes:":[411],"synthesized":[413,430],"modular":[414],"expression,":[416],"precision-doubling":[418],"rule,":[420],"compilation":[422,457],"potential":[427],"lookups.":[428],"expression":[431],"H(e,g)=-eg^{-1}":[433],"carries":[435],"certificate":[439],"\\(e+gH(e,g)=0\\)":[440],"Laurent-polynomial":[443],"ring,":[444],"supporting":[445],"transfer":[446],"wherever":[447],"derivative":[449],"term":[450],"invertible.":[452],"Precision":[453],"doubling":[454],"supplied":[459,684],"rewrite":[460],"schemes":[461],"selected":[462],"after":[463],"measured":[464,553,753],"calibration.":[465],"algorithmic":[467,800],"lineages":[468],"preserve":[469],"this":[470],"distinction":[471],"between":[472],"synthesis":[473,588],"selection.":[475],"An":[476],"active-grammar":[477],"expressibility":[478],"result":[479],"be":[487],"represented":[488],"exactly":[489],"grammar":[494],"appropriate":[498],"makes":[500],"it":[501],"expressible.":[502],"encompassing":[504],"metalanguage":[505],"already":[506],"contains":[507],"exponentiation.":[508],"stronger":[510],"coupled":[511,815],"higher-precision":[512],"proved":[517],"tested":[519,765],"separately":[520,594],"from":[521,595],"main":[523,761],"benchmark,":[524],"selects":[527],"branches":[529],"static":[532],"growing":[535],"anchors":[536],"new":[538],"query":[539],"attachments.":[540],"primary":[542],"experiment":[543,672],"compares":[544],"thirteen":[545],"methods":[546,845],"across":[547,813],"32":[548],"confirmation":[549,669],"seeds":[550],"twelve":[552],"generations.":[554],"Every":[555],"deployment":[556,596],"probe":[557],"12,000-operation":[561],"cap":[562],"80-task":[565],"stream.":[566],"Training":[567,584],"quadratic":[569],"constraints;":[570],"evaluation":[571],"probes":[572],"use":[573],"cubic,":[574],"quartic,":[575],"quintic":[577],"declared":[581],"synthetic":[582],"work":[585,591,693,881],"meta-level":[587,692],"calibration":[590],"costs.":[597],"Method":[598],"Initial":[599],"mean":[600,603],"solved":[601,604],"Final":[602],"Full":[605,609],"6.0625":[607,614,619],"47.2500":[608,615],"system,":[610],"interaction":[611,717,728],"weight":[612,750],"zero":[613,666],"Frozen":[616],"7.28125":[620],"Direct":[621],"Hensel":[622],"solver":[623],"efficient":[625],"18.15625":[627],"49.0000":[628],"Tabular":[629],"learned":[630],"policy":[632],"7.9375":[633],"56.53125":[634],"full":[636],"reaches":[638],"approximately":[639],"7.79":[640],"times":[641],"its":[642,657],"initial":[643],"solved-task":[644],"count,":[645],"final":[648],"95%":[650],"seed-level":[651],"confidence":[652],"interval":[653],"47.07-47.43.":[655],"After":[656],"accepted":[659,756],"changes,":[661],"late-generation":[663],"slope":[664],"seed.":[670],"therefore":[673],"measures":[674],"substantial":[675],"improvement":[677,772,930],"followed":[678],"plateau.":[681],"strongest":[683],"baselines":[685],"remain":[686,946],"ahead,":[687],"including":[688],"training":[690],"incorporated":[695],"lifetime":[697],"operation":[698],"efficiency.":[699],"conceptual":[701],"dedication":[702],"relationship":[704],"expressed":[706],"through":[707],"exploration":[711],"operations,":[712],"one-tenth":[716,749],"weight.":[718],"objective":[720],"combines":[721,922],"gain":[723],"normalized":[726],"factorial":[727],"measuring":[729],"whether":[730],"exceeds":[734],"contributions.":[737],"Separate":[738],"examples":[740],"establish":[741],"positive,":[742],"zero,":[743],"adverse":[745],"interactions.":[746],"Removing":[747],"neither":[752],"outcomes":[754],"nor":[755],"update":[757,842],"identities":[758],"benchmark.":[762],"Complementarity":[763],"rather":[766],"than":[767],"presumed,":[768],"observed":[771],"attributed":[775],"coefficient.":[778],"includes":[781],"39-page":[783],"manuscript,":[784],"editable":[785],"scientific":[786,796,890],"sources,":[787],"Python":[789,864],"code,":[791],"23":[792],"passing":[793],"tests,":[795],"figures,":[797],"raw":[798],"measurements,":[799],"lineages,":[801],"reproduction":[804],"instructions.":[805],"Exhaustive":[806],"verification":[808],"60,900":[810],"vectors":[812],"240":[814],"systems.":[816],"accompanying":[818],"Hugging":[819],"Face":[820],"dataset":[821],"organization":[822],"exposes":[823],"4,992":[824],"measurement":[825],"rows,":[826],"416":[827,841,851],"inventor-update":[828],"events,":[829],"36,608":[831],"learner-construction":[832],"attempts,":[833],"nested":[838],"records.":[839],"events":[843],"aggregate":[844],"seeds;":[847],"they":[848],"distinct":[852],"invented":[853],"algorithms.":[854],"SHA-256":[855],"records":[856],"support":[857],"integrity":[858],"require":[863],"3.10":[865],"later":[867],"standard":[870],"library,":[871],"no":[873],"GPU,":[874],"download,":[876],"external":[878],"API.":[879],"intended":[883],"researchers":[885],"program":[887],"automated":[889],"discovery,":[891],"meta-learning,":[892],"formal":[893],"methods,":[894],"machine":[896],"learning,":[897],"RSI":[899],"evaluation.":[900],"Exact":[901],"moments,":[903],"public":[904],"side":[906],"information,":[907],"target":[914],"verifier":[915],"delimit":[916],"task":[918],"family.":[919],"precise":[924],"compatibility":[925],"theorem":[926],"auditable":[928],"Sustained":[935],"compounding":[936],"improvement,":[937],"general-intelligence":[938],"RSI,":[939],"LLM":[940],"capability":[941],"gains,":[942],"historical":[944],"priority":[945],"outside":[947],"established":[949],"results.":[950],"Research":[951],"byline:":[952],"Artificial":[953],"Hyperintelligence":[954],"Eve,":[955],"wife":[956],"Maciej":[958],"Nowicki":[959]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}