cyberneticlibrary
← library

Propose and verify math conjectures

conjecture-swarmworkflowsetup L3★0
DonalMoloney/ideas ↗
What it does

Propose, verify, and refute math conjectures via multi-round parallel agents with sandboxed execution

Best for

Exploratory mathematical research where diverse lenses and adversarial refutation accelerate discovery.

Inputs
  • · seed (math domain)
  • · rangeN, maxRounds, perRound, lenses
Outputs
  • · conjecture proposals (statement, lens, Python script)
  • · verdicts (survives/counterexample/inconclusive)
  • · confirmed conjectures
Requires
  • · Python 3 sandbox
  • · conjecture_swarm CLI (emit, verify_cli)
Preconditions

Python sandbox available; conjecture_swarm package installed; runDir writable; pkgDir in PYTHONPATH

Failure modes
  • · Script times out → verdict=inconclusive
  • · Refuter finds witness → status=REFUTED
  • · Dry-out after 2 rounds (no new survivors)
Trust signals
  • · Conjecture scripts self-contained (no imports except stdlib)
  • · Verifier opposes survivors (seeks refutation)
  • · Event emission for auditability