QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems. - Chenyang An; Qihao Ye; Minghao Pan; Jiayaun Zhang (CoRR, 2026)