Announcement_10

I open-sourced QED, a multi-agent pipeline that transforms mathematical problem statements into rigorous proofs. QED solved a research-level open problem in PDEs, with the proof verified by domain experts from three institutions and incorporated into their mathematical work.