What it is
Multi-agent math proof-search system that only commits verifier-approved claims into a shared fact graph, then renders verified results into reports or LaTeX papers. Orchestrates a swarm of math reasoning agents that prove one claim at a time, stores only verifier-approved facts in a dependency graph, and turns verified results into reports or papers.
Key results
- Only verifier-approved claims enter truth via the fact graph
- Real run logged 3,157 verified facts and 8,616 dependency edges
- Final theorem used a 664-fact supporting closure; chains reached depth 54
Shows that long-form mathematical proof search can be scaled by accumulating only verifier-approved local claims in shared memory.