2025-12-01
BREAKING: China has overtaken the US in the global market for open AI models A study by MIT and Hugging Face found that Chinese-made open-source AI models have overtaken American developers in global downloads for the first time, capturing 17 percent of the market compared to [image]
NBC News
US startups are increasingly adopting open-weight Chinese AI models, which are cheaper, more customizable, and sufficiently capable compared to frontier US ones
2025-11-30
🐋 The Whale is back!! DeepSeek just dropped an IMO gold-medalist model. On ProofBench-Advanced—where models prove formal mathematical theorems—GPT-5 scores 20%. Gemini Deep Think IMO Gold hits 65.7%. DeepSeek Math V2 (Heavy) scores 61.9%. That's second place—but Gemini isn't open source. This is the best open math model in the world. And DeepSeek released the weights. Apache 2.0. Here's what they discovered:
The Decoder
DeepSeek says its new DeepSeekMath-V2 model got gold-medal level status on the International Mathematical Olympiad 2025 and Chinese Mathematical Olympiad 2024
where models prove formal mathematical theorems—GPT-5 scores 20%. Gemini Deep Think IMO Gold hits 65.7%. DeepSeek Math V2 (Heavy) scores 61.9%. That's second place—but Gemini is...
2025-11-29
🐋 The Whale is back!! DeepSeek just dropped an IMO gold-medalist model. On ProofBench-Advanced—where models prove formal mathematical theorems—GPT-5 scores 20%. Gemini Deep Think IMO Gold hits 65.7%. DeepSeek Math V2 (Heavy) scores 61.9%. That's second place—but Gemini isn't open source. This is the best open math model in the world. And DeepSeek released the weights. Apache 2.0. Here's what they discovered:
The Decoder
DeepSeek says its new DeepSeekMath-V2 model got gold-medal level status on the International Mathematical Olympiad 2025 and Chinese Mathematical Olympiad 2024
Chinese startup Deepseek reports its new DeepseekMath-V2 model has reached gold medal status at the Math Olympiad …