VeriLoop E2 Advances Riemann Hypothesis Zero Proportion to 67.35% with Verifiable AI
Tsinghua researchers open-source VeriLoop E2, a post-trained model using verifiable recurrence to achieve 67.35% zero proportion lower bound for Riemann hypothesis, while setting new benchmarks in code, math, and physics reasoning with external verification.
