QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems
arXiv:2604.24021v1 Announce Type: new
Abstract: We explore a central question in AI for mathematics: can AI systems produce original, nontrivial proofs for open research problems? Despite strong benchmark performance, producing genuinely novel proofs …