DeepSeek 发布了一款开源数学定理证明模型，目标是加速“数学定理证明的 AlphaGo 时代”的到来。

DeepSeek API 新增续写、FIM、Function Calling 和 JSON Output 功能，所有新功能均可通过 deepseek-chat 和 deepseek-coder 模型调用。

DeepSeek启动顶尖人才招聘，以“Diving into the Unknown”为招募口号，面向AI领域招募优秀人才。

DeepSeek-V2-0628在「全球大模型竞技场」榜单更新中位列开源模型榜首，成为全球开源大模型性能第一。