DeepSeek has released an open-source reasoning model that achieved “gold medal-level” performance at the International Mathematical Olympiad, matching recent proprietary advances from Google DeepMind and OpenAI. Available on Hugging Face and GitHub, the model uses self-verification to strengthen mathematical reasoning on problems without known solutions.