Vibe Mathematics — Multi-Agent Framework for Mathematical Problem Solving and Formal Verification
// readme
Vibe Mathematics — Multi-Agent Mathematical Problem Solving and Verification Framework (Four Architectures)
English | Chinese
A set of agent presets (
vibe-math-v2/vibe-math-v3/vibe-math-v4/vibe-math-v5) running inside the DeepSeek Harness. They use multi-agent collaboration to automatically solve math problems and cross-verify conclusions across multiple agents. The four presets share foundational capabilities: checkpoint resumption, mid-run human intervention, progress reporting, and natural-language driving. However, they use four generations of different solving architectures: 💡 v4/v5 first:vibe-math-v4(the “resident self-organizing collaborative research” architecture) andvibe-math-v5(the latest “institute system”) are the current main maintenance direction.vibe-math-v2andvibe-math-v3are classic/early architectures that have matured and been finalized, and going forward will only receive compatibility maintenance (new capabilities go only into v4/v5). All four are bundled in the package and work normally. See…