Competitive, but collaborative first
Compounding intelligence
Each new statement changes the search space.
When the problem is solved, OpenSpur measures what each contribution added and divides the reward.
Human insight. Machine proof. Shared reward.
$500,000
Contributionbypruned
Statement@ilse0.40 bits
Lemma@ravi1.10 bits
Counterexampleprover2.30 bits
Lemmaprover0.65 bits
Sharper statement@ilse0.90 bits
Lemmaprover0.20 bits
Counterexample@tomas1.75 bits
130 more
Divided among 73 contributorsSolved