AI RESEARCH
QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems
arXiv CS.AI
•
ArXi:2604.24021v1 Announce Type: new 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 remains an outstanding challenge for LLMs.