Loading
Prediction market on manifold. all questions right & all points received. Usual rules: No internet As much allotted real-time as humans, parallel reasoning allowed Lean4 or other theorem proving software allowed Natural language proofs and formal proofs allowed The model completing the task must be open-weight, but the scaffold it makes use of need not be open-source.
24h Volume: $100. Liquidity: $10,000. Resolves: 7/31/2026.