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

·Science and Technology

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. Note: the open-weight model must be released before the IMO 2026 to count.