QED 开源 multi-agent proof system：在 5 个专家提供的开放 analysis/PDE 问题中产出 3 个原创正确证明

QED 针对 benchmark success 与真实 research proving 之间的差距，归纳 context contamination、citation hallucination、关键步骤 hand-waving、proof-plan instability、verification drift 等七类 failure modes，并用 multi-agent architecture 分别缓解。论文在 domain experts 提供的 5 个 applied analysis / PDE 开放问题上评测，报告系统产生 3 个由问题提供者确认正确、原创且非平凡的证明；代码与 orchestration pipeline 开源。