AllLLMCoding Co-pilotPersonal AssistantsAI AgentsHealthcare AIEthics & RegulationResearch & PapersStartups & Funding
Company:AllOpenAIAnthropicGoogleMicrosoftAppleDeepSeekMistralxAIMetaOthers

LLM · DeepSeek

Deepseek v4 will reportedly run entirely on Huawei chips in a major win for China's AI independence push
Featured
LLM

Deepseek v4 will reportedly run entirely on Huawei chips in a major win for China's AI independence push

Deepseek v4 is expected to launch in the coming weeks and will run exclusively on Huawei chips. China's biggest tech companies have reportedly already ordered hundreds of thousands of units. Nvidia...

The Decoder
Read more
LLMDeepSeek

DeepSeek Unveils DeepSeek-Prover-V2: Advancing Neural Theorem Proving with Recursive Proof Search and a New Benchmark

DeepSeek AI releases DeepSeek-Prover-V2, an open-source LLM specialized for Lean 4 theorem proving that uses recursive...

Synced Review
LLMDeepSeek

DeepSeek Signals Next-Gen R2 Model, Unveils Novel Approach to Scaling Inference with SPCT

DeepSeek AI has published research on a new technique called SPCT for scaling general reward models during inference,...

Synced Review