Tag

#deepseek

4 articles

DeepSeek cuts V4-Pro prices by 75% and slashes cache costs across its entire API to a tenth

Learn how to integrate and work with DeepSeek's V4-Pro API, leveraging the recent 75% price cut to build cost-effective AI applications.

Apr 2624

DeepSeek AI Releases DeepSeek-V4: Compressed Sparse Attention and Heavily Compressed Attention Enable One-Million-Token Contexts

Learn to implement compressed sparse attention mechanisms that enable processing one-million-token context windows, similar to DeepSeek-V4's approach.

Apr 2442

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

Learn to set up and experiment with DeepSeek-Prover-V2, an open-source LLM for Lean 4 theorem proving that uses recursive proof search and reinforcement learning.

Feb 2697

DeepSeek-V3 New Paper is coming! Unveiling the Secrets of Low-Cost Large Model Training through Hardware-Aware Co-design

Learn to implement hardware-aware co-design techniques for training large language models using PyTorch and CUDA, inspired by DeepSeek-V3 research.

Feb 2676