Open-Source AI model gets perfect IMO 2026 score? [International Math Olympiad 2026]

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.

Liquidity: $10,000. Resolves: 7/31/2026.