Related: Deepseek just leapfrogged the competition. Scores gold in 2025's IMO, IOI, and ICPC world finals with an openweights model.