Iteris: Agentic Research Loops for Computational Mathematics 事件

Iteris: Agentic Research Loops for Computational Mathematics arXiv:2606.02484v1 Announce Type: new Abstract: 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, advers