News

DeepSeek: Smarter Software Vs. More Compute
Compute-efficient AI solutions encourage democratization, allowing for dynamic innovations from different quarters.
Deepseek R2 Crushes Costs by 97% : Fast Hybrid AI Architecture Performance
Affordable AI is here! Deepseek R2 delivers cutting-edge performance at a fraction of the cost of other AI models. 97% ...
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 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 ...
Interesting Engineering on MSN4d
China using DeepSeek to develop sixth-gen J-35, J-50 stealth fighters: Report
China is using its advanced DeepSeek AI to design and develop sixth-gen J-36, J-50 stealth fighter jets and bombers.
DeepSeek speculation swirls online over Chinese AI start-up’s much-anticipated R2 model
The latest speculation includes R2’s imminent launch and the new benchmarks that it set in terms of cost-efficiency and performance.
TechCrunch13d
DeepSeek upgrades its math-focused AI model Prover
Chinese AI lab DeepSeek has quietly updated Prover ... which has 671 billion parameters and adopts a mixture-of-experts (MoE) architecture. Parameters roughly correspond to a model’s problem ...
China's DeepSeek Rumoured To Launch R2 Model, Here's What To Expect
Chinese artificial intelligence startup DeepSeek is ready with an advanced model, which is expected to be released next week.