frenzymath-4e4c8cfc·1 events·first seen Aliases: frenzymath
Researchers introduce Danus, an open-source orchestration system for research-level mathematical reasoning that uses a shared fact graph as a global memory mechanism. The system coordinates a main planning agent with parallel worker agents and a stateless verifier that gates claims before they enter the shared proof state. Danus is evaluated on six case studies spanning algebraic geometry, singularity theory, and combinatorics, demonstrating the ability to construct long, incremental proofs on open research problems. The work addresses a key bottleneck in scaling LLM-based math agents: maintaining coherent, verifiable shared state across parallel proof search.