China's DeepSeek yesterday launched its latest mathematical reasoning model, DeepSeekMath-V2, which solved five out of six problems in the simulated 2025 International Mathematical Olympiad, reaching a gold medal level and becoming the first open-source model to do so.