04:00
2026-06-16
arxiv.org
artificial-intelligence
VGPT-RSI for RH-Adjacent Formal Progress: Boundary Certificates, Verified Finite Lagarias Inequalities, and Explicit Failure Localization
Researchers applied the Verifiable Growing Physical Transformer with Recursive Self-Improvement (VGPT-RSI) to produce formally verified partial progress on problems adjacent to the Riemann Hypothesis,…