{"id":"https://openalex.org/W7164894653","doi":"https://doi.org/10.48550/arxiv.2606.15096","title":"VGPT-RSI for RH-Adjacent Formal Progress: Boundary Certificates, Verified Finite Lagarias Inequalities, and Explicit Failure Localization","display_name":"VGPT-RSI for RH-Adjacent Formal Progress: Boundary Certificates, Verified Finite Lagarias Inequalities, and Explicit Failure Localization","publication_year":2026,"publication_date":"2026-06-13","ids":{"openalex":"https://openalex.org/W7164894653","doi":"https://doi.org/10.48550/arxiv.2606.15096"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.15096","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.15096","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.15096","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5121009498","display_name":"Zhixin Hu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hu, Zhixin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138708007","display_name":"Tao Xu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu, Tao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138734437","display_name":"Xiaodian Sun","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sun, Xiaodian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045801771","display_name":"\u674e\u664b Li Jin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jin, Li","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5138697347","display_name":"Momiao Xiong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiong, Momiao","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":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.4147000014781952,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.4147000014781952,"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.1386999934911728,"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/T11206","display_name":"Model Reduction and Neural Networks","score":0.0877000018954277,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.7032999992370605},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.6617000102996826},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.5217000246047974},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.4341999888420105},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.4205000102519989},{"id":"https://openalex.org/keywords/boundary","display_name":"Boundary (topology)","score":0.3732999861240387},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3643999993801117},{"id":"https://openalex.org/keywords/number-theory","display_name":"Number theory","score":0.35420000553131104}],"concepts":[{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.7032999992370605},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.6617000102996826},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6086999773979187},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.5217000246047974},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.4341999888420105},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.4205000102519989},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.3732999861240387},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3643999993801117},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36329999566078186},{"id":"https://openalex.org/C169654258","wikidata":"https://www.wikidata.org/wiki/Q12479","display_name":"Number theory","level":2,"score":0.35420000553131104},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3522000014781952},{"id":"https://openalex.org/C136625980","wikidata":"https://www.wikidata.org/wiki/Q663208","display_name":"Rounding","level":2,"score":0.34139999747276306},{"id":"https://openalex.org/C122041747","wikidata":"https://www.wikidata.org/wiki/Q838611","display_name":"Ball (mathematics)","level":2,"score":0.3296999931335449},{"id":"https://openalex.org/C182310444","wikidata":"https://www.wikidata.org/wiki/Q1332643","display_name":"Boundary value problem","level":2,"score":0.2937000095844269},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.29170000553131104},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.28630000352859497},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.28299999237060547},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.27549999952316284},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.27070000767707825},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.26759999990463257},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.26739999651908875},{"id":"https://openalex.org/C122044880","wikidata":"https://www.wikidata.org/wiki/Q5498822","display_name":"Ergodic theory","level":2,"score":0.2639000117778778},{"id":"https://openalex.org/C135628077","wikidata":"https://www.wikidata.org/wiki/Q220184","display_name":"Finite element method","level":2,"score":0.26100000739097595},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.25220000743865967},{"id":"https://openalex.org/C196267783","wikidata":"https://www.wikidata.org/wiki/Q4392490","display_name":"Resolvent","level":2,"score":0.25189998745918274},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.250900000333786}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.15096","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.15096","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.15096","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.15096","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,74,132],"Riemann":[1],"Hypothesis":[2],"remains":[3],"one":[4],"of":[5],"the":[6,34,40,100,118,123,136,142,146,183],"central":[7],"unsolved":[8],"problems":[9],"in":[10,97],"mathematics.":[11],"Rather":[12],"than":[13],"claiming":[14],"proof,":[15],"we":[16,55,104],"investigate":[17],"whether":[18],"a":[19,59,66,72,81,106,128],"verifiable":[20],"AI-assisted":[21],"reasoning":[22],"system":[23,134],"can":[24,170],"produce":[25,127,171],"reliable,":[26],"formally":[27],"checked":[28,96],"partial":[29],"progress":[30],"while":[31],"explicitly":[32],"identifying":[33],"remaining":[35,184],"mathematical":[36,139],"obstructions.":[37],"We":[38,121],"apply":[39],"Verifiable":[41],"Growing":[42],"Physical":[43],"Transformer":[44],"with":[45],"Recursive":[46],"Self-Improvement":[47],"(VGPT-RSI)":[48],"to":[49,117,158],"two":[50],"RH-adjacent":[51,173],"certification":[52],"tasks.":[53],"First,":[54],"construct":[56],"and":[57,90,94,126,154,179],"verify":[58],"finite":[60,124,130,152],"RH-boundary":[61],"certificate":[62],"for":[63,99],"inequality":[64],"on":[65],"parameterized":[67,101],"safe":[68],"lower":[69,83],"curve":[70,77],"over":[71],"region.":[73],"numerical":[75],"boundary":[76],"is":[78,115,186],"converted":[79],"into":[80],"certificate-backed":[82],"curve,":[84],"audited":[85],"using":[86],"outward-rounded":[87],"interval":[88],"arithmetic":[89],"Arb/FLINT":[91],"ball":[92],"arithmetic,":[93],"then":[95],"Rocq/CoqInterval":[98],"theorem.":[102],"Second,":[103],"initiate":[105],"formal":[107,174],"Lagarias-route":[108],"certificate.":[109,131],"Lagarias":[110,143],"criterion":[111],"states":[112],"that":[113,168],"RH":[114],"equivalent":[116],"global":[119,147],"inequality.":[120],"formalize":[122],"quantity":[125],"Coq-checked":[129],"final":[133],"identifies":[135],"exact":[137],"unresolved":[138],"bottlenecks:":[140],"formalizing":[141],"equivalence,":[144],"proving":[145],"tail":[148],"theorem":[149],"beyond":[150],"any":[151],"cutoff,":[153],"potentially":[155],"reducing":[156],"counterexamples":[157],"colossally":[159],"abundant":[160],"or":[161],"related":[162],"extremal":[163],"integers.":[164],"These":[165],"results":[166],"demonstrate":[167],"VGPT-RSI":[169],"certified":[172],"progress,":[175],"organize":[176],"proof":[177],"dependencies,":[178],"avoid":[180],"overclaiming":[181],"when":[182],"obstruction":[185],"genuinely":[187],"mathematical.":[188]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-17T00:00:00"}