{"id":"arxiv/2602.13695","url":"https://arxiv.org/abs/2602.13695","tags":["cs.AI","math.AC","math.CO","math.CT"],"score":0,"title":"Can a Lightweight Automated AI Pipeline Solve Research-Level Mathematical Problems?","domain":"cs.AI","source":"arxiv","authors":["Lve Meng","Weilong Zhao","Yanzhi Zhang","Haoxiang Guan","Jiyan He"],"reviews":0,"subject":"cs.AI","summary":"Large language models (LLMs) have recently achieved remarkable success in generating rigorous mathematical proofs, with \"AI for Math\" emerging as a vibrant field of research (Ju et al., 2026). While these models have mastered competition-level benchmarks like the International Mathematical Olympiad (Huang et al., 2025; Duan et al., 2025) and show promise in research applications through auto-formalization (Wang et al., 2025), their deployment via lightweight, natural-language pipelines for research problems remains underexplored. In this work, we demonstrate that next-generation models…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-02-14","reactions":{}}