{"id":"arxiv/2606.23821","url":"https://arxiv.org/abs/2606.23821","tags":["math.NA","cs.AI","cs.HC","math.SP"],"score":0,"title":"Ten Digits on a Train: AI-Assisted Verification of Two Eigenvalue Problems","domain":"math.NA","source":"arxiv","authors":["Matthew J. Colbrook"],"reviews":0,"subject":"math.NA","summary":"Accurate numerical eigenvalues are often difficult to certify, especially in singular or non-normal settings. This article reports a human--AI collaboration on two such computations. For a singular self-adjoint Schrödinger operator, a verified zero count and Dirichlet--Neumann bracketing certify the complete negative spectrum to ten decimal places. For a delicate non-normal atom--molecule benchmark, a previously unresolved resonance pair is separated, with each member enclosed to ten digits. The second result is achieved not by increasing the precision of one-way shooting, but by…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-22","reactions":{}}