AI
China AI rising: Xiaomi releases new MiMo-7B models as DeepSeek upgrades its Prover math AI
Xiaomi Corp. today released MiMo-7B, a new family of reasoning models that it claims can outperform OpenAI’s o1-mini at some tasks. The algorithm series is available under an open-source license. Its launch coincides with…