2 papers
cs.AI2026
VGPT-RSI for RH-Adjacent Formal Progress: Boundary Certificates, Verified Finite Lagarias Inequalities, and Explicit Failure Localization
Zhixin Hu, Tao Xu, Xiaodian Sun +2
The Riemann Hypothesis remains one of the central unsolved problems in mathematics. Rather than claiming proof, we investigate whether a verifiable AI-assisted reasoning system can…
cs.LG2026
Physical Transformer
Tao Xu, Zhixin Hu, Li Luo +1
Digital AI systems spanning large language models, vision models, and generative architectures that operate primarily in symbolic, linguistic, or pixel domains. They have achieved…