Search papers, labs, and topics across Lattice.
This paper introduces Iteris, an agentic research system specifically designed to address open problems in computational mathematics, where traditional methods often fall short. By applying Iteris to two challenging problems from a Simons Workshop, the system generated numerical evidence and proof drafts that, after expert validation, yielded significant results: a phase diagram comparing conjugate gradient and randomized coordinate descent, and a counterexample regarding QR factorization with column pivoting. The findings illustrate the potential of agentic AI systems to enhance research workflows in computational mathematics, while underscoring the necessity of human oversight in the validation process.
Agentic AI systems like Iteris can autonomously generate critical insights in computational mathematics, bridging the gap between numerical experimentation and theoretical proof.
Recent advances in large language models and agentic AI systems have enabled significant progress in mathematical discovery, from solving competition problems to tackling research-level conjectures. However, open problems in computational mathematics have received comparatively less attention: research in this area often requires not only proofs but also numerical experimentation, adversarial constructions, and algorithm design. In this paper, we introduce an agentic research system, Iteris, designed for open problems in computational mathematics. We apply Iteris to two open problems from a recent Simons Workshop collection (arXiv:2602.05394). In these case studies, Iteris generated numerical evidence, constructions, and proof drafts that led, after expert review and correction, to verified results. The first result is a phase diagram for the asymptotic comparison between conjugate gradient and randomized coordinate descent on power-law spectra; the second is a counterexample showing that QR factorization with column pivoting can fail to select well-conditioned submatrices even under low coherence. These case studies suggest that agentic AI systems can participate meaningfully in research workflows for open problems in computational mathematics, while human validation remains essential.
