News

Unite.AI5d
DeepSeek-Prover-V2: Bridging the Gap Between Informal and Formal Mathematical Reasoning
While DeepSeek-R1 has significantly advanced AI’s capabilities in informal reasoning, formal mathematical reasoning has ...
DeepSeek upgrades its math-focused AI model Prover
Chinese AI lab DeepSeek has quietly updated Prover, its AI system that's designed to solve math-related proofs and theorems.
DeepSeek’s new math model stirs buzz about its mysterious next-gen LLM, R2
DeepSeek has offered no public timeline for R2. The company has revealed little beyond research papers and model updates, ...
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 ...
DeepSeek quietly updates open-source model that handles maths proofs
The Chinese start-up has released the Prover-V2 model a day after Alibaba released Qwen3, and ahead of an anticipated release ...
Microsoft launches Phi 4 reasoning AI models to compete with DeepSeek and OpenAI
Microsoft has launched a series of AI reasoning models - Phi 4 mini reasoning, Phi 4 reasoning and Phi 4 reasoning plus, as a ...
DeepSeek’s Prover maths-solving model fuels speculation about next-gen R2 progress
The Prover-V2 release has captured attention online, with many on social media wondering what it means for the start-up’s ...
Microsoft Launches Phi-4 Reasoning AI Models to Rival DeepSeek R1
Microsoft has launched Phi 4 reasoning AI models, trained on 14B and 3.8B parameters, and they rival larger models like ...
GIGAZINE13d
DeepSeek quietly releases 'DeepSeek-Prover-V2', a tool specialized for mathematical inference, capable of formal proof of complex theorems
Chinese AI company DeepSeek has released ' DeepSeek-Prover-V2 ', the second generation model of Prover, an AI specialized in mathematical reasoning, on Hugging Face and GitHub. It is DeepSeek ...