{"id":"arxiv/2604.24021","url":"https://arxiv.org/abs/2604.24021","tags":["cs.AI","math.AP"],"score":0,"title":"QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems","domain":"cs.AI","source":"arxiv","authors":["Chenyang An","Qihao Ye","Minghao Pan","Jiayaun Zhang"],"reviews":0,"subject":"cs.AI","summary":"We present QED, an open-source multi-agent system that turns human-provided research questions into complete mathematical proofs without further human guidance. Its pipeline is designed to overcome common failures of single-query proof generation by separating planning, proving, and verification: a decomposition agent structures the proof search, prover agents generate candidate arguments, and verifier agents check correctness. In collaboration with domain experts, we evaluated QED on 18 research-level projects of varying difficulty. QED produced five original works across algebraic…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-04-27","reactions":{}}