arXiv AI recent: VGPT-RSI for RH-Adjacent Formal Progress: Boundary Certificates, Verified Finite Lagarias Inequalities, and Explicit Failure Localization
The authors applied the Verifiable Growing Physical Transformer with Recursive Self-Improvement (VGPT‑RSI) to two Riemann‑Hypothesis‑adjacent certification tasks. They constructed and for...
The paper reports that VGPT‑RSI was used to generate a finite boundary certificate for an inequality, which was audited with outward‑rounded interval arithmetic and Arb/FLINT ball arithmetic and then verified in Rocq/CoqInterval. It also reports the creation of a Coq‑checked finite certificate re...