Ten Digits on a Train: AI-Assisted Verification of Two Eigenvalue Problems

DOI10.48550/arXiv.2606.23821MaRDI QIDQ7270032arXivFDO

Authors Matthew J. Colbrook

Publication date 22 June 2026

Published in arXiv

Tldr We describe two case studies of verifying eigenvalue computations with AI assistance, which achieved ten-digit accuracy. In both cases, we reformulated the problem to exploit AI's strengths while avoiding its weaknesses.

Full work available at URL https://doi.org/10.48550/arXiv.2606.23821

Mathematics Subject Classification ID

No records found.

arXiv classification

cs.AIcs.HCmath.NAmath.SP

Cited in

(1)

• A new analysis of the randomly pivoted Cholesky algorithm

This page was built for publication: Ten Digits on a Train: AI-Assisted Verification of Two Eigenvalue Problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7270032)